8 Predikatski račun kao deduktivni sistem

Save this PDF as:
 WORD  PNG  TXT  JPG

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "8 Predikatski račun kao deduktivni sistem"

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.

Matematička logika. novembar 2012

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.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.

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

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)

Διαβάστε περισσότερα

Predikatska logika. January 8, 2012

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

Διαβάστε περισσότερα

SISTEMI NELINEARNIH JEDNAČINA

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

Διαβάστε περισσότερα

PRAVA. Prava je u prostoru određena jednom svojom tačkom i vektorom paralelnim sa tom pravom ( vektor paralelnosti).

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

Διαβάστε περισσότερα

Napravimo neformalnu rekapitulaciju osnovnih pojmova koje smo obradili na prethodnom predavanju.

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

Διαβάστε περισσότερα

a M a A. Može se pokazati da je supremum (ako postoji) jedinstven pa uvodimo oznaku sup A.

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

Διαβάστε περισσότερα

IZVODI ZADACI (I deo)

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

Διαβάστε περισσότερα

Sintaksa i semantika u logici

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

Διαβάστε περισσότερα

MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15

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

Διαβάστε περισσότερα

Granične vrednosti realnih nizova

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

Διαβάστε περισσότερα

SOPSTVENE VREDNOSTI I SOPSTVENI VEKTORI LINEARNOG OPERATORA I KVADRATNE MATRICE

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

Διαβάστε περισσότερα

Sistemi veštačke inteligencije primer 1

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

Διαβάστε περισσότερα

18. listopada listopada / 13

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

Διαβάστε περισσότερα

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 ).

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

Διαβάστε περισσότερα

Sume kvadrata. mn = (ax + by) 2 + (ay bx) 2.

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.

Διαβάστε περισσότερα

Tvrd enje 3: Ako su formule A i A B tautologije, onda je tautologija. Dokaz: Neka su A i A B tautologije.

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

Διαβάστε περισσότερα

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.

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

Διαβάστε περισσότερα

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 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

Διαβάστε περισσότερα

Zavrxni ispit iz Matematiqke analize 1

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

Διαβάστε περισσότερα

Iskazna logika se bavi rečenicama kao celinama, i ne zalazi u njihovu unutrašnju strukturu, ne razlikuje njihove posebne elemente.

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

Διαβάστε περισσότερα

Granične vrednosti realnih funkcija i neprekidnost

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 δ

Διαβάστε περισσότερα

Ispitivanje toka i skiciranje grafika funkcija

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

Διαβάστε περισσότερα

UNIVERZITET U NIŠU ELEKTRONSKI FAKULTET SIGNALI I SISTEMI. Zbirka zadataka

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

Διαβάστε περισσότερα

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 IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f 2. Nule i znak funkcije; presek sa y-osom IspitivaƬe

Διαβάστε περισσότερα

7 Algebarske jednadžbe

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.

Διαβάστε περισσότερα

[1] Formalni jezik iskazne logike

[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. Prof. dr Olivera Nikolić

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

Διαβάστε περισσότερα

41. Jednačine koje se svode na kvadratne

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

Διαβάστε περισσότερα

Relacije poretka ure denja

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.

Διαβάστε περισσότερα

radni nerecenzirani materijal za predavanja R(f) = {f(x) x D}

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

Διαβάστε περισσότερα

Zadaci iz Osnova matematike

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

Διαβάστε περισσότερα

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.

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.

Διαβάστε περισσότερα

Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu

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

Διαβάστε περισσότερα

Algebarske strukture sa jednom operacijom (A, ): Ako operacija ima osobine: zatvorenost i asocijativnost, onda je (A, ) polugrupa

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 ( ).

Διαβάστε περισσότερα

Glava 1. Realne funkcije realne promen ive. 1.1 Elementarne funkcije

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 - 2. deo. Logika i teorija skupova. 1 Logika FUNKCIJE - 2. deo

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}

