Matematička logika. novembar 2012

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Matematička logika. novembar 2012"

Transcript

1 Predikatska logika 1 Matematička logika Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad, Serbia novembar 2012

2 1 različiti nazivi: predikatska logika, logika prvog reda, kvantifikatorski račun odnos sa iskaznom logikom? jedna ili više? - razlikuju se u skupu nelogičkih simbola Logički simboli (uvek!): skup promenljivih je proizvoljan neprazan skup simbola X, konačan ili prebrojiv Najčešće se uzima da je X = {x 1, x 2,, x n, } simboli logičkih veznika:,,,,,,, pomoćni simboli: (, ) Nelogički simboli (za svaku logiku specifično): L je disjunktna unija sledeća tri skupa: C, skup simbola konstanti, R, skup relacijskih simbola, F, skup funkcijskih (operacijskih) simbola

3 2 Svakom nelogičkom simbolu s je dodeljen prirodan broj ar(s), tzv arnost (ili dužina) tog simbola, tako da svi simboli konstanti imaju arnost 0, a svi relacijski i funkcijski simboli neku pozitivnu arnost Ako je n neki prirodan broj, sa R n (odnosno F n ) obeležavamo sve relacijske (odnosno funkcijske) simbole arnosti n Jezik predikatske logike (ili jezik prvog reda) jeste skup formula na datoj azbuci jezik je u principu potpuno odredjen kada se definiše skup promenljivih X i skup nelogičkih simbola L, zajedno sa funkcijom arnosti ar Primer u daljem tekstu: L = C R F je neki jezik prvog reda sa skupom promenljivih X, gde je

4 3 Sve promenljive su termi tj X Term L (X), Svi simboli konstanti su termi tj C Term L (X), Ako je f F n i t 1, t 2,, t n Term L (X) onda f (t 1, t 2,, t n ) Term L (X) 1 Ako je jezik prvog reda L jasan iz konteksta, onda umesto Term L (X) pišemo Term(X) 2 Ako su v 1, v 2,, v n neke promenljive i t Term L (X), onda oznaka t = t(v 1, v 2,, v n ) znači da su sve promenljive terma t u skupu {v 1, v 2,, v n } 3 Ako je f F 2, onda je f binaran funkcijski simbol, i umesto f (t 1, t 2 ) pišemo t 1 ft 2

5 4 Neka je L = C R F neki jezik prvog reda sa skupom promenljivih X Elementarne formule su izrazi oblika ρ(t 1, t 2,, t n ), gde je ρ R n i t 1, t 2,, t n Term L (X) DOGOVOR: Ako je ρ R 2, možemo koristiti infiksnu notaciju t 1 ρt 2 umesto ρ(t 1, t 2 ) Neka je L = C R F neki jezik prvog reda sa skupom promenljivih X Skup formula Form L (X) je najmanji skup koji zadovoljava sledeće uslove: Svaka elementarna formula pripada skupu Form L (X), Ako su A i B formule, i x X, tada su formule i sledeći izrazi: (A B), (A B), (A B), (A B), ( A), ( x)a, ( x)a

6 5 Dogovori: Ako je jezik prvog reda L jasan iz konteksta, onda umesto Form L (X) pišemo Form(X); Dogovori o brisanju spoljnih zagrada i o prioritetu logičkih veznika; kvantifikatori imaju najveći prioritet 1 Izraze ( x) i ( x) zovemo redom univerzalni odnosno egzistencijalni kvantifikator, sa promenljivom x 2 U formulama ( x)a i ( x)a oblast dejstva kvantifikatora ( x) odnosno ( x) je formula A 3 Pojavljivanje promenljive x u nekoj formuli je vezano ako je to pojavljivanje u oblasti dejstva kvantifikatora ( x) ili ( x) U suprotnom, to pojavljivanje x-a je slobodno 4 Promenljiva x je slobodna u formuli A ako ima bar jedno slobodno pojavljivanje u formuli A Za formule koje nemaju slobodnih promenljivih kažemo da su zatvorene

