Diskretna matematika. Prof. dr Olivera Nikolić

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Diskretna matematika. Prof. dr Olivera Nikolić"

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.

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)

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

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

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

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,

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

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

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

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

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

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:

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

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

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

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

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

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.

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

1. zadatak , 3 Dakle, sva kompleksna re{ewa date jedna~ine su x 1 = x 2 = 1 (dvostruko re{ewe), x 3 = 1 + i

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;

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

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

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

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

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

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

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

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

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

Funkcije. Predstavljanje funkcija

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

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

[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

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

Elementi matematičke logike

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

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

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

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

5. Karakteristične funkcije

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

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

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.

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

Matematička logika. Madarász Sz. Rozália. Departman za matematiku i informatiku Prirodno-matematički fakultet Univerzitet u Novom Sadu

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

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

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

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

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

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

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

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

Č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

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

O SKUPOVIMA. Do pojma skupa može se vrlo lako doći empirijskim putem, posmatrajući razne grupe,

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

Matematika (PITUP) Prof.dr.sc. Blaženka Divjak. Matematika (PITUP) FOI, Varaždin

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

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

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,

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

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

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

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

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

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

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

DISKRETNA MATEMATIKA

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

ZBIRKA ZADATAKA IZ TEORIJE SKUPOVA

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

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

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

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

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.

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

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

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

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

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

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

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

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}

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

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

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

KONAČNA MATEMATIKA Egzistencija kombinatornih konfiguracija Dirichlet-ov i Ramseyev teorem

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

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

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

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

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

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

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

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

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

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

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

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

1. Dušan Adnad ević i Zoran Kadelburg, Matematička analiza I, Naučna knjiga, Beograd, 1990.

1. Dušan Adnad ević i Zoran Kadelburg, Matematička analiza I, Naučna knjiga, Beograd, 1990. PREDGOVOR Predavanja su namenjena studentima koji polažu ispit iz predmeta Matematička analiza. Materijal je u nastajanju, iz nedelje u nedelju se dodaju novi sadržaji, moguće su i izmene u prethodno unešenom

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

Matematička analiza 1 dodatni zadaci

Matematička analiza 1 dodatni zadaci Matematička analiza 1 dodatni zadaci 1. Ispitajte je li funkcija f() := 4 4 5 injekcija na intervalu I, te ako jest odredite joj sliku i inverz, ako je (a) I = [, 3), (b) I = [1, ], (c) I = ( 1, 0].. Neka

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

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

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

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,

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

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

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

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,

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

Linearna uređenja i GO prostori

Linearna uređenja i GO prostori UNIVERZITET U NOVOM SADU PRIRODNO-MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Milijana Milovanović Linearna uređenja i GO prostori -Master rad- Mentor: dr Aleksandar Pavlović Novi Sad, 2015.

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

UDŽBENICI UNIVERZITETA U BIHAĆU MANUALIA UNIVERSITATIS STUDIORUM BIHIGIENSIS. Bernadin Ibrahimpašić ELEMENTARNA MATEMATIKA. Bihać, 2014.

UDŽBENICI UNIVERZITETA U BIHAĆU MANUALIA UNIVERSITATIS STUDIORUM BIHIGIENSIS. Bernadin Ibrahimpašić ELEMENTARNA MATEMATIKA. Bihać, 2014. UDŽBENICI UNIVERZITETA U BIHAĆU MANUALIA UNIVERSITATIS STUDIORUM BIHIGIENSIS Bernadin Ibrahimpašić ELEMENTARNA MATEMATIKA Bihać, 014. c prof. dr. sc. Bernadin Ibrahimpašić ELEMENTARNA MATEMATIKA Recenzenti

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

Pismeni ispit iz matematike GRUPA A 1. Napisati u trigonometrijskom i eksponencijalnom obliku kompleksni broj, zatim naći 4 z.

Pismeni ispit iz matematike GRUPA A 1. Napisati u trigonometrijskom i eksponencijalnom obliku kompleksni broj, zatim naći 4 z. Pismeni ispit iz matematike 06 007 Napisati u trigonometrijskom i eksponencijalnom obliku kompleksni broj z = + i, zatim naći z Ispitati funkciju i nacrtati grafik : = ( ) y e + 6 Izračunati integral:

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

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

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

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

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

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

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

1. Topologija na euklidskom prostoru R n

1. Topologija na euklidskom prostoru R n 1 1. Topologija na euklidskom prostoru R n Euklidski prostor R n je okruženje u kojem ćemo izučavati realnu analizu. Kao skup R n se sastoji od svih uredenih n-torki realnih brojeva: R n = {(x 1,...,x

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

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

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

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

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

Teorema Kantor - Bendiksona i njene primene

Teorema Kantor - Bendiksona i njene primene UNIVERZITET U NOVOM SADU PRIRODNO-MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Anika Njamcul Teorema Kantor - Bendiksona i njene primene Master rad Mentor: dr. Aleksandar Pavlović Novi Sad,

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

Diferencijabilnost funkcije više promenljivih

Diferencijabilnost funkcije više promenljivih Matematiči faultet Beograd novembar 005 godine Diferencijabilnost funcije više promenljivih 1 Osnovne definicije i teoreme, primeri Diferencijabilnost je jedan od centralnih pojmova u matematičoj analizi

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

Metrički prostori i Riman-Stiltjesov integral

Metrički prostori i Riman-Stiltjesov integral Metrički prostori i Riman-Stiltjesov integral Dragan S. Djordjević Niš, 2009. 0 Sadržaj Predgovor 3 1 Metrički prostori 5 1.1 Primeri metričkih prostora................. 5 1.2 Konvergencija nizova i osobine

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

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

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

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

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

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

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

RIJEŠENI ZADACI I TEORIJA IZ

RIJEŠENI ZADACI I TEORIJA IZ RIJEŠENI ZADACI I TEORIJA IZ LIMES NIZOVA LIMES MONOTONIH NIZOVA GEOMETRIJSKOG REDA LIMES FUNKCIJA 1 2.4. LIMES NIZA I TEOREMI O LIMESIMA 2.4.1. Definicija limesa i konvergentnog niza 2.4.1.1 Riješeni

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

1. Skupovi Algebra skupova

1. Skupovi Algebra skupova 1. Skupovi 1.1. Algebra skupova Temeljne definicije i oznake. Pod pojmom skupa razumijevamo bilo koju množinu elemenata. Npr.: (a) skup svih prirodnih brojeva N = {1, 2, 3,...} ; (b) skup svih cijelih

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

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

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

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

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

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

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

Skupovi brojeva Materijali za nastavu iz Matematike 1

Skupovi brojeva Materijali za nastavu iz Matematike 1 Skupovi brojeva Materijali za nastavu iz Matematike 1 Kristina Krulić Himmelreich i Ksenija Smoljak 2012/13 1 / 32 Podsjetnik teorije skupova Operacije sa skupovima: A B = {x : x A x B} A B = {x : x A

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

Arhitektura računara. vežbe - čas 1 i 2: Minimizacija logičkih funkcija

Arhitektura računara. vežbe - čas 1 i 2: Minimizacija logičkih funkcija Arhitektura računara vežbe - čas 1 i 2: Minimizacija logičkih funkcija 1 Bulova algebra Klod Šenon je 1938. uočio da se Bulova algebra može koristiti u rešavanju problema digitalne elektronike. Bulova

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

Predavanje 7. Napredna poglavlja teorije skupova; Booleove algebre višeg reda; Digitalne i analogne veličine. Dinko Osmanković

Predavanje 7. Napredna poglavlja teorije skupova; Booleove algebre višeg reda; Digitalne i analogne veličine. Dinko Osmanković Predavanje 7 Napredna poglavlja teorije skupova; Booleove algebre višeg reda; Digitalne i analogne veličine Dinko Osmanković Kurs: Matematička logika i teorija izračunljivosti Sadržaj predavanja 1 Prirodni

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