Διαβάστε περισσότερα

Trigonometrija 2. Adicijske formule. Formule dvostrukog kuta Formule polovičnog kuta Pretvaranje sume(razlike u produkt i obrnuto

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

Διαβάστε περισσότερα

numeričkih deskriptivnih mera.

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,

Διαβάστε περισσότερα

1 Aksiomatska definicija skupa realnih brojeva

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 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

Διαβάστε περισσότερα

O Šturmovim rečima i njihovim primenama u teoriji brojeva

O Šturmovim rečima i njihovim primenama u teoriji brojeva UNIVERZITET U NOVOM SADU PRIRODNO-MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Kristina Ago O Šturmovim rečima i njihovim primenama u teoriji brojeva - Master rad- Mentor: dr Bojan Bašić

Διαβάστε περισσότερα

MATEMATIKA 2. Grupa 1 Rexea zadataka. Prvi pismeni kolokvijum, Dragan ori

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) =

Διαβάστε περισσότερα

Riješeni zadaci: Limes funkcije. Neprekidnost

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

Διαβάστε περισσότερα

Prediktor-korektor metodi

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

Διαβάστε περισσότερα

5 Ispitivanje funkcija

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:

Διαβάστε περισσότερα

Četrnaesto predavanje iz Teorije skupova

Četrnaesto predavanje iz Teorije skupova Četrnaesto predavanje iz Teorije skupova 27. 01. 2006. Kratki rezime prošlog predavanja: Dokazali smo teorem rekurzije, te primjenom njega definirali zbrajanje ordinalnih brojeva. Prvo ćemo navesti osnovna

Διαβάστε περισσότερα

Osnovno svojstvo iskaza, ma kako složen bio, jeste da je on ili tačan, ili netačan.

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.

Διαβάστε περισσότερα

Skup svih mogućih ishoda datog opita, odnosno skup svih elementarnih događaja se najčešće obeležava sa E. = {,,,... }

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,

Διαβάστε περισσότερα

Automatsko rezonovanje beleške sa predavanja Rezonovanje u logici prvog reda

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

Διαβάστε περισσότερα

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: 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

Διαβάστε περισσότερα

Aksioma zamene. Aksioma dobre zasnovanosti. Aksioma dobre zasnovanosti Svaki neprazan skup A sadrži skup a takav da je A a = 0.

Aksioma zamene. Aksioma dobre zasnovanosti. Aksioma dobre zasnovanosti Svaki neprazan skup A sadrži skup a takav da je A a = 0. Aksioma zamene Aksioma zamene opisuje sledeće: ako je P (x, y) neko svojstvo parova skupova (x, y) takvo da za svaki skup x postoji tačno jedan skup y takav da par (x, y) ima svojstvo P, tada za svaki

Διαβάστε περισσότερα

4 Numeričko diferenciranje

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.