7 1 neke logike je odredjena kada se definišu strukture (tzv modeli) u kojima se interpretiraju formule date logike, kao i tzv relacija zadovoljenja = izmedju modela i formula Neka je L = C R F neki jezik prvog reda Model jezika L je uredjena dvojka M = M, I, gde je M neprazan skup (tzv nosač modela), a I preslikavanje (interpretacija), sa domenom L, tako da zadovoljava sledeće: ako je c C, onda je I(c) M, ako je ρ R n, onda je I(ρ) M n, ako je f F n, onda je I(f ) : M n M Ako je s L, onda I(s) zovemo interpretacija simbola s u modelu M

8 2 DOGOVORI: 1 Ako je M = M, I neki model jezika L a s neki simbol jezika L, onda interpretaciju tog simbola u modelu M umesto sa I(s) često obeležavamo sa s M 2 U praksi, kada zadajemo model, umesto celog preslikavanja I (interpretacije) često pišemo samo niz slika tj interpretacije simbola jezika L 3 Pored slova, kao simbole binarnih relacija koristimo oznake kao što su =,, =,,, 4 U praksi često koristimo istu oznaku za simbol jezika i njegovu interpretaciju

9 3 Neka je L = C R F neki jezik prvog reda, X neki skup promenljivih, M = M, I neki model jezika L Valuacija modela M je svako preslikavanje τ : X M Vrednost terma t u modelu M za valuaciju τ, u oznaci t M [τ], definišemo indukcijom po složenosti terma t: ako je t = x, gde je x X, onda je t M [τ] = τ(x), ako je t = c, gde je c C, onda je t M [τ] = c M, ako je t = f (t 1, t 2,, t n ), gde je f F n, t 1, t 2,, t n Term L (X), onda je Primer t M [τ] = f M (t M 1 [τ], t M 2 [τ],, t M n [τ])

10 4 Kao što nam kaže intuicija, vrednost terma ne zavisi od vrednosti onih promenljivih koje ne učestvuju u datom termu, što ćemo i dokazati u sledećoj teoremi: Teorema Neka je L = C R F neki jezik prvog reda, X neki skup promenljivih, M = M, I neki model jezika L, a τ 1 i τ 2 dve valuacije modela M tako da je τ 1 (x) = τ 2 (x) za sve one promenljive x X koje učestvuju u termu t Tada je t M [τ 1 ] = t M [τ 2 ] OZNAKA: Neka je τ : X M neka valuacija modela M, x X, i a M Sa τ(a/x) ćemo obeležavati valuaciju koja se od τ razlikuje eventualno za promenljivu x, za koju ima vrednost a, tj τ(a/x)(x) = a, a za sve y X takve da je y x važi τ(a/x)(y) = τ(y)

11 5 Neka je L = C R F jezik prvog reda, X skup promenljivih, M = M, I model jezika L, a τ : X M neka valuacija modela M Relaciju = τ definišemo ovako: ako je ρ(t 1, t 2,, t n ) neka elementarna formula onda M = τ ρ(t 1, t 2,, t n ) akko važi ρ M (t M 1 [τ], t M 2 [τ],, t M n [τ]) ako su A i B neke formule, onda M = τ A B akko M = τ A i M = τ B, M = τ A B akko M = τ A ili M = τ B, M = τ A akko nije M = τ A ako je A neka formula, x X onda M = τ ( x)a akko za sve a M važi M = τ(a/x) A, M = τ ( x)a akko postoji a M tako da je M = τ(a/x) A

12 6 Važenje formule A u nekom modelu za datu valuaciju zavisi samo od vrednosti onih promenljivih koje su slobodne u formuli A: Teorema Neka je L = C R F neki jezik prvog reda, X neki skup promenljivih, M = M, I neki model jezika L, a τ 1 i τ 2 dve valuacije modela M tako da je τ 1 (x) = τ 2 (x) za sve one promenljive x X koje su slobodne u formuli A Tada je M = τ1 A akko M = τ1 A Prema tome, za zatvorene formule A imamo da će one važiti na nekom modelu za neku valuaciju akko važe za svaku valuaciju

13 7 Neka je L = C R F neki jezik prvog reda, X neki skup promenljivih, M = M, I neki model jezika L, i A neka formula na jeziku L Kažemo da formula A važi na modelu M, u oznaci M = A, ako je M = τ A za sve valuacije τ : X M Kažemo da je formula A valjana, u oznaci = A, ako za sve modele M jezika L važi M = A Neka je Σ Form L (X) Kažemo da je formula A semantička posledica skupa formula Σ, u oznaci Σ = A, ako za sve modele M tipa L važi ako M = Σ onda M = A

