Diskretna matematika. Prof. dr Olivera Nikolić
|
|
- Αιθήρ Μελετόπουλος
- 6 χρόνια πριν
- Προβολές:
Transcript
1 Diskretna matematika Prof. dr Olivera Nikolić 1
2 OSNOVNI POJMOVI MATEMATIČKE LOGIKE 2
3 1. Diskretna matematika 2. Kontinualna matematika 3
4 Pojam diskretne matematike Diskretna matematika je deo matematike koji se bavi proučavanjem diskretnih skupova. Sinteza: 1. matematičke logike, 2. teorije skupova, 3. opšte algebre, 4. kombinatorike, 5. diskretne verovatnoće, 6. teorije grafova, 7. teorije kodova, 8. algoritamske strukture 4
5 Jezik matematike sadrži: Konstante Promenljive Operacije: 1. algebarske 2. logičke 3. skupovne Relacije Specijalne znake 5
6 Konstante i promenljive KONSTANTE π ( 3, ) ''Pi'' je Arhimedova konstanta ili Ludolfov broj e ( 2, ) ''E'' je Napijerova konstanta, osnova prirodnog logaritma 2 ( 1, ) ''kvadratni koren iz 2'' je... PROMENLJI VE xyzabαβ,,,,,,,... i Pitagorina konstanta 6
7 Operacijski znaci i i i i i Algebarske operacije Logičke operacije Skupovne operacije Relacijski znaci Specijalni znaci 7
8 Matematička logika Iskazna logika Predikatska logika 8
9 Iskazna logika Iskaz Logičke operacije Iskazne formule 9
10 Matematička logika - iskazne promenljive - U matematičkoj logici iskaze označavamo slovima p, q, r,... Iskazima mogu se pridružiti istinitosne vrednosti T ili 1 tačno ili 0 netačno 10
11 Osnovne logičke operacije - Konjukcija (i) u oznaci - Disjunkcija (ili) u oznaci - Implikacija (ako-onda) - Ekvivalencija (ako i samo ako) - Negacija (ne) - Istinitosna vrednost 11
12 Konjukcija i Konjunkcija iskaza p i q je iskaz '' p i q'', u oznaci p q. T T T 12
13 Disjunkcija i Disjunkcija iskaza p iqje iskaz '' p ili q '', u oznaci p q. T T T T T 13
14 Implikacija i Implikacija iskaza p i q je iskaz ''ako p onda q'', u oznaci p q T T T T T 14
15 Ekvivalencija i Ekvivalencija iskaza p i q je iskaz '' p ako i samo ako q'', u oznaci p q T T T T 15
16 Negacija Negacija iskaza p je iskaz '' nije p '' u oznaci p, što se izgovara '' ne p''. τ ( p) T τ ( p) T 16
17 Istinitosna tablica realnih logičkih operacija τ ( p) ( q) τ τ ( p q) τ ( p q) ( p q) τ τ ( p) τ ( p q)
18 Istinitosna tablica realnih logičkih operacija 18
19 Iskazne formule Definicija 1: Iskazna slova su simboli: p, q, r, p, q, r,... p, q, r, n n n Definicija 2: 1 Iskazna slova su iskazne formule 2 Ako su A i B iskazne formule, onda su ( A B), ( A B), ( A B), ( A B), A iskazne formule 3 Iskazne formule mogu se obrazovati jedino pomoću konačnog broja primena 1 i 2 ove definicije 19
20 Tautologije Definicija: i Tautologija je iskazna formula koja za sve vrednosti svojih iskaznih slova ima vrednost T i kontradikcija je formula koja uvek ima vrednost 20
21 Primeri: 1) Formula p p je tautologija. 2) Formula p p je kontrapozicija. 21
22 Osnovni logički zakoni 1. Zakon idempotencije p p p p p p 2. Zakon dvojne negacije p ( ) p 3. Komutativnost p q q p, p q q p 22
23 Osnovni logički zakoni 4. Asocijativnost ( ) ( ) ( ) ( ) p q r p q r p q r p q r 5. Distributivnost ( p q) ( p r) p ( q r) ( p q) ( p r) p ( q r) 6. De Morganovi zakoni ( p q) ( p q) ( p q) ( p q) 23
24 Predikatska logika Kvantori Predikatske formule 24
25 Kvantori Definicija 1: i Neodređena zamenica svaki naziva se univerzalni kvantor (kvantifikator, kolikovnik) i označava se sa i Reči: svaki, svi, proizvoljan, ma koji, bilo koji imaju isto značenje 25
26 Primeri: 1) Ako Px ( ) znači da xima svojstvo P, onda x P x ( ) ( ) 2) Za svaki x je x+ 1 > x kraće zapisujemo sa x x+ 1 > x ( )( ) 26
27 Kvantori Definicija 2: i Neodređena zamenica neki naziva se egzistencijalni kvantor (kvantifikator, kolikovnik) i označava se sa i Reči: neki, bar jedan, postoji najmanje jedan, makar jedan imaju isto značenje 27
28 Primeri: 1) Formula x 7x+ 2 = 9 čita se: ( )( ) Neki x zadovoljava uslov 7x+ 2 = 9 ili Postoji x tako da je 7x+ 2 = 9 2) Formula y x x< y čita se: ( )( )( ) Postoji y tako da za svaki x važi uslov x< y 28
29 Aksiome i Aksiome u matematici su izvesne polazne rečenice (formule) koje su dogovorno tačne. i Obično se uzimaju najprostija tvrđenja. 29
30 Primer: a) x+ y = y+ x b) x+ 0 = x c) Kroz tačku A van prave p postoji tačno jedna prava paralelna sa pravom p. Ovo je aksioma euklidske geometrije. 30
31 Pravila izvođenja i Neke rečenice (formule) uzimaju se za pretpostavke i logičkim rasuđivanjem se izvode nove rečenice (formule) i U takvom logičkom zaključivanju se koriste razna pravila zaključ ivanja ili pravila izvođenja 31
32 Primer: x= y a) (Iz x= y proizlazi y = x) y = x a b b) ( a i b su prave) b a 32
33 Dokazi i Dokaz (izvođenje ili dedukcija) je konačan niz formula A, A,..., A 1 2 n ako svaka formula A(1 l n) iz gornjeg niza ispunjava uslov: l a) A je aksioma l b) A l je dobijena iz prethodnih formula po izvesnom pavilu zaključivanja 33
34 Teoreme i Teorema je formula (rečenica) ako postoji bar jedan niz A, A,..., A 1 2 takav da on predstavlja izvođenje. Tada se kaže da je gornji niz izvođenje (dokaz) teoreme m A m 34
35 Primer: Dokazati formulu : (2 x+ y) = 4x + 4xy+ y (2 x+ y) = (2 x+ y)(2 x+ y) (po definiciji kvadrata) = (2 x+ y) 2 x+ (2 x+ y) y (distributivni zakon) = 2 x (2 x+ y) + y (2 x+ y) (komutativni zakon) = 2x 2x+ 2x y+ y 2 x+ y y (distributivni zakon) = 4x + 2xy+ 2xy+ y 2 2 = 4x + 4xy+ y
36 OSNOVNI POJMOVI TEORIJE SKUPOVA 36
37 Pojam skupa Prazan skup Ø Venovi dijagrami A a a A A je podskup skupa B A B A B= { x x A x B} B A A B 37
38 Pojam skupa A i B su jednaki A = B= { x x A x B} Partitivni skup P(A) P( A) = { X X A} 38
39 Operacije sa skupovima Unija skupova A { } AU B= x x A x B B A B Presek skupova A B= { x x A x B } A A B B Disjunktni skupovi A B=, A i B su disjunktni 39
40 Operacije sa skupovima Razlika skupova { } A \ B= x x A x B A A \ B Simetrična razlika skupova B A Δ B= ( A\ B) U( B\ A) Komplement skupa A u odnosu naskup B C A= B\ A B Dekartovim proizvodom skupova A i B naziva se skup {(, ) } A B = a b a A b B 40
41 Kardinalni broj ka predstavlja broj elemenata skupa ako skup A ima isti kardinalni broj kao skup prirodnih brojeva N, onda za skup A kažemo da je prebrojiv. Neprebrojiv cardr=c (kontinum) 41
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
Διαβάστε περισσότερα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)
Διαβάστε περισσότερα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)
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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,
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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,
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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:
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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..............................
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραRačunarska grafika. Rasterizacija linije
Računarska grafika Osnovni inkrementalni algoritam Drugi naziv u literaturi digitalni diferencijalni analizator (DDA) Pretpostavke (privremena ograničenja koja se mogu otkloniti jednostavnim uopštavanjem
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.............................
Διαβάστε περισσότερα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;
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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:
Διαβάστε περισσότεραMATEMATIKA 1 skripta za studente fizike
PDFaid.Com #1 Pdf Solutions MATEMATIKA 1 skripta za studente fizike Nebojša Č. Dinčić, Departman za Matematiku, Prirodno-matematički fakultet, Univerzitet u Nišu, Srbija e-mail: ndincic@hotmail.com Novembar
Διαβάστε περισσότεραMatematička logika i principi programiranja zadaci iz oktobarskog roka Rezultate prikazati u dekadnom i heksadecimalnom sistemu.
Matematička logika i principi programiranja zadaci iz oktobarskog roka 2005 1. Naći zbir i razliku binarnih brojeva: 1000,01 i 110,1 Rezultate prikazati u dekadnom i heksadecimalnom sistemu. Uputstvo:
Διαβάστε περισσότερα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
Διαβάστε περισσότερα1. Pojam fazi skupa. 2. Pojam fazi skupa. 3. Funkcija pripadnosti, osobine i oblici. 4. Funkcija pripadnosti, osobine i oblici
Meko računarstvo Student: Indeks:. Poja fazi skupa. Vrednost fazi funkcije pripadnosti je iz skupa/opsega: a) {0, b) R c) N d) N 0 e) [0, ] f) [-, ] 2. Poja fazi skupa 2. Na slici je prikazan grafik: a)
Διαβάστε περισσότεραν nu ξ xi π pi σ, ς sigma τ tau υ upsilon φ, ϕ phi ψ psi ω omega
Grčka slova α alpha β beta γ gamma δ delta ɛ, ε epsilon ζ zeta η eta θ, ϑ theta ι iota κ kappa λ lambda o o µ mu ν nu ξ xi π pi ρ, ϱ rho σ, ς sigma τ tau υ upsilon φ, ϕ phi ψ psi ω omega Γ Gama Delta Θ
Διαβάστε περισσότερα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
Διαβάστε περισσότεραRačunarska grafika. Rasterizacija linije
Računarska grafika Osnovni inkrementalni algoritam Drugi naziv u literaturi digitalni diferencijalni analizator (DDA) Pretpostavke (privremena ograničenja koja se mogu otkloniti jednostavnim uopštavanjem
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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 {ω/
Διαβάστε περισσότερα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
Διαβάστε περισσότερα[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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότεραElementi matematičke logike
Glava 1 Elementi matematičke logike 1.1 Pojam iskaza Neka je zadan neprazan skup I takav da se za svaki element skupa I može utvrditi da li posjeduje odredeno svojstvo ili ga ne posjeduje. Elementi skupa
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα(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,
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
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
Διαβάστε περισσότερα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 ) =
Διαβάστε περισσότερα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
Διαβάστε περισσότεραO SKUPOVIMA. Do pojma skupa može se vrlo lako doći empirijskim putem, posmatrajući razne grupe,
O SKUPOVIM Do pojma skupa može se vrlo lako doći empirijskim putem, posmatrajući razne grupe, skupine, mnoštva neke vrste objekata, stvari, živih bića i dr. Tako imamo skup stanovnika nekog grada, skup
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραKardinalni brojevi i Lebegova mera
Prirodno-matematički fakultet, Univerzitet u Nišu, Srbija http://wwwpmfniacyu/mii Matematika i informatika 1 (1-2) (2008), 41-50 Kardinalni brojevi i Lebegova mera Dragan S Dor dević U ovom radu prikazujemo
Διαβάστε περισσότερα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,
Διαβάστε περισσότεραMatematika (PITUP) Prof.dr.sc. Blaženka Divjak. Matematika (PITUP) FOI, Varaždin
Matematika (PITUP) FOI, Varaždin Dio III Umijeće postavljanja pravih pitanja i problema u matematici treba vrednovati više nego njihovo rješavanje Georg Cantor Sadržaj Matematika (PITUP) Relacije medu
Διαβάστε περισσότεραČ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
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότεραI N Ž E N J E R S K A M A T E M A T I K A 1
I N Ž E N J E R S K A M A T E M A T I K A 1 P r e d a v a n j a z a p r v u s e d m i c u n a s t a v e (u akademskoj 2009/2010. godini) Lakše je naučiti matematiku nego raditi bez nje. ( B U S E ) G L
Διαβάστε περισσότεραBulove jednačine i metodi za njihovo
Matematički fakultet Univerzitet u Beogradu Bulove jednačine i metodi za njihovo rešavanje Master rad Mentor: Slavko Moconja Student: Nevena Dordević Beograd, 2017. Sadržaj 1 Uvod 2 2 Bulova algebra 3
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραKontrolni zadatak (Tačka, prava, ravan, diedar, poliedar, ortogonalna projekcija), grupa A
Kontrolni zadatak (Tačka, prava, ravan, diedar, poliedar, ortogonalna projekcija), grupa A Ime i prezime: 1. Prikazane su tačke A, B i C i prave a,b i c. Upiši simbole Î, Ï, Ì ili Ë tako da dobijeni iskazi
Διαβάστε περισσότερα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
Διαβάστε περισσότεραDISKRETNA MATEMATIKA
DISKRETNA MATEMATIKA OSNOVE KOMBINATORIKE I TEORIJE GRAFOVA Dragan Stevanović, Miroslav Ćirić Prirodno-matematički fakultet u Nišu Slobodan Simić Matematički institut u Beogradu Vladimir Baltić Ekonomski
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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,
Διαβάστε περισσότεραMATEMATIKA 1 za studente tehničkih smerova. dr Snežana Matić Kekić
1954 1954 MATEMATIKA 1 za studente tehničkih smerova dr Snežana Matić Kekić MATEMATIKA 1 1 dr Snežana Matić-Kekić MATEMATIKA 1 smerovi: Poljoprivredna tehnika, Ured enje, zaštita i korišćenje voda i Agroindustrijsko
Διαβάστε περισσότερα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 ( ).
Διαβάστε περισσότερα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 ).
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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραx n +m = 0. Ovo proširenje ima svoju manu u tome da se odričemo relacije poretka - no ne možemo imati sve...
1 Kompleksni brojevi Kompleksni brojevi Već veoma rano se pokazalo da je skup realnih brojeva preuzak čak i za neke od najosnovnijih jednačina. Primjer toga je x n +m = 0. Pokazat ćemo da postoji logično
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα1 Uvodni pojmovi kombinatorike, I deo
1 Uvodni pojmovi kombinatorike, I deo 1 Uvodni pojmovi kombinatorike, I deo U predavanju se osvrćemo na osnovne principe kombinatorike i njihovu primenu na rešavanje elementarnih kombinatornih problema.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραKONAČNA MATEMATIKA Egzistencija kombinatornih konfiguracija Dirichlet-ov i Ramseyev teorem
Природно-математички факултет, Универзитет у Нишу, Србија http://www.pmf.ni.ac.yu/mii Математика и информатика 1 (3) (2009), 19-24 KONAČNA MATEMATIKA Egzistencija kombinatornih konfiguracija Dirichlet-ov
Διαβάστε περισσότερα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
Διαβάστε περισσότεραIspit održan dana i tačka A ( 3,3, 4 ) x x + 1
Ispit održan dana 9 0 009 Naći sve vrijednosti korjena 4 z ako je ( ) 8 y+ z Data je prava a : = = kroz tačku A i okomita je na pravu a z = + i i tačka A (,, 4 ) Naći jednačinu prave b koja prolazi ( +
Διαβάστε περισσότερα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
Διαβάστε περισσότεραZBIRKA ZADATAKA IZ TEORIJE SKUPOVA
Sveučilište u Zagrebu PMF-Matematički odsjek Franka Miriam Brückler, Vedran Čačić, Marko Doko, Mladen Vuković ZBIRKA ZADATAKA IZ TEORIJE SKUPOVA Zagreb, 2009. Sadržaj 1 Osnovno o skupovima, relacijama
Διαβάστε περισσότεραELEMENTARNA MATEMATIKA 1
Na kolokviju nije dozvoljeno koristiti ni²ta osim pribora za pisanje. Zadatak 1. Ispitajte odnos skupova: C \ (A B) i (A C) (C \ B). Rje²enje: Neka je x C \ (A B). Tada imamo x C i x / A B = (A B) \ (A
Διαβάστε περισσότερα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
Διαβάστε περισσότερα