(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,

Διαβάστε περισσότερα

Jednodimenzionalne slučajne promenljive

Jednodimenzionalne slučajne promenljive Jednodimenzionalne slučajne promenljive Definicija slučajne promenljive Neka je X f-ja def. na prostoru verovatnoća (Ω, F, P) koja preslikava prostor el. ishoda Ω u skup R realnih brojeva: (1)Skup {ω/

Διαβάστε περισσότερα

Primene teorije modela u poljima

Primene teorije modela u poljima Primene teorije modela u poljima Angelina Ilić Stepić mentor dr.žarko Mijajlović Matematički fakultet, Beograd 008 1 Predgovor Magistarski rad je iz oblasti teorije modela sa primenama na algebarska polja.

Διαβάστε περισσότερα

Predikatska logika - II deo. Jelena Ignjatović

Predikatska logika - II deo. Jelena Ignjatović Predikatska logika - II deo Jelena Ignjatović Logika i teorija skupva Ugnježdeni kvantifikatori Ugnježdeni kvantifikatori U matematici i informatici se često sreću kvantifikatori koji se javljaju u oblasti

Διαβάστε περισσότερα

(y) = f (x). (x) log ϕ(x) + ψ(x) Izvodi parametarski definisane funkcije y = ψ(t)

(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

Διαβάστε περισσότερα

Elementarna matematika - predavanja -

Elementarna matematika - predavanja - Elementarna matematika - predavanja - February 11, 2013 2 Sadržaj I Zasnivanje brojeva 5 I.1 Peanove aksiome............................. 5 I.2 Celi brojevi................................ 13 I.3 Racionalni

Διαβάστε περισσότερα

Više dokaza jedne poznate trigonometrijske nejednakosti u trokutu

Više dokaza jedne poznate trigonometrijske nejednakosti u trokutu Osječki matematički list 000), 5 9 5 Više dokaza jedne poznate trigonometrijske nejednakosti u trokutu Šefket Arslanagić Alija Muminagić Sažetak. U radu se navodi nekoliko različitih dokaza jedne poznate

Διαβάστε περισσότερα

Logika prvog reda. Zapisivanje rečenica.

Logika prvog reda. Zapisivanje rečenica. Logika prvog reda.. Danijela Petrović May 3, 2016 Logika prvog reda Osnovna novina u odnosu na iskaznu logiku uvoženje egzistencijalnog i univerzalnog kvantifikatora. Logika prvog reda Osnovna novina u

Διαβάστε περισσότερα

radni nerecenzirani materijal za predavanja

radni nerecenzirani materijal za predavanja Matematika 1 Funkcije radni nerecenzirani materijal za predavanja Definicija 1. Kažemo da je funkcija f : a, b R u točki x 0 a, b postiže lokalni minimum ako postoji okolina O(x 0 ) broja x 0 takva da je

Διαβάστε περισσότερα

1 Algebarske operacije i algebraske strukture

1 Algebarske operacije i algebraske strukture 1 Algebarske operacije i algebraske strukture Defnicija 1.1 Neka su I i A skupovi. I-familija elemenata skupa A, ili familija elemenata iz A indeksirana skupom I, je funkcija a : I A koju radije zapisujemo

Διαβάστε περισσότερα

POTPUNO RIJEŠENIH ZADATAKA PRIRUČNIK ZA SAMOSTALNO UČENJE

POTPUNO RIJEŠENIH ZADATAKA PRIRUČNIK ZA SAMOSTALNO UČENJE **** MLADEN SRAGA **** 011. UNIVERZALNA ZBIRKA POTPUNO RIJEŠENIH ZADATAKA PRIRUČNIK ZA SAMOSTALNO UČENJE SKUP REALNIH BROJEVA α Autor: MLADEN SRAGA Grafički urednik: BESPLATNA - WEB-VARIJANTA Tisak: M.I.M.-SRAGA

Διαβάστε περισσότερα

Neka je a 3 x 3 + a 2 x 2 + a 1 x + a 0 = 0 algebarska jednadžba trećeg stupnja. Rješavanje ove jednadžbe sastoji se od nekoliko koraka.

Neka je a 3 x 3 + a 2 x 2 + a 1 x + a 0 = 0 algebarska jednadžba trećeg stupnja. Rješavanje ove jednadžbe sastoji se od nekoliko koraka. Neka je a 3 x 3 + a x + a 1 x + a 0 = 0 algebarska jednadžba trećeg stupnja. Rješavanje ove jednadžbe sastoji se od nekoliko koraka. 1 Normiranje jednadžbe. Jednadžbu podijelimo s a 3 i dobivamo x 3 +

Διαβάστε περισσότερα

Biblioteka Prirodno - matematičkih nauka

Biblioteka Prirodno - matematičkih nauka Uvod u logiku Biblioteka Prirodno - matematičkih nauka Prof. dr Žana Kovijanić Vukićević Prof. dr Slobodan Vujošević UVOD U LOGIKU Drugo izdanje Glavni urednik Prof. dr Ilija Vujošević Recenzenti Prof.

Διαβάστε περισσότερα

III VEŽBA: FURIJEOVI REDOVI

III VEŽBA: FURIJEOVI REDOVI III VEŽBA: URIJEOVI REDOVI 3.1. eorijska osnova Posmatrajmo neki vremenski kontinualan signal x(t) na intervalu definisati: t + t t. ada se može X [ k ] = 1 t + t x ( t ) e j 2 π kf t dt, gde je f = 1/.

Διαβάστε περισσότερα

Ovo nam govori da funkcija nije ni parna ni neparna, odnosno da nije simetrična ni u odnosu na y osu ni u odnosu na

Ovo nam govori da funkcija nije ni parna ni neparna, odnosno da nije simetrična ni u odnosu na y osu ni u odnosu na . Ispitati tok i skicirati grafik funkcij = Oblast dfinisanosti (domn) Ova funkcija j svuda dfinisana, jr nma razlomka a funkcija j dfinisana za svako iz skupa R. Dakl (, ). Ovo nam odmah govori da funkcija

Διαβάστε περισσότερα

DRUGI KOLOKVIJUM IZ MATEMATIKE 9x + 6y + z = 1 4x 2y + z = 1 x + 2y + 3z = 2. je neprekidna za a =

DRUGI KOLOKVIJUM IZ MATEMATIKE 9x + 6y + z = 1 4x 2y + z = 1 x + 2y + 3z = 2. je neprekidna za a = x, y, z) 2 2 1 2. Rešiti jednačinu: 2 3 1 1 2 x = 1. x = 3. Odrediti rang matrice: rang 9x + 6y + z = 1 4x 2y + z = 1 x + 2y + 3z = 2. 2 0 1 1 1 3 1 5 2 8 14 10 3 11 13 15 = 4. Neka je A = x x N x < 7},