14 8 Neka je L = C R F neki jezik prvog reda, X neki skup promenljivih Ako je K neka klasa modela jezika L, A Form L (X), Σ Form L (X), M neki modela jezika L, onda K = A akko za sve M K važi M = A M = Σ akko za sve A Σ važi M = A K = Σ akko za sve A Σ važi K = A Th X (K) = {A Form L (X) : K = A} Mod(Σ) = {M Mod L : M = Σ}, gde smo sa Mod L obeležili klasu svih modela jezika L

15 9 Teorema Neka je L = C R F neki jezik prvog reda, X neki skup promenljivih, Σ 1, Σ 2, Σ Form L (X), K 1, K 2, K Mod L Tada važi: Ako je Σ 1 Σ 2 onda Mod(Σ 2 ) Mod(Σ 1 ) Ako je K 1 K 2 onda Th(K 2 ) Th(K 1 ) Σ Th(Mod(Σ)) K Mod(Th(K)) Mod(Th(Mod(Σ))) = Mod(Σ) Th(Mod(Th(K))) = Th(K)

16 Valjane formule 1 Formula A je valjana, u oznaci = A, ako važi u svakom modelu M (odgovarajućeg jezika L), tj M = A Neka su A, B 1, B 2,, B n predikatske formule na nekom jeziku L Za formulu A kažemo da je izvod iz tautologije C(p 1, p 2,, p n ) ako se formula A dobija kao rezultat zamene iskaznih slova p i sa formulom B i (i = 1, 2, n) u formuli C Teorema Ṣvaka predikatska formula koja je izvod iz tautologije jeste valjana Naravno, nisu sve valjane formule izvodi iz tautologija: recimo ( y)( x)a ( x)( y)a

17 Valjane formule 2 Teorema (Negacija kvantifikatora) 1 ( x)a ( x) A Negacija kvantifikatora 2 ( x)a ( x) A Negacija kvantifikatora Teorema (Veza kvantifikatora sa konjunkcijom i disjunkcijom) 1 ( x)(a B) ( x)a ( x)b se slaže sa 2 ( x)(a B) ( x)a ( x)b se slaže sa 3 ( x)a ( x)b ( x)(a B) Veza i 4 ( x)(a B) ( x)a ( x)b Veza i

18 Valjane formule 3 Teorema (Izvlačenje kvantifikatora, konjunkcija i disjunkcija) Neka promenljiva x nije slobodna u formuli B Tada: 1 ( x)a B ( x)(a B) izvlačenje i veznik 2 ( x)a B ( x)(a B) izvlačenje i veznik 3 ( x)a B ( x)(a B) izvlačenje i veznik 4 ( x)a B ( x)(a B) izvlačenje i veznik Teorema (Izvlačenje kvantifikatora i implikacija) Neka promenljiva x nije slobodna u formuli A Tada: 1 (A ( x)b) ( x)(a B) 2 (A ( x)b) ( x)(a B) 3 (( x)b A) ( x)(b A) 4 (( x)b A) ( x)(b A)

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

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

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

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

8 Predikatski račun kao deduktivni sistem

8 Predikatski račun kao deduktivni sistem 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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

Apsolutno neprekidne raspodele Raspodele apsolutno neprekidnih sluqajnih promenljivih nazivaju se apsolutno neprekidnim raspodelama.

Apsolutno neprekidne raspodele Raspodele apsolutno neprekidnih sluqajnih promenljivih nazivaju se apsolutno neprekidnim raspodelama. Apsolutno neprekidne raspodele Raspodele apsolutno neprekidnih sluqajnih promenljivih nazivaju se apsolutno neprekidnim raspodelama. a b Verovatno a da sluqajna promenljiva X uzima vrednost iz intervala

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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.

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

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 {ω/

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

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

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

Zadaci iz trigonometrije za seminar

Zadaci iz trigonometrije za seminar Zadaci iz trigonometrije za seminar FON: 1. Vrednost izraza sin 1 cos 6 jednaka je: ; B) 1 ; V) 1 1 + 1 ; G) ; D). 16. Broj rexea jednaqine sin x cos x + cos x = sin x + sin x na intervalu π ), π je: ;

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

KURS IZ MATEMATIKE I

