8 Predikatski račun kao deduktivni sistem
|
|
- Λεωνίδας Ζαχαρίου
- 6 χρόνια πριν
- Προβολές:
Transcript
1 26 8 Predikatski račun kao deduktivni sistem Neka je L neki jezik prvog reda. Da bismo odredili predikatski račun K L tipa L, prvo ćemo se dogovoriti šta će biti azbuka nad kojom radimo. Znamo da se svaka azbuka predikatske logike sastoji od dve vrste simbola: logičkih simbola (promenljive, simboli logičkih veznika i pomoćni simboli) i nelogičkih simbola (simboli konstanti, relacijski simboli i funkcijski simboli). Kao što smo napomenuli ranije, ako unapred fiksiramo skup logičkih simbola, onda je jezik predikatske logike odred en kada se definiše skup promenljivih X i skup nelogičkih simbola L, zajedno sa funkcijom arnosti ar. Naravno, postoje različiti deduktivni sistemi koji opisuju predikatsku logiku, i oni se, izmed u ostalog, mogu razlikovati u odabranom skupu logičkih simbola. Mi ćemo ovde prikazati tzv. Hilbertov deduktivni sistem za predikatsku logiku. U tom pristupu, od logičkih veznika zadržavamo samo i, a od kvantifikatora samo, dok ostale logičke veznike i kvatifikator uvodimo kasnije (kao skraćene zapise nekih formula, tj. kao zamene za ). Definicija 15 Neka je L = C R F neki jezik prvog reda, X neki skup promenljivih. Predikatski račun tipa L je deduktivni sistem gde je L = L X {,,, (, )}, K L = L, F orm L (X), Ax, R F orm L (X) je skup predikatskih formula definisan nad skupom logičih simbola {,,, (, )} X, Ax = Ax 1 Ax 2 Ax 3 Ax 4, Ax 5, gde su Ax 1, Ax 2, Ax 3, Ax 4, Ax 5 skupovi formula definisani pomoću tzv. šema aksioma (dakle, A, B, C F orm L (X)): Ax 1 : A (B A) Ax 2 : (A (B C)) ((A B) (A C)) Ax 3 : ( A B) (B A) Ax 4 : ( x)(a B) (A ( x)b), ako promenljiva x X nije slobodna u formuli A, Ax 5 : ( x)a(x) A(t), ako je term t slobodan za promenljivu x u formuli A(x).
2 27 R = {MP, Gen}, ( modus ponens odnosno generalizacija), MP : A, A B, Gen : B A ( x)a Jedini pojam koji zahteva objašnjenje iz ove definicije je pojam term t slobodan za promenljivu x u formuli A(x), koji se pojavljuje u aksiomi Ax 5. Oznake: U daljem ćemo smatrati da smo fiksirali neki jezik prvog reda L i skup promenljivih X i da su svi sintaktički objekti, sa kojima radimo, na tom jeziku. Neka je x neka promenljiva a t neki term. Ako je A neka formula, onda će A = A(x) značiti da formula A sadrži x kao slobodnu promenljivu (pored x, formula A(x) može imati i druge slobodne promenljive). Sa A(t) ćemo obeležavati formulu koja nastaje od A(x) kada se sva slobodna pojavljivanja promenljive x u formuli A(x) simultano zamene termom t. Uvodimo sledeće skraćene oznake: ( x)a je zamena za ( x) A A B je zamena za A B A B je zamena za (A B) A B je zamena za (A B) (B A) Primer 13 Neka je neki binarni relacijski simbol, + binaran funkcijski simbol a 0 simbol konstante u jeziku L i neka je A(x) = ( y)x y ( x)x + x 0. Ako je t 1 = x + y a t 2 = z + 0, onda je A(t 1 ) = ( y)x + y y ( x)x + x 0 A(t 2 ) = ( y)z + 0 y ( x)x + x 0.
3 28 Definicija 16 Neka je t neki term, x promenljiva i A(x) neka formula na jeziku prvog reda L. Za term t kažemo da je slobodan za x u A(x) ako nijedno slobodno pojavljivanje promenljive x u A(x) nije pod uticajem kvantifikatora koji za promenljivu ima promenljivu terma t. Primer 14 U prethodnom primeru term t 1 nije slobodan za x u A(x), jer je slobodno pojavljivanje promenljive x pod uticajem kvantifikatora koji za promenljivu ima y, a y je jedna promenljiva terma t 1. Term t 2 je slobodan za x u formuli A(x). Primer 15 Primetimo da je term x uvek slobodan za promenljivu x u svakoj formuli A(x). Takod e, ako term t nema slobodnih promenljivih (izgrad en je od simbola konstanti), onda je slobodan za x u svakoj formuli A(x). Ako formula A(x) nema kvantifikatore, onda je svaki term t slobodan za x u A(x). Vratimo se sada aksiomi Ax 5 : ( x)a(x) A(t), ako je term t slobodan za promenljivu x u formuli A(x). Sledeći primer dokazuje da bez dodatnog uslova formula ( x)a(x) A(t) nije valjana: Primer 16 Neka je < neki binaran relacijski simbol nekog jezika L i neka je A(x) = ( y)x < y i neka je M model tog jezika čiji je nosačskup prirodnih brojeva i u kome se relacijski simbol < interpretira kao obična relacija <. Neka je sada t = y. Tada formula ( x)a(x) A(t) ne važi u tom modelu, jer dobijamo da M = ( x)( y)x < y ali M = ( y)y < y. Nakon što smo opravdali dodatni uslov u aksiomi Ax 5, nastavimo razmatranje deduktivnog sistema K L. Naravno, pojmovi dokaznog niza, teoreme, sintaktičke posledice su samo specijalni slučajevi odgovarajućih pojmova definisanih u slučaju bilo kog deduktivnog sistema, pa nema potrebe da ovde te pojmove definišemo. Važi takod e i specijalan slučaj T?? koju smo dokazali za bilo koji deduktivni sistem: Teorema 13 Neka je L neki jezik prvog reda, X neki skup promenljivih. U predikatskom računu tipa L, za sve skupove formula Σ, Σ 1, Σ 2 F orm L (X) važi:
4 29 1. Σ Cons(Σ); 2. Ako je Σ 1 Σ 2 onda Cons(Σ 1 ) Cons(Σ 2 ); 3. Cons(Cons(Σ)) = Cons(Σ). Takod e, u predikatskom računu važi Teorema kompaktnosti, koju smo dokazali u slučaju proizvoljnog deduktivnog sistema (videti T??): Teorema 14 (Teorema kompaktnosti) Neka je L neki jezik prvog reda, X neki skup promenljivih. U predikatskom računu tipa L, za sve skupove formula Σ F orm L (X) i za sve formule A važi: Σ A akko postoji konačan Σ 0 Σ tako da je Σ 0 A. Ono što takod e lako možemo uvideti jeste da predikatski račun kao deduktivni sistem na neki način sadrži u sebi iskazni račun H. Naime, prve tri aksiome predikatskog računa se upravo tri aksiome iz iskaznog računa. Pored toga, jedino pravilo izvod enja iz iskaznog računa, Modus Ponens, imamo i u predikatskom računu. Prema tome, sve što možemo dokazati u iskaznom računu H, možemo dokazati i u predikatskom računu K L. S obzirom na kompletnost iskaznog računa, prema kome je iskazna formula tautologija ako i samo ako je teorema iskaznog računa H,,možemo odmah zaključiti da važi sledeća teorema: Teorema 15 Svaki izvod iz tautologije jeste teorema predikatskog računa K L. Evo sada jedan primer izvod enja u predikatskom računu koji nema svoje analogone u iskaznom računu. Kao i u iskaznom računu, možemo izostaviti zagrade {, } kod nabrajanja hipoteza, pa umesto {A 1, A 2,..., A n } B piati samo A 1, A 2,..., A n B. Primer 17 Dokažimo da za sve formule A(x), B(x) (na proizvoljnom jeziku prvog reda) važi: ( x)(a(x) B(x)), ( x)a(x) ( x)b(x).
5 30 1. ( x)(a(x) B(x)) hipoteza 2. ( x)a(x) hipoteza 3. ( x)(a(x) B(x)) (A(x) B(x)) Ax 5, za t = x 4. A(x) B(x) pravilo MP na ( x)a(x) A(x) Ax 5, za t = x 6. A(x) pravilo MP na B(x) pravilo MP na ( x)b(x) pravilo Gen na 7. Da bismo mogli koristiti i sva izvedena pravila iz iskaznog računa (kao što je, na primer, pravilo tranzitivnosti TRANZ ili dvojne negacije DN1 ili DN2), moramo dokazati da se Teorema dedukcije koju smo koristili u iskaznom računu za dokazivanje tih izvedenih pravila, može koristiti i u slučaju predikatskog računa. Teorema dedukcije u najopštijem obliku ne važi za predikatski račun - med utim, za dokazivanje analogona izvedenih pravila iskaznog računa dovoljna je ona verzija teoreme dedukcije koju ćemo dokazati. Primer 18 Neka je ρ unaran relacijski simbol nekog jezika prvog reda L, x neka promenljiva. Tada je jasno da imamo ρ(x) ( x)ρ(x). Med utim, formula ρ(x) ( x)ρ(x), koja bi se dobila prebacivanjem preko rampe formule ρ(x) nije teorema kvantifikatorskog računa. Naime, kao što ćemo dokazati u sledećoj sekciji, predikatski račun je pouzdan, pa svaka izvedena teorema je valjana formula. Nije teško uveriti se da formula ρ(x) ( x)ρ(x) nije valjana. Dovoljno je posmatrati neki model jezika L u kome se relacijski simbol ρ interpretira nekom unarnom relacijom koja je makar za jedan element nosača netačna i makar za jedan element tačna. Teorema 16 (Teorema dedukcije za predikatski račun) Neka je L neki jezik prvog reda, X skup promenljivih i neka je Σ F orm L (X), A, B F orm L (X). 1. Ako je Σ A B onda Σ {A} B. 2. Neka je Σ {A} B i neka postoji takav dokaz formule B iz hipoteza Σ {A} u kome nema generalizacije po slobodnim promenljivama formule A. Tada je Σ A B.
6 31 Dokaz. 1. Neka je Σ A B i neka je A 1, A 2,..., A n odgovarajući dokazni niz za A B iz hipoteza Σ. Tada je dokaz za B iz hipoteza Σ {A}. A 1, A 2,..., A n = A B, A, B 2. Neka je Σ {A} B i neka je A 1, A 2,..., A n = B odgovarajući dokazni niz. Dokažimo da je tada Σ A B, indukcijom po n. Neka je n = 1. Tada dokazni niz ima samo jednu formulu, B. Tada je B ili aksioma ili pripada skupu hipoteza Σ ili je B = A. Ako je B aksioma ili ako B Σ onda imamo Σ B (A B), pa je Σ A B. Ako je B = A, onda je Σ A A (dokaz formule A A iz praznog skupa hipoteza je isti kao u iskaznom računu). Neka je sada tvrd enje tačno za sve formule koje imaju dokazne nizove dužine manje od n i neka sada formula B ima dokazni niz dužine n, A 1, A 2,..., A n = B Posebno, neka je to baš dokaz u kome nema generalizacije po slobodnim promenljivama formule A. Tada imamo četiri mogućnosti. Prve dve mogućnosti su da je B aksioma ili da pripada skupu hipoteza Σ, ali onda je jasno, Σ B (A B), pa je Σ A B. Neka sada formula B sledi po pravilu MP iz nekih ranijih formula A i i A i B u dokaznom nizu. Tada se Σ A B dokazuje potpuno isto kao u iskaznom računu. Naime, za formule A i i A i B važi indukcijska hipoteza, pa za njih imamo Σ A A i, i Σ A (A i B) pa koristeći Ax 2 dobijamo Σ A B. Ostao nam je slučaj kada se formula B dobija iz neke ranije formule u nizu, recimo A i, po pravilu Gen. To znači da je B = ( x)a i. Zbog uslova da u dokazu nemamo generalizaciju po slobodnim promenljivama formule A, odmah zaključujemo da promenljiva
7 32 x nije slobodna u formuli A. Za formulu A i važi indukcijska hipoteza, pa je Σ A A i, pa dakle i Σ ( x)(a A i ). No, sada primenom Ax 4, koja kaže u ovom slučaju da je ( x)(a A i ) (A ( x)a i dobijamo Σ A ( x)a i, što smo i trebali dokazati. Kao specijalan slučaj, dobijamo da se Teorema dedukcije može primeniti recimo ako je formula A zatvorena. Posledica 1 Neka je L neki jezik prvog reda, X skup promenljivih i neka je Σ F orm L (X), A, B F orm L (X) i neka je formula A zatvorena. Tada je Σ A B akko Σ {A} B. Takod e, kao posledicu Teoreme dedukcije dobijamo da se teorema dedukcije može primeniti svaki put kada u odgovarajućim dokazima uopšte nemamo primenu pravila generalizacije - to je slučaj recimo u svim dokazima izvedenih pravila iskaznog računa. Prema tome, u predikatskom računu možemo primenjivati sva izvedena pravila iskaznog računa. Primer 19 Dokažimo da za sve formule A(x), B(x) (na proizvoljnom jeziku prvog reda) važi: ( x)a(x) ( x)b(x) ( x)(a(x) B(x)). Prvo ćemo se osloboditi simbola koji nije u našem formalnom sistemu: ( x)a(x) ( x)b(x) ( x)( A(x) B(x)). 1. ( x)a(x) ( x)b(x) hipoteza 2. ( x)b(x) B(x) Ax 5, za t = x 3. ( x)a(x) B(x) pravilo TRANZ na B(x) ( x)a(x) pravilo KP2 na ( x)a(x) A(x) pravilo DN1 6. B(x) A(x) pravilo TRANZ na A(x) B(x) pravilo KP2 na B(x) B(x) pravilo DN1 9. A(x) B(x) pravilo TRANZ na ( x)( A(x) B(x)) pravilo Gen na 9.
Iskazna logika 3. Matematička logika u računarstvu. novembar 2012
Iskazna logika 3 Matematička logika u računarstvu Department of Mathematics and Informatics, Faculty of Science,, Serbia novembar 2012 Deduktivni sistemi 1 Definicija Deduktivni sistem (ili formalna teorija)
Διαβάστε περισσότερα10 Iskazni račun - deduktivni sistem za iskaznu logiku
10 Iskazni račun - deduktivni sistem za iskaznu logiku Definicija 20 Iskazni račun je deduktivni sistem H = X, F orm, Ax, R, gde je X = S {,, (, )}, gde S = {p 1, p 2,..., p n,... }, F orm je skup iskaznih
Διαβάστε περισσότεραMatematička logika. novembar 2012
Predikatska logika 1 Matematička logika Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad, Serbia novembar 2012 1 različiti nazivi: predikatska logika, logika prvog
Διαβάστε περισσότερα3.1 Granična vrednost funkcije u tački
3 Granična vrednost i neprekidnost funkcija 2 3 Granična vrednost i neprekidnost funkcija 3. Granična vrednost funkcije u tački Neka je funkcija f(x) definisana u tačkama x za koje je 0 < x x 0 < r, ili
Διαβάστε περισσότεραIskazna logika 1. Matematička logika. Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad, Serbia.
Matematička logika Department of Mathematics and Informatics, Faculty of Science,, Serbia oktobar 2012 Iskazi, istinitost, veznici Intuitivno, iskaz je rečenica koja je ima tačno jednu jednu istinitosnu
Διαβάστε περισσότεραOsnovni primer. (Z, +,,, 0, 1) je komutativan prsten sa jedinicom: množenje je distributivno prema sabiranju
RAČUN OSTATAKA 1 1 Prsten celih brojeva Z := N + {} N + = {, 3, 2, 1,, 1, 2, 3,...} Osnovni primer. (Z, +,,,, 1) je komutativan prsten sa jedinicom: sabiranje (S1) asocijativnost x + (y + z) = (x + y)
Διαβάστε περισσότεραIZVODI ZADACI ( IV deo) Rešenje: Najpre ćemo logaritmovati ovu jednakost sa ln ( to beše prirodni logaritam za osnovu e) a zatim ćemo
IZVODI ZADACI ( IV deo) LOGARITAMSKI IZVOD Logariamskim izvodom funkcije f(), gde je >0 i, nazivamo izvod logarima e funkcije, o jes: (ln ) f ( ) f ( ) Primer. Nadji izvod funkcije Najpre ćemo logarimovai
Διαβάστε περισσότερα6 Preneksna forma i skolemizacija
20 6 Preneksna forma i skolemizacija Dve korisne tehnike koje možemo koristiti prilikom rešavanja različitih problema u predikatskoj logici jesu konstrukcija preneksne forme date formule, kao i tzv. skolemizacija.
Διαβάστε περισσότεραOsnovne teoreme diferencijalnog računa
Osnovne teoreme diferencijalnog računa Teorema Rolova) Neka je funkcija f definisana na [a, b], pri čemu važi f je neprekidna na [a, b], f je diferencijabilna na a, b) i fa) fb). Tada postoji ξ a, b) tako
Διαβάστε περισσότεραTeorijske osnove informatike 1
Teorijske osnove informatike 1 9. oktobar 2014. () Teorijske osnove informatike 1 9. oktobar 2014. 1 / 17 Funkcije Veze me du skupovima uspostavljamo skupovima koje nazivamo funkcijama. Neformalno, funkcija
Διαβάστε περισσότεραPARCIJALNI IZVODI I DIFERENCIJALI. Sama definicija parcijalnog izvoda i diferencijala je malo teža, mi se njome ovde nećemo baviti a vi ćete je,
PARCIJALNI IZVODI I DIFERENCIJALI Sama definicija parcijalnog ivoda i diferencijala je malo teža, mi se njome ovde nećemo baviti a vi ćete je, naravno, naučiti onako kako vaš profesor ahteva. Mi ćemo probati
Διαβάστε περισσότεραSISTEMI NELINEARNIH JEDNAČINA
SISTEMI NELINEARNIH JEDNAČINA April, 2013 Razni zapisi sistema Skalarni oblik: Vektorski oblik: F = f 1 f n f 1 (x 1,, x n ) = 0 f n (x 1,, x n ) = 0, x = (1) F(x) = 0, (2) x 1 0, 0 = x n 0 Definicije
Διαβάστε περισσότεραPredikatska logika. January 8, 2012
Predikatska logika January 8, 2012 1 O predikatskoj logici Pre nego što počnemo razmatranje predikatske logike, zadržimo se na nekoliko napomena koje će, nadamo se, pomoći da se rasčiste pre svega terminološke
Διαβάστε περισσότεραPRAVA. Prava je u prostoru određena jednom svojom tačkom i vektorom paralelnim sa tom pravom ( vektor paralelnosti).
PRAVA Prava je kao i ravan osnovni geometrijski ojam i ne definiše se. Prava je u rostoru određena jednom svojom tačkom i vektorom aralelnim sa tom ravom ( vektor aralelnosti). M ( x, y, z ) 3 Posmatrajmo
Διαβάστε περισσότεραElementi spektralne teorije matrica
Elementi spektralne teorije matrica Neka je X konačno dimenzionalan vektorski prostor nad poljem K i neka je A : X X linearni operator. Definicija. Skalar λ K i nenula vektor u X se nazivaju sopstvena
Διαβάστε περισσότεραa M a A. Može se pokazati da je supremum (ako postoji) jedinstven pa uvodimo oznaku sup A.
3 Infimum i supremum Definicija. Neka je A R. Kažemo da je M R supremum skupa A ako je (i) M gornja meda skupa A, tj. a M a A. (ii) M najmanja gornja meda skupa A, tj. ( ε > 0)( a A) takav da je a > M
Διαβάστε περισσότεραNapravimo neformalnu rekapitulaciju osnovnih pojmova koje smo obradili na prethodnom predavanju.
Predikatske formule rekapitulacija Napravimo neformalnu rekapitulaciju osnovnih pojmova koje smo obradili na prethodnom predavanju. Izraz je proizvoljan niz simbola. Naravno, većina izraza nema nikakav
Διαβάστε περισσότεραIZVODI ZADACI (I deo)
IZVODI ZADACI (I deo) Najpre da se podsetimo tablice i osnovnih pravila:. C`=0. `=. ( )`= 4. ( n )`=n n-. (a )`=a lna 6. (e )`=e 7. (log a )`= 8. (ln)`= ` ln a (>0) 9. = ( 0) 0. `= (>0) (ovde je >0 i a
Διαβάστε περισσότερα5. Karakteristične funkcije
5. Karakteristične funkcije Profesor Milan Merkle emerkle@etf.rs milanmerkle.etf.rs Verovatnoća i Statistika-proleće 2018 Milan Merkle Karakteristične funkcije ETF Beograd 1 / 10 Definicija Karakteristična
Διαβάστε περισσότεραOperacije s matricama
Linearna algebra I Operacije s matricama Korolar 3.1.5. Množenje matrica u vektorskom prostoru M n (F) ima sljedeća svojstva: (1) A(B + C) = AB + AC, A, B, C M n (F); (2) (A + B)C = AC + BC, A, B, C M
Διαβάστε περισσότεραKOMUTATIVNI I ASOCIJATIVNI GRUPOIDI. NEUTRALNI ELEMENT GRUPOIDA.
KOMUTATIVNI I ASOCIJATIVNI GRUPOIDI NEUTRALNI ELEMENT GRUPOIDA 1 Grupoid (G, ) je asocijativa akko važi ( x, y, z G) x (y z) = (x y) z Grupoid (G, ) je komutativa akko važi ( x, y G) x y = y x Asocijativa
Διαβάστε περισσότεραDISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović
DISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović Novi Sad April 17, 2018 1 / 22 Teorija grafova April 17, 2018 2 / 22 Definicija Graf je ure dena trojka G = (V, G, ψ), gde je (i) V konačan skup čvorova,
Διαβάστε περισσότεραMATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15
MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15 Matrice - osnovni pojmovi (Matrice i determinante) 2 / 15 (Matrice i determinante) 2 / 15 Matrice - osnovni pojmovi Matrica reda
Διαβάστε περισσότεραSintaksa i semantika u logici
Sintaksa i semantika u logici PMF Matematički odsjek Sveučilište u Zagrebu 13. listopad 2012., Zadar Sintaksa i semantika u logici 1 / 51 1. Logika sudova 1.1. Sintaksa jezik 1.2. Semantika logike sudova
Διαβάστε περισσότεραMatematička logika. Madarász Sz. Rozália. Departman za matematiku i informatiku Prirodno-matematički fakultet Univerzitet u Novom Sadu
Departman za matematiku i informatiku Prirodno-matematički fakultet Univerzitet u Novom Sadu Matematička logika Madarász Sz. Rozália Novi Sad, novembar 2012. Predgovor Ovaj tekst je pomoćni materijal koji
Διαβάστε περισσότεραPredikatska logika - III deo. Jelena Ignjatović
Predikatska logika - III deo Jelena Ignjatović Termi i formule Matematički izrazi i formule Matematičke izraze i formule gradimo od raznorodnih elemenata. Osnovni elementi matematičkih izraza i formula
Διαβάστε περισσότεραDvanaesti praktikum iz Analize 1
Dvaaesti praktikum iz Aalize Zlatko Lazovi 20. decembar 206.. Dokazati da fukcija f = 5 l tg + 5 ima bar jedu realu ulu. Ree e. Oblast defiisaosti fukcije je D f = k Z da postoji ula fukcije a 0, π 2.
Διαβάστε περισσότεραM086 LA 1 M106 GRP. Tema: Baza vektorskog prostora. Koordinatni sustav. Norma. CSB nejednakost
M086 LA 1 M106 GRP Tema: CSB nejednakost. 19. 10. 2017. predavač: Rudolf Scitovski, Darija Marković asistent: Darija Brajković, Katarina Vincetić P 1 www.fizika.unios.hr/grpua/ 1 Baza vektorskog prostora.
Διαβάστε περισσότερα18. listopada listopada / 13
18. listopada 2016. 18. listopada 2016. 1 / 13 Neprekidne funkcije Važnu klasu funkcija tvore neprekidne funkcije. To su funkcije f kod kojih mala promjena u nezavisnoj varijabli x uzrokuje malu promjenu
Διαβάστε περισσότεραSistemi veštačke inteligencije primer 1
Sistemi veštačke inteligencije primer 1 1. Na jeziku predikatskog računa formalizovati rečenice: a) Miloš je slikar. b) Sava nije slikar. c) Svi slikari su umetnici. Uz pomoć metode rezolucije dokazati
Διαβάστε περισσότεραPID: Domen P je glavnoidealski [PID] akko svaki ideal u P je glavni (generisan jednim elementom; oblika ap := {ab b P }, za neko a P ).
0.1 Faktorizacija: ID, ED, PID, ND, FD, UFD Definicija. Najava pojmova: [ID], [ED], [PID], [ND], [FD] i [UFD]. ID: Komutativan prsten P, sa jedinicom 1 0, je integralni domen [ID] oblast celih), ili samo
Διαβάστε περισσότεραSOPSTVENE VREDNOSTI I SOPSTVENI VEKTORI LINEARNOG OPERATORA I KVADRATNE MATRICE
1 SOPSTVENE VREDNOSTI I SOPSTVENI VEKTORI LINEARNOG OPERATORA I KVADRATNE MATRICE Neka je (V, +,, F ) vektorski prostor konačne dimenzije i neka je f : V V linearno preslikavanje. Definicija. (1) Skalar
Διαβάστε περισσότεραGranične vrednosti realnih nizova
Graiče vredosti realih izova Fukcija f : N R, gde je N skup prirodih brojeva a R skup realih brojeva, zove se iz realih brojeva ili reala iz. Opšti čla iza f je f(), N, i običo se obeležava sa f, dok se
Διαβάστε περισσότεραTvrd enje 3: Ako su formule A i A B tautologije, onda je tautologija. Dokaz: Neka su A i A B tautologije.
Svojstva tautologija Tvrd enje 3: Ako su formule A i A B tautologije, onda je tautologija i formula B. Dokaz: Neka su A i A B tautologije. Pretpostavimo da B nije tautologija. Tada postoji valuacija v
Διαβάστε περισσότεραINTEGRALNI RAČUN. Teorije, metodike i povijest infinitezimalnih računa. Lucija Mijić 17. veljače 2011.
INTEGRALNI RAČUN Teorije, metodike i povijest infinitezimalnih računa Lucija Mijić lucija@ktf-split.hr 17. veljače 2011. Pogledajmo Predstavimo gornju sumu sa Dodamo još jedan Dobivamo pravokutnik sa Odnosno
Διαβάστε περισσότεραSume kvadrata. mn = (ax + by) 2 + (ay bx) 2.
Sume kvadrata Koji se prirodni brojevi mogu prikazati kao zbroj kvadrata dva cijela broja? Propozicija 1. Ako su brojevi m i n sume dva kvadrata, onda je i njihov produkt m n takoder suma dva kvadrata.
Διαβάστε περισσότεραVerovatnoća i Statistika I deo Teorija verovatnoće (zadaci) Beleške dr Bobana Marinkovića
Verovatnoća i Statistika I deo Teorija verovatnoće zadaci Beleške dr Bobana Marinkovića Iz skupa, 2,, 00} bira se na slučajan način 5 brojeva Odrediti skup elementarnih dogadjaja ako se brojevi biraju
Διαβάστε περισσότεραIZVODI ZADACI (I deo)
IZVODI ZADACI (I deo Najpre da se podsetimo tablice i osnovnih pravila:. C0.. (. ( n n n-. (a a lna 6. (e e 7. (log a 8. (ln ln a (>0 9. ( 0 0. (>0 (ovde je >0 i a >0. (cos. (cos - π. (tg kπ cos. (ctg
Διαβάστε περισσότεραZavrxni ispit iz Matematiqke analize 1
Građevinski fakultet Univerziteta u Beogradu 3.2.2016. Zavrxni ispit iz Matematiqke analize 1 Prezime i ime: Broj indeksa: 1. Definisati Koxijev niz. Dati primer niza koji nije Koxijev. 2. Dat je red n=1
Διαβάστε περισσότεραRezolucija u predikatskoj logici
Rezolucija u predikatskoj logici April 18, 2012 1 Uvod Kao što smo rekli u Sekciji 13 (Rezolucija u iskaznoj logici), metod rezolucije je postupak za dokazivanje da je neka (iskazna ili predikatska) formula
Διαβάστε περισσότεραIspitivanje toka i skiciranje grafika funkcija
Ispitivanje toka i skiciranje grafika funkcija Za skiciranje grafika funkcije potrebno je ispitati svako od sledećih svojstava: Oblast definisanosti: D f = { R f R}. Parnost, neparnost, periodičnost. 3
Διαβάστε περισσότεραDeljivost. 1. Ispitati kada izraz (n 2) 3 + n 3 + (n + 2) 3,n N nije deljiv sa 18.
Deljivost 1. Ispitati kada izraz (n 2) 3 + n 3 + (n + 2) 3,n N nije deljiv sa 18. Rešenje: Nazovimo naš izraz sa I.Važi 18 I 2 I 9 I pa možemo da posmatramo deljivost I sa 2 i 9.Iz oblika u kom je dat
Διαβάστε περισσότεραUNIVERZITET U NIŠU ELEKTRONSKI FAKULTET SIGNALI I SISTEMI. Zbirka zadataka
UNIVERZITET U NIŠU ELEKTRONSKI FAKULTET Goran Stančić SIGNALI I SISTEMI Zbirka zadataka NIŠ, 014. Sadržaj 1 Konvolucija Literatura 11 Indeks pojmova 11 3 4 Sadržaj 1 Konvolucija Zadatak 1. Odrediti konvoluciju
Διαβάστε περισσότεραVJEŽBE 3 BIPOLARNI TRANZISTORI. Slika 1. Postoje npn i pnp bipolarni tranziostori i njihovi simboli su dati na slici 2 i to npn lijevo i pnp desno.
JŽ 3 POLAN TANZSTO ipolarni tranzistor se sastoji od dva pn spoja kod kojih je jedna oblast zajednička za oba i naziva se baza, slika 1 Slika 1 ipolarni tranzistor ima 3 izvoda: emitor (), kolektor (K)
Διαβάστε περισσότεραNeka su A i B proizvoljni neprazni skupovi. Korespondencija iz skupa A u skup B definiše se kao proizvoljan podskup f Dekartovog proizvoda A B.
Korespondencije Neka su A i B proizvoljni neprazni skupovi. Korespondencija iz skupa A u skup B definiše se kao proizvoljan podskup f Dekartovog proizvoda A B. Pojmovi B pr 2 f A B f prva projekcija od
Διαβάστε περισσότεραIspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f
IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f 2. Nule i znak funkcije; presek sa y-osom IspitivaƬe
Διαβάστε περισσότερα1. zadatak , 3 Dakle, sva kompleksna re{ewa date jedna~ine su x 1 = x 2 = 1 (dvostruko re{ewe), x 3 = 1 + i
PRIPREMA ZA II PISMENI IZ ANALIZE SA ALGEBROM. zadatak Re{avawe algebarskih jedna~ina tre}eg i ~etvrtog stepena. U skupu kompleksnih brojeva re{iti jedna~inu: a x 6x + 9 = 0; b x + 9x 2 + 8x + 28 = 0;
Διαβάστε περισσότεραRiješeni zadaci: Nizovi realnih brojeva
Riješei zadaci: Nizovi realih brojeva Nizovi, aritmetički iz, geometrijski iz Fukciju a : N R azivamo beskoači) iz realih brojeva i ozačavamo s a 1, a,..., a,... ili a ), pri čemu je a = a). Aritmetički
Διαβάστε περισσότερα41. Jednačine koje se svode na kvadratne
. Jednačine koje se svode na kvadrane Simerične recipročne) jednačine Jednačine oblika a n b n c n... c b a nazivamo simerične jednačine, zbog simeričnosi koeficijenaa koeficijeni uz jednaki). k i n k
Διαβάστε περισσότεραZadaci iz Osnova matematike
Zadaci iz Osnova matematike 1. Riješiti po istinitosnoj vrijednosti iskaza p, q, r jednačinu τ(p ( q r)) =.. Odrediti sve neekvivalentne iskazne formule F = F (p, q) za koje je iskazna formula p q p F
Διαβάστε περισσότερα1 Afina geometrija. 1.1 Afini prostor. Definicija 1.1. Pod afinim prostorom nad poljem K podrazumevamo. A - skup taqaka
1 Afina geometrija 11 Afini prostor Definicija 11 Pod afinim prostorom nad poljem K podrazumevamo svaku uređenu trojku (A, V, +): A - skup taqaka V - vektorski prostor nad poljem K + : A V A - preslikavanje
Διαβάστε περισσότερα1 Svojstvo kompaktnosti
1 Svojstvo kompaktnosti 1 Svojstvo kompaktnosti U ovoj lekciji će se koristiti neka svojstva realnih brojeva sa kojima se čitalac već upoznao tokom kursa iz uvoda u analizu. Na primer, važi Kantorov princip:
Διαβάστε περισσότεραIskazna logika se bavi rečenicama kao celinama, i ne zalazi u njihovu unutrašnju strukturu, ne razlikuje njihove posebne elemente.
Zadatak predikatske logike Iskazna logika se bavi rečenicama kao celinama, i ne zalazi u njihovu unutrašnju strukturu, ne razlikuje njihove posebne elemente. Zbog toga se pomoću iskaznih formula ne može
Διαβάστε περισσότερα7 Algebarske jednadžbe
7 Algebarske jednadžbe 7.1 Nultočke polinoma Skup svih polinoma nad skupom kompleksnih brojeva označavamo sa C[x]. Definicija. Nultočka polinoma f C[x] je svaki kompleksni broj α takav da je f(α) = 0.
Διαβάστε περισσότερα4.7. Zadaci Formalizam diferenciranja (teorija na stranama ) 343. Znajući izvod funkcije x arctg x, odrediti izvod funkcije x arcctg x.
4.7. ZADACI 87 4.7. Zadaci 4.7.. Formalizam diferenciranja teorija na stranama 4-46) 340. Znajući izvod funkcije arcsin, odrediti izvod funkcije arccos. Rešenje. Polazeći od jednakosti arcsin + arccos
Διαβάστε περισσότερα[1] Formalni jezik iskazne logike
[1] Formalni jezik iskazne logike Svaka formalna teorija (formalni sistem) sastoji se iz tri komponente: formalnog jezika, aksioma i pravila izvođenja (zaključivanja) Formalni jezik [4] sastoji se iz osnovnih
Διαβάστε περισσότεραDiskretna Matematika
Diskretna Matematika Iskazni Račun Žarko Mijajlović Zoran Petrović Maja Roslavcev........................... Matematički fakultet Beograd 2011 2 Glava 1 Iskazni račun Matematička logika najčešće se definiše
Διαβάστε περισσότεραDiskretna matematika. Prof. dr Olivera Nikolić
Diskretna matematika Prof. dr Olivera Nikolić onikolic@singidunum.ac.rs 1 OSNOVNI POJMOVI MATEMATIČKE LOGIKE 2 1. Diskretna matematika 2. Kontinualna matematika 3 Pojam diskretne matematike Diskretna matematika
Διαβάστε περισσότεραradni nerecenzirani materijal za predavanja R(f) = {f(x) x D}
Matematika 1 Funkcije radni nerecenzirani materijal za predavanja Definicija 1. Neka su D i K bilo koja dva neprazna skupa. Postupak f koji svakom elementu x D pridružuje točno jedan element y K zovemo funkcija
Διαβάστε περισσότεραGranične vrednosti realnih funkcija i neprekidnost
Granične vrednosti realnih funkcija i neprekidnost 1 Pojam granične vrednosti Naka su x 0 R i δ R, δ > 0. Pod δ okolinom tačke x 0 podrazumevamo interval U δ x 0 ) = x 0 δ, x 0 + δ), a pod probodenom δ
Διαβάστε περισσότεραELEKTROTEHNIČKI ODJEL
MATEMATIKA. Neka je S skup svih živućih državljana Republike Hrvatske..04., a f preslikavanje koje svakom elementu skupa S pridružuje njegov horoskopski znak (bez podznaka). a) Pokažite da je f funkcija,
Διαβάστε περισσότεραGlava 1. Realne funkcije realne promen ive. 1.1 Elementarne funkcije
Glava 1 Realne funkcije realne promen ive 1.1 Elementarne funkcije Neka su dati skupovi X i Y. Ukoliko svakom elementu skupa X po nekom pravilu pridruimo neki, potpuno odreeni, element skupa Y kaemo da
Διαβάστε περισσότεραFunkcije dviju varjabli (zadaci za vježbu)
Funkcije dviju varjabli (zadaci za vježbu) Vidosava Šimić 22. prosinca 2009. Domena funkcije dvije varijable Ako je zadano pridruživanje (x, y) z = f(x, y), onda se skup D = {(x, y) ; f(x, y) R} R 2 naziva
Διαβάστε περισσότερα2 tg x ctg x 1 = =, cos 2x Zbog četvrtog kvadranta rješenje je: 2 ctg x
Zadatak (Darjan, medicinska škola) Izračunaj vrijednosti trigonometrijskih funkcija broja ako je 6 sin =,,. 6 Rješenje Ponovimo trigonometrijske funkcije dvostrukog kuta! Za argument vrijede sljedeće formule:
Διαβάστε περισσότεραZadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu
Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu Trigonometrijske jednačine i nejednačine. Zadaci koji se rade bez upotrebe trigonometrijskih formula. 00. FF cos x sin x
Διαβάστε περισσότεραBulovsko vrednosni modeli
Univerzitet u Novom Sadu Prirodno-matematički fakultet Departman za matematiku i informatiku Miloš Kuljić Bulovsko vrednosni modeli mentor Milan Grulović Novi Sad, 2014. Sadržaj Uvod 2 1 Pregled logike
Διαβάστε περισσότεραTrigonometrija 2. Adicijske formule. Formule dvostrukog kuta Formule polovičnog kuta Pretvaranje sume(razlike u produkt i obrnuto
Trigonometrija Adicijske formule Formule dvostrukog kuta Formule polovičnog kuta Pretvaranje sume(razlike u produkt i obrnuto Razumijevanje postupka izrade složenijeg matematičkog problema iz osnova trigonometrije
Διαβάστε περισσότερα1 Promjena baze vektora
Promjena baze vektora Neka su dane dvije različite uredene baze u R n, označimo ih s A = (a, a,, a n i B = (b, b,, b n Svaki vektor v R n ima medusobno različite koordinatne zapise u bazama A i B Zapis
Διαβάστε περισσότεραnumeričkih deskriptivnih mera.
DESKRIPTIVNA STATISTIKA Numeričku seriju podataka opisujemo pomoću Numeričku seriju podataka opisujemo pomoću numeričkih deskriptivnih mera. Pokazatelji centralne tendencije Aritmetička sredina, Medijana,
Διαβάστε περισσότεραLinearna algebra 2 prvi kolokvij,
Linearna algebra 2 prvi kolokvij, 27.. 20.. Za koji cijeli broj t je funkcija f : R 4 R 4 R definirana s f(x, y) = x y (t + )x 2 y 2 + x y (t 2 + t)x 4 y 4, x = (x, x 2, x, x 4 ), y = (y, y 2, y, y 4 )
Διαβάστε περισσότεραAlgebarske strukture sa jednom operacijom (A, ): Ako operacija ima osobine: zatvorenost i asocijativnost, onda je (A, ) polugrupa
Binarne operacije Binarna operacija na skupu A je preslikavanje skupa A A u A, to jest : A A A. Pišemo a b = c. Označavanje operacija:,,,. Poznate operacije: sabiranje (+), oduzimanje ( ), množenje ( ).
Διαβάστε περισσότεραRelacije poretka ure denja
Relacije poretka ure denja Relacija na skupu A je relacija poretka na A ako je ➀ refleksivna ➁ antisimetrična ➂ tranzitivna Umesto relacija poretka često kažemo i parcijalno ured enje ili samo ured enje.
Διαβάστε περισσότεραMATEMATIKA 2. Grupa 1 Rexea zadataka. Prvi pismeni kolokvijum, Dragan ori
MATEMATIKA 2 Prvi pismeni kolokvijum, 14.4.2016 Grupa 1 Rexea zadataka Dragan ori Zadaci i rexea 1. unkcija f : R 2 R definisana je sa xy 2 f(x, y) = x2 + y sin 3 2 x 2, (x, y) (0, 0) + y2 0, (x, y) =
Διαβάστε περισσότεραU raznim oblastima se često javlja potreba da se izmed u izvesnih objekata uspostave izvesne veze, odnosi ili relacije.
Šta je to relacija? U raznim oblastima se često javlja potreba da se izmed u izvesnih objekata uspostave izvesne veze, odnosi ili relacije. Na primer, često se javlja potreba da se izvesni objekti uporede
Διαβάστε περισσότεραMatematička analiza 1 dodatni zadaci
Matematička analiza 1 dodatni zadaci 1. Ispitajte je li funkcija f() := 4 4 5 injekcija na intervalu I, te ako jest odredite joj sliku i inverz, ako je (a) I = [, 3), (b) I = [1, ], (c) I = ( 1, 0].. Neka
Διαβάστε περισσότεραRiješeni zadaci: Limes funkcije. Neprekidnost
Riješeni zadaci: Limes funkcije. Neprekidnost Limes funkcije Neka je 0 [a, b] i f : D R, gdje je D = [a, b] ili D = [a, b] \ { 0 }. Kažemo da je es funkcije f u točki 0 jednak L i pišemo f ) = L, ako za
Διαβάστε περισσότεραNeka je data korespondencija f A B. Tada korespondenciju f 1 B A definisanu sa. f 1 = {(b, a) B A (a, b) f}
Inverzna korespondencija Neka je data korespondencija f A B. Tada korespondenciju f 1 B A definisanu sa f 1 = {(b, a) B A (a, b) f} nazivamo inverznom korespondencijom korespondencije f. A f B A f 1 B
Διαβάστε περισσότεραFUNKCIJE - 2. deo. Logika i teorija skupova. 1 Logika FUNKCIJE - 2. deo
FUNKCIJE - 2. deo Logika i teorija skupova 1 Logika FUNKCIJE - 2. deo Inverzna korespondencija Neka je data korespondencija f A B. Tada korespondenciju f 1 B A definisanu sa f 1 = {(b, a) B A (a, b) f}
Διαβάστε περισσότερα1 Aksiomatska definicija skupa realnih brojeva
1 Aksiomatska definicija skupa realnih brojeva Definicija 1 Polje realnih brojeva je skup R = {x, y, z...} u kojemu su definirane dvije binarne operacije zbrajanje (oznaka +) i množenje (oznaka ) i jedna binarna
Διαβάστε περισσότεραSKUPOVI I SKUPOVNE OPERACIJE
SKUPOVI I SKUPOVNE OPERACIJE Ne postoji precizna definicija skupa (postoji ali nama nije zanimljiva u ovom trenutku), ali mi možemo koristiti jednu definiciju koja će nam donekle dočarati šta su zapravo
Διαβάστε περισσότεραAutomatsko rezonovanje beleške sa predavanja Rezonovanje u logici prvog reda
Automatsko rezonovanje beleške sa predavanja Rezonovanje u logici prvog reda Filip Marić Milan Banković Matematički fakultet, Univerzitet u Beogradu Proletnji semestar 2018. Uvod Pregled 1 Uvod 2 Sintaksa
Διαβάστε περισσότεραXI dvoqas veжbi dr Vladimir Balti. 4. Stabla
XI dvoqas veжbi dr Vladimir Balti 4. Stabla Teorijski uvod Teorijski uvod Definicija 5.7.1. Stablo je povezan graf bez kontura. Definicija 5.7.1. Stablo je povezan graf bez kontura. Primer 5.7.1. Sva stabla
Διαβάστε περισσότεραKlasifikacija blizu Kelerovih mnogostrukosti. konstantne holomorfne sekcione krivine. Kelerove. mnogostrukosti. blizu Kelerove.
Klasifikacija blizu Teorema Neka je M Kelerova mnogostrukost. Operator krivine R ima sledeća svojstva: R(X, Y, Z, W ) = R(Y, X, Z, W ) = R(X, Y, W, Z) R(X, Y, Z, W ) + R(Y, Z, X, W ) + R(Z, X, Y, W ) =
Διαβάστε περισσότεραОво дело је заштићено лиценцом Креативне заједнице Ауторство некомерцијално без прерадa 1.
Ово дело је заштићено лиценцом Креативне заједнице Ауторство некомерцијално без прерадa 1. This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Διαβάστε περισσότερα5 Ispitivanje funkcija
5 Ispitivanje funkcija 3 5 Ispitivanje funkcija Ispitivanje funkcije pretodi crtanju grafika funkcije. Opšti postupak ispitivanja funkcija koje su definisane eksplicitno y = f() sadrži sledeće elemente:
Διαβάστε περισσότεραIskazna logika. October 26, Počeci logike i matematičke logike
Iskazna logika October 26, 2011 1 Počeci logike i matematičke logike Prvi narod u istoriji koji se bavio problemima ispravnog zaključivanja bili su Stari Grci. Zahvaljujući svom društvenom ured enju, koje
Διαβάστε περισσότεραPrediktor-korektor metodi
Prediktor-korektor metodi Prilikom numeričkog rešavanja primenom KP: x = fx,, x 0 = 0, x 0 x b LVM α j = h β j f n = 0, 1, 2,..., N, javlja se kompromis izmed u eksplicitnih metoda, koji su lakši za primenu
Διαβάστε περισσότερα4 Numeričko diferenciranje
4 Numeričko diferenciranje 7. Funkcija fx) je zadata tabelom: x 0 4 6 8 fx).17 1.5167 1.7044 3.385 5.09 7.814 Koristeći konačne razlike, zaključno sa trećim redom, odrediti tačku x minimuma funkcije fx)
Διαβάστε περισσότερα(P.I.) PRETPOSTAVKA INDUKCIJE - pretpostavimo da tvrdnja vrijedi za n = k.
1 3 Skupovi brojeva 3.1 Skup prirodnih brojeva - N N = {1, 2, 3,...} Aksiom matematičke indukcije Neka je N skup prirodnih brojeva i M podskup od N. Ako za M vrijede svojstva: 1) 1 M 2) n M (n + 1) M,
Διαβάστε περισσότεραOsnovno svojstvo iskaza, ma kako složen bio, jeste da je on ili tačan, ili netačan.
Iskazna algebra Osnovno svojstvo iskaza, ma kako složen bio, jeste da je on ili tačan, ili netačan. Da bi se pravila za odred ivanje istinitosti precizno formalizovala, uvodi se sledeća matematička struktura.
Διαβάστε περισσότεραOn predstavlja osnovni pojam, poput pojma tačke ili prave u geometriji. Suštinsko svojstvo skupa je da se on sastoji od elemenata ili članova.
Pojam skupa U matematici se pojam skup ne definiše eksplicitno. On predstavlja osnovni pojam, poput pojma tačke ili prave u geometriji. Suštinsko svojstvo skupa je da se on sastoji od elemenata ili članova.
Διαβάστε περισσότεραAutomatsko rezonovanje beleške sa predavanja Rezonovanje u logici prvog reda
Automatsko rezonovanje beleške sa predavanja Rezonovanje u logici prvog reda Filip Marić Matematički fakultet, Univerzitet u Beogradu Proletnji semestar 2011. Uvod. Pregled 1 Uvod. 2 3 Normalne forme 4
Διαβάστε περισσότεραBinarne relacije. Definicija. Uopštena binarna relacija je uredjena trojka (A, B, ρ) gde je ρ A B; (A, B) je tip ove binarne relacije.
Binarne relacije Definicija. Uopštena binarna relacija je uredjena trojka (A, B, ρ) gde je ρ A B; (A, B) je tip ove binarne relacije. Kaže se i da je ρ binarna relacija sa skupa A u skup B (kao u [MP]).
Διαβάστε περισσότεραAPROKSIMACIJA FUNKCIJA
APROKSIMACIJA FUNKCIJA Osnovni koncepti Gradimir V. Milovanović MF, Beograd, 14. mart 2011. APROKSIMACIJA FUNKCIJA p.1/46 Osnovni problem u TA Kako za datu funkciju f iz velikog prostora X naći jednostavnu
Διαβάστε περισσότεραk a k = a. Kao i u slučaju dimenzije n = 1 samo je jedan mogući limes niza u R n :
4 Nizovi u R n Neka je A R n. Niz u A je svaka funkcija a : N A. Označavamo ga s (a k ) k. Na primjer, jedan niz u R 2 je dan s ( 1 a k = k, 1 ) k 2, k N. Definicija 4.1. Za niz (a k ) k R n kažemo da
Διαβάστε περισσότεραSkup svih mogućih ishoda datog opita, odnosno skup svih elementarnih događaja se najčešće obeležava sa E. = {,,,... }
VEROVTNOĆ - ZDI (I DEO) U računu verovatnoće osnovni pojmovi su opit i događaj. Svaki opit se završava nekim ishodom koji se naziva elementarni događaj. Elementarne događaje profesori različito obeležavaju,
Διαβάστε περισσότερα( ) ( ) 2 UNIVERZITET U ZENICI POLITEHNIČKI FAKULTET. Zadaci za pripremu polaganja kvalifikacionog ispita iz Matematike. 1. Riješiti jednačine: 4
UNIVERZITET U ZENICI POLITEHNIČKI FAKULTET Riješiti jednačine: a) 5 = b) ( ) 3 = c) + 3+ = 7 log3 č) = 8 + 5 ć) sin cos = d) 5cos 6cos + 3 = dž) = đ) + = 3 e) 6 log + log + log = 7 f) ( ) ( ) g) ( ) log
Διαβάστε περισσότεραKVADRATNA FUNKCIJA. Kvadratna funkcija je oblika: Kriva u ravni koja predstavlja grafik funkcije y = ax + bx + c. je parabola.
KVADRATNA FUNKCIJA Kvadratna funkcija je oblika: = a + b + c Gde je R, a 0 i a, b i c su realni brojevi. Kriva u ravni koja predstavlja grafik funkcije = a + b + c je parabola. Najpre ćemo naučiti kako
Διαβάστε περισσότεραFunkcije. Predstavljanje funkcija
Funkcije narna relacija f je funkcionalna relacija ako važi: ( ) za svaki a postoji jedinstven element b takav da (a, b) f. Definicija. Funkcija 1 je uredjena trojka (,, f) gde f zadovoljava uslov: Činjenicu
Διαβάστε περισσότερα(y) = f (x). (x) log ϕ(x) + ψ(x) Izvodi parametarski definisane funkcije y = ψ(t)
Izvodi Definicija. Neka je funkcija f definisana i neprekidna u okolini tačke a. Prvi izvod funkcije f u tački a je Prvi izvod funkcije f u tački : f f fa a lim. a a f lim 0 Izvodi višeg reda funkcije
Διαβάστε περισσότερα