Διαβάστε περισσότερα

METODA SEČICE I REGULA FALSI

METODA SEČICE I REGULA FALSI METODA SEČICE I REGULA FALSI Zadatak: Naći ulu fukcije f a itervalu (a,b), odoso aći za koje je f()=0. Rešeje: Prvo, tražimo iterval (a,b) a kome je fukcija eprekida, mootoa i važi: f(a)f(b)

Διαβάστε περισσότερα

Poglavlje 1 GRAM-SCHMIDTOV POSTUPAK ORTOGONALIZACIJE. 1.1 Ortonormirani skupovi

Poglavlje 1 GRAM-SCHMIDTOV POSTUPAK ORTOGONALIZACIJE. 1.1 Ortonormirani skupovi Poglavlje 1 GRAM-SCHMIDTOV POSTUPAK ORTOGONALIZACIJE 1.1 Ortonormirani skupovi Prije nego krenemo na sami algoritam, uvjerimo se koliko je korisno raditi sa ortonormiranim skupovima u unitarnom prostoru.

Διαβάστε περισσότερα

Determinante. a11 a. a 21 a 22. Definicija 1. (Determinanta prvog reda) Determinanta matrice A = [a] je broj a.

Determinante. a11 a. a 21 a 22. Definicija 1. (Determinanta prvog reda) Determinanta matrice A = [a] je broj a. Determinante Determinanta A deta je funkcija definirana na skupu svih kvadratnih matrica, a poprima vrijednosti iz skupa skalara Osim oznake deta za determinantu kvadratne matrice a 11 a 12 a 1n a 21 a

Διαβάστε περισσότερα

ASIMPTOTE FUNKCIJA. Dakle: Asimptota je prava kojoj se funkcija približava u beskonačno dalekoj tački. Postoje tri vrste asimptota:

ASIMPTOTE FUNKCIJA. Dakle: Asimptota je prava kojoj se funkcija približava u beskonačno dalekoj tački. Postoje tri vrste asimptota: ASIMPTOTE FUNKCIJA Naš savet je da najpre dobro proučite granične vrednosti funkcija Neki profesori vole da asimptote funkcija ispituju kao ponašanje funkcije na krajevima oblasti definisanosti, pa kako