KURS IZ MATEMATIKE I UČITELJSKI FAKULTET U SOMBORU dr Aleksandar Petojević KURS IZ MATEMATIKE I TEORIJA I REŠENI ZADACI Sombor, 2003. Glava 1 Matematička logika 1.1 Teorija Definicija 1. Iskazi su one rečenice o kojima ima

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

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

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

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

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

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

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

Algebarske strukture

Algebarske strukture i operacije Univerzitet u Nišu Prirodno Matematički Fakultet februar 2010 Istraživačka stanica Petnica i operacije Operacije Šta je to algebra i apstraktna algebra? Šta je to algebarska struktura? Cemu

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

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

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

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.

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

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.

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

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

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

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

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

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

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

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}

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

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

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

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

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

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

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

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

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

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

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

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 δ

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

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

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

9. GRANIČNA VRIJEDNOST I NEPREKIDNOST FUNKCIJE GRANIČNA VRIJEDNOST ILI LIMES FUNKCIJE

9. GRANIČNA VRIJEDNOST I NEPREKIDNOST FUNKCIJE GRANIČNA VRIJEDNOST ILI LIMES FUNKCIJE Geodetski akultet, dr sc J Beban-Brkić Predavanja iz Matematike 9 GRANIČNA VRIJEDNOST I NEPREKIDNOST FUNKCIJE GRANIČNA VRIJEDNOST ILI LIMES FUNKCIJE Granična vrijednost unkcije kad + = = Primjer:, D( )

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

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:

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

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

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

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

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

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

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

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)

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

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

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

LEKCIJE IZ DISKRETNE MATEMATIKE

LEKCIJE IZ DISKRETNE MATEMATIKE LEKCIJE IZ DISKRETNE MATEMATIKE Igor Ž. Milovanović Ružica M. Stanković Emina I. Milovanović Branislav M. Randjelović Sadržaj 1 Elementi matematičke logike 5 1.1 Iskaz i predikat.............................

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

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

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

Prvi pismeni zadatak iz Analize sa algebrom novembar Ispitati znak funkcije f(x) = tgx x x3. 2. Naći graničnu vrednost lim x a

Prvi pismeni zadatak iz Analize sa algebrom novembar Ispitati znak funkcije f(x) = tgx x x3. 2. Naći graničnu vrednost lim x a Testovi iz Analize sa algebrom 4 septembar - oktobar 009 Ponavljanje izvoda iz razreda (f(x) = x x ) Ispitivanje uslova Rolove teoreme Ispitivanje granične vrednosti f-je pomoću Lopitalovog pravila 4 Razvoj

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

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,

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

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,

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

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

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

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

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

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

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

Funkcija gustoće neprekidne slučajne varijable ima dva bitna svojstva: 1. Nenegativnost: f(x) 0, x R, 2. Normiranost: f(x)dx = 1.

Funkcija gustoće neprekidne slučajne varijable ima dva bitna svojstva: 1. Nenegativnost: f(x) 0, x R, 2. Normiranost: f(x)dx = 1. σ-algebra skupova Definicija : Neka je Ω neprazan skup i F P(Ω). Familija skupova F je σ-algebra skupova na Ω ako vrijedi:. F, 2. A F A C F, 3. A n, n N} F n N A n F. Borelova σ-algebra Definicija 2: Neka

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

(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

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

Matematička logika i izračunljivost

Matematička logika i izračunljivost Sveučilište u Zagrebu PMF Matematički odsjek Mladen Vuković Matematička logika i izračunljivost predavanja i vježbe Zagreb, rujan, 2016. Sadržaj Predgovor v 1 Prvo predavanje Uvod i logika sudova 1 1.1

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

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

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

ANALIZA SA ALGEBROM I razred MATEMATI^KA LOGIKA I TEORIJA SKUPOVA. p q r F

ANALIZA SA ALGEBROM I razred MATEMATI^KA LOGIKA I TEORIJA SKUPOVA. p q r F ANALIZA SA ALGEBROM I razred MATEMATI^KA LOGIKA I TEORIJA SKUPOVA. Istinitosna tablica p q r F odgovara formuli A) q p r p r). B) q p r p r). V) q p r p r). G) q p r p r). D) q p r p r). N) Ne znam. Date

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

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,

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

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

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

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

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

DISKRETNA MATEMATIKA