Διαβάστε περισσότερα

Skupovi, relacije, funkcije

Skupovi, relacije, funkcije Chapter 1 Skupovi, relacije, funkcije 1.1 Skup, torka, multiskup 1.1.1 Skup Pojam skupa ne definišemo eksplicitno. Intuitivno skup prihvatamo kao konačnu ili beskonačnu kolekciju objekata (ili elemenata)u

Διαβάστε περισσότερα

Iskazna logika. 1 Semantika iskazne logike

Iskazna logika. 1 Semantika iskazne logike Iskazna logika 1 Semantika iskazne logike Iskazna formula je niz simbola odredjenog alfabeta (skupa simbola). Postoje razni alfabeti u kojima se definišu iskazne formula, a razlikuju ih simboli logički

Διαβάστε περισσότερα

8 Funkcije više promenljivih

8 Funkcije više promenljivih 8 Funkcije više promenljivih 78 8 Funkcije više promenljivih Neka je R skup realnih brojeva i X R n. Jednoznačno preslikavanje f : X R naziva se realna funkcija sa n nezavisno promenljivih čiji je domen

Διαβάστε περισσότερα

Geometrija (I smer) deo 1: Vektori

Geometrija (I smer) deo 1: Vektori Geometrija (I smer) deo 1: Vektori Srdjan Vukmirović Matematički fakultet, Beograd septembar 2013. Vektori i linearne operacije sa vektorima Definicija Vektor je klasa ekvivalencije usmerenih duži. Kažemo

Διαβάστε περισσότερα

Linearna algebra. skripta. Januar 2013.

Linearna algebra. skripta. Januar 2013. Linearna algebra skripta Januar 23. Reč autora Ovo je verzija teksta koji je pod naslovom Linearna algebra prvobitno bio pripremljen za studente Odseka za informatiku, Matematičkog fakulteta Univerziteta

Διαβάστε περισσότερα

1 ISKAZNA I PREDIKATSKA LOGIKA Zadaci Rešenja SKUPOVI Zadaci RELACIJE Zadaci Rešenja...

1 ISKAZNA I PREDIKATSKA LOGIKA Zadaci Rešenja SKUPOVI Zadaci RELACIJE Zadaci Rešenja... Sadržaj 1 ISKAZNA I PREDIKATSKA LOGIKA 3 1.1 Zadaci............................... 6 1.2 Rešenja.............................. 8 2 SKUPOVI 13 2.1 Zadaci............................... 16 2.2 Rešenja..............................

Διαβάστε περισσότερα

Trigonometrijske nejednačine

Trigonometrijske nejednačine Trignmetrijske nejednačine T su nejednačine kd kjih se nepznata javlja ka argument trignmetrijske funkcije. Rešiti trignmetrijsku nejednačinu znači naći sve uglve kji je zadvljavaju. Prilikm traženja rešenja

Διαβάστε περισσότερα

Linearna algebra. skripta. Januar 2013.

Linearna algebra. skripta. Januar 2013. Linearna algebra skripta Januar 3 Reč autora Ovaj tekst je nastao od materijala sa kursa Linearna algebra i analitička geometrija za studente Odseka za informatiku, Matematičkog fakulteta Univerziteta

Διαβάστε περισσότερα

ELEMENTARNE FUNKCIJE

ELEMENTARNE FUNKCIJE 1 1. Osnovni pojmovi ELEMENTARNE FUNKCIJE Jedan od najvažnijih pojmova u matematici predstavlja pojam funkcije. Definicija 1.1. Neka su X i Y dva neprazna skupa. Funkcija f iz skupa X u skup Y je pridruživanje

Διαβάστε περισσότερα

1 Pojam funkcije. f(x)