DISKRETNA MATEMATIKA Univerzitet singidunum Ivana Kovačević DISKRETNA MATEMATIKA SA ZBIRKOM ZADATAKA Treće izmenjeno i dopunjeno izdanje Beograd, 013. DISKRETNA MATEMATIKA SA ZBIRKOM ZADATAKA Autor: dr Ivana Kovačević Recezenti:

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

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

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

2.2 Srednje vrijednosti. aritmetička sredina, medijan, mod. Podaci (realizacije varijable X): x 1,x 2,...,x n (1)

2.2 Srednje vrijednosti. aritmetička sredina, medijan, mod. Podaci (realizacije varijable X): x 1,x 2,...,x n (1) 2.2 Srednje vrijednosti aritmetička sredina, medijan, mod Podaci (realizacije varijable X): x 1,x 2,...,x n (1) 1 2.2.1 Aritmetička sredina X je numerička varijabla. Aritmetička sredina od (1) je broj:

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

Matematka 1 Zadaci za drugi kolokvijum

Matematka 1 Zadaci za drugi kolokvijum Matematka Zadaci za drugi kolokvijum 8 Limesi funkcija i neprekidnost 8.. Dokazati po definiciji + + = + = ( ) = + ln( ) = + 8.. Odrediti levi i desni es funkcije u datoj tački f() = sgn, = g() =, = h()

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

Matematiqki fakultet. Univerzitet u Beogradu. Domai zadatak

Matematiqki fakultet. Univerzitet u Beogradu. Domai zadatak Matematiqki fakultet Univerzitet u Beogradu Domai zadatak Zlatko Lazovi 30. decembar 2016. verzija 1.1 Sadraj 1 METRIQKI PROSTORI 2 1 1 METRIQKI PROSTORI a) Neka je (M, d) metriqki prostor i neka je (x

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

Arhitektura računara

Arhitektura računara Arhitektura računara vežbe - čas 1 i 2: Minimizacija logičkih funkcija Mladen Nikolić URL: http://www.matf.bg.ac.yu/~nikolic e-mail: nikolic@matf.bg.ac.yu 1 Bulova algebra Klod Šenon je 1938. uočio da

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

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

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

Matematika 1 { fiziqka hemija

Matematika 1 { fiziqka hemija UNIVERZITET U BEOGRADU MATEMATIQKI FAKULTET Matematika 1 { fiziqka hemija Vektori Tijana Xukilovi 29. oktobar 2015 Definicija vektora Definicija 1.1 Vektor je klasa ekvivalencije usmerenih dui koje imaju

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

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 +

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

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

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

Č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

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

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

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

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

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

Moguća i virtuelna pomjeranja

Moguća i virtuelna pomjeranja Dnamka sstema sa vezama Moguća vrtuelna pomjeranja f k ( r 1,..., r N, t) = 0 (k = 1, 2,..., K ) df k dt = r + t = 0 d r = r dt moguća pomjeranja zadovoljavaju uvjet: df k = d r + dt = 0. t δ r = δx +

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

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

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

ELEMENTARNA MATEMATIKA 2

ELEMENTARNA MATEMATIKA 2 ELEMENTARNA MATEMATIKA 1. Osnovni pojmovi o funkcijama 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

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

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

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

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

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

Veleučilište u Rijeci Stručni studij sigurnosti na radu Akad. god. 2011/2012. Matematika. Monotonost i ekstremi. Katica Jurasić. Rijeka, 2011.

Veleučilište u Rijeci Stručni studij sigurnosti na radu Akad. god. 2011/2012. Matematika. Monotonost i ekstremi. Katica Jurasić. Rijeka, 2011. Veleučilište u Rijeci Stručni studij sigurnosti na radu Akad. god. 2011/2012. Matematika Monotonost i ekstremi Katica Jurasić Rijeka, 2011. Ishodi učenja - predavanja Na kraju ovog predavanja moći ćete:,

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

( x) ( ) ( ) ( x) ( ) ( x) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )

( x) ( ) ( ) ( x) ( ) ( x) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) Zadatak 08 (Vedrana, maturantica) Je li unkcija () = cos (sin ) sin (cos ) parna ili neparna? Rješenje 08 Funkciju = () deiniranu u simetričnom području a a nazivamo: parnom, ako je ( ) = () neparnom,

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