1 Pojam funkcije. f(x) Pojam funkcije f : X Y gde su X i Y neprazni skupovi (X - domen, Y - kodomen) je funkcija ako ( X)(! Y )f() =, (za svaki element iz domena taqno znamo u koji se element u kodomenu slika). Domen funkcije

Διαβάστε περισσότερα

ELEMENTARNE FUNKCIJE dr Jelena Manojlović Prirodno-matematički fakultet, Niš

ELEMENTARNE FUNKCIJE dr Jelena Manojlović Prirodno-matematički fakultet, Niš 1 1. Osnovni pojmovi ELEMENTARNE FUNKCIJE dr Jelena Manojlović Prirodno-matematički fakultet, Niš Jedan od najvažnijih pojmova u matematici predstavlja pojam funkcije. Definicija 1.1. Neka su X i Y dva

Διαβάστε περισσότερα

O trouglu. mr Radmila Krstić, asistent Prirodno-matematički fakultet, Niš

O trouglu. mr Radmila Krstić, asistent Prirodno-matematički fakultet, Niš O trouglu mr Radmila Krstić, asistent Prirodno-matematički fakultet, Niš O trouglu 2 O TROUGLU Trougao je nezaobilazna tema kako osnovne tako i srednje škole. O trouglu se skoro sve zna. Navodimo te činjenice.

Διαβάστε περισσότερα

ELEMENTARNE FUNKCIJE

ELEMENTARNE FUNKCIJE 1 1. Osnovni pojmovi ELEMENTARNE FUNKCIJE Jedan od najvažnijih pojmova u matematici predstavlja pojam funkcije. Definicija 1.1. Neka su X i Y dva neprazna skupa. Funkcija f iz skupa X u skup Y je pridruživanje

Διαβάστε περισσότερα

TRIGONOMETRIJSKE FUNKCIJE I I.1.

TRIGONOMETRIJSKE FUNKCIJE I I.1. TRIGONOMETRIJSKE FUNKCIJE I I Odredi na brojevnoj trigonometrijskoj kružnici točku Et, za koju je sin t =,cost < 0 Za koje realne brojeve a postoji realan broj takav da je sin = a? Izračunaj: sin π tg

Διαβάστε περισσότερα

3n an = 4n3/2 +2n+ n 5n 3/2 +5n+2 n a 2 n = n 2. ( 2) n Dodatak. = 0, lim n! 2n 6n + 1

3n an = 4n3/2 +2n+ n 5n 3/2 +5n+2 n a 2 n = n 2. ( 2) n Dodatak. = 0, lim n! 2n 6n + 1 Nizovi 5 a = 5 +3+ + 6 a = 3 00 + 00 3 +5 7 a = +)+) ) 3 3 8 a = 3 +3+ + +3 9 a = 3 5 0 a = 43/ ++ 5 3/ +5+ a = + + a = + ) 3 a = + + + 4 a = 3 3 + 3 ) 5 a = +++ 6 a = + ++ 3 a = +)!++)! +3)! a = ) +3

Διαβάστε περισσότερα

OBLAST DEFINISANOSTI FUNKCIJE (DOMEN) Pre nego što krenete sa proučavanjem ovog fajla, obavezno pogledajte fajl ELEMENTARNE FUNKCIJE, jer se na

OBLAST DEFINISANOSTI FUNKCIJE (DOMEN) Pre nego što krenete sa proučavanjem ovog fajla, obavezno pogledajte fajl ELEMENTARNE FUNKCIJE, jer se na OBLAST DEFINISANOSTI FUNKCIJE (DOMEN) Prva tačka u ispitivanju toka unkcije je odredjivanje oblasti deinisanosti, u oznaci Pre nego što krenete sa proučavanjem ovog ajla, obavezno pogledajte ajl ELEMENTARNE

Διαβάστε περισσότερα

ISKAZI. U svakodnevnom govoru, a i u pisanom tekstu, obično se sreću rečenice koje su ili tačne

ISKAZI. U svakodnevnom govoru, a i u pisanom tekstu, obično se sreću rečenice koje su ili tačne ISKAZI U svakodnevnom govoru, a i u pisanom tekstu, obično se sreću rečenice koje su ili tačne ili netačne, tj rečenice koje imaju logičkog smisla.ovakve rečenice se u matematici nazivaju iskazi.dakle,

Διαβάστε περισσότερα

KONVEKSNI SKUPOVI. Definicije: potprostor, afin skup, konveksan skup, konveksan konus. 1/5. Back FullScr

KONVEKSNI SKUPOVI. Definicije: potprostor, afin skup, konveksan skup, konveksan konus. 1/5. Back FullScr KONVEKSNI SKUPOVI Definicije: potprostor, afin skup, konveksan skup, konveksan konus. 1/5 KONVEKSNI SKUPOVI Definicije: potprostor, afin skup, konveksan skup, konveksan konus. 1/5 1. Neka su x, y R n,

Διαβάστε περισσότερα

Neka su A i B skupovi. Kažemo da je A podskup od B i pišemo A B ako je svaki element skupa A ujedno i element skupa B. Simbolima to zapisujemo:

Neka su A i B skupovi. Kažemo da je A podskup od B i pišemo A B ako je svaki element skupa A ujedno i element skupa B. Simbolima to zapisujemo: 2 Skupovi Neka su A i B skupovi. Kažemo da je A podskup od B i pišemo A B ako je svaki element skupa A ujedno i element skupa B. Simbolima to zapisujemo: A B def ( x)(x A x B) Kažemo da su skupovi A i

Διαβάστε περισσότερα

5 Sistemi linearnih jednačina. a 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.

5 Sistemi linearnih jednačina. a 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2. 5 Sistemi linearnih jednačina 47 5 Sistemi linearnih jednačina U opštem slučaju, pod sistemom linearnih jednačina podrazumevamo sistem od m jednačina sa n nepoznatih x 1 + a 12 x 2 + + a 1n x n = b 1 a

Διαβάστε περισσότερα

Norme vektora i matrica

Norme vektora i matrica 2 Norme vektora i matrica Pojam norme u vektorskim prostorima se najčešće povezuje sa određenom merom veličine elemenata tog prostora. Tako je u prostoru realnih brojeva R, norma elementa x R najčešće

Διαβάστε περισσότερα

Teorija skupova. Matko Males Split. lipanj 2003.

Teorija skupova. Matko Males Split. lipanj 2003. Teorija skupova Matko Males Split lipanj 2003. 2 O pojmu skupa A, B, C,... oznake za skupove a, b, c,... oznake za elemente skupa a A, a / A Skup je posve odredjen svojim elementima, tj u potpunosti je

Διαβάστε περισσότερα

1. Funkcije više promenljivih

1. Funkcije više promenljivih 1. Funkcije više promenljivih 1. Granične vrednosti funkcija više promenljivih Definicija 1. Funkcija f : D( R n R ima graničnu vrednost u tački (x 0 1, x 0 2,..., x 0 n D i jednaka je broju α R ako važi

Διαβάστε περισσότερα

DELJIVOST CELIH BROJEVA

DELJIVOST CELIH BROJEVA DELJIVOST CELIH BROJEVA 1 Osnovne osobine Definicija 1.1 Nea su a 0 i b celi brojevi. Ao postoji ceo broj m taav da je b = ma, onda ažemo da je a delitelj ili fator broja b, b je sadržalac, višeratni ili

Διαβάστε περισσότερα

1.1 Iskazni (propozicioni) račun

1.1 Iskazni (propozicioni) račun 1 Osnovi matematičke logike i teorije skupova 3 1 Osnovi matematičke logike i teorije skupova 1.1 Iskazni (propozicioni) račun Osnovni elementi iskaznog računa su iskazi (rečenice) i veznici. Iskaz ili

Διαβάστε περισσότερα