Osnovno svojstvo iskaza, ma kako složen bio, jeste da je on ili tačan, ili netačan.
|
|
- Νατάσσα Θεοτόκης
- 6 χρόνια πριν
- Προβολές:
Transcript
1
2 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. Iskazna algebra je dvoelementni skup {1, 0}, zajedno sa jednom unarnom operacijom i četiri binarne operacije,, i, koje su definisane sledećim tablicama: Matematička logika 2 Iskazna logika - II deo
3 Iskazna algebra Navedene operacije označavaju se isto kao odgovarajući logički veznici, jer su njima motivisane. Med utim, to nisu isti pojmovi: znak u iskaznoj formuli p q je zamena za veznik i, a oznaka u gornjoj tablici označava operaciju na skupu {1, 0}. Da ponovimo joše jednom, iskazna algebra je ured ena šestorka ({1, 0},,,,, ). Njeni elementi 1 i 0 odgovaraju istinitosnim vrednostima iskaza, kako se definiše u nastavku. Matematička logika 3 Iskazna logika - II deo
4 Potreban broj iskaznih slova Primetimo da svaka iskazna formula može sadržati samo konačno mnogo iskaznih slova. Sa druge strane, broj iskaznih slova koja se javljaju u svim formulama ne može se ograničiti nijednim prirodnim brojem, jer se uvek može napraviti nova formula sa većim brojem iskaznih slova. Dakle, za formiranje svih iskaznih formula nije dovoljan konačan skup iskaznih slova, ali je dovoljan prebrojiv skup iskaznih slova p 1, p 2, p 3,..., p n,... Zato nadalje podrazumevamo da iskaznih slova ima prebrojivo mnogo i da ova lista jeste lista svih iskaznih slova. Matematička logika 4 Iskazna logika - II deo
5 Istinitosna vrednost formule Neka je A iskazna formula. Njena istinitost pre svega zavisi od istinitosti iskaznih slova koja se u njoj javljaju. Zato odred ivanje istinitosne vrednosti formule A mora početi dodeljivanjem izvesnih istinitosnih vrednosti svim iskaznim slovima koja se u njoj javljaju. Potom se te istinitosne vrednosti sa slova prenose na celu formulu. To se može formalizovati na način prikazan u daljem tekstu. Matematička logika 5 Iskazna logika - II deo
6 Valuacija Valuaciju definišemo kako proizvoljnu funkciju v : {p 1, p 2,..., p n,... } {1, 0} iz skupa svih iskaznih slova u skup {1, 0}. Vrednost v(p i ) naziva se istinitosna vrednost iskaznog slova p i. Drugim rečima, valuacija je dodeljivanje istinitosnih vrednosti svim iskaznim slovima, nezavisno od toga što se u konkretnimm formulama koje u datom trenutku razmatramo ne javljaju sva ta slova. Matematička logika 6 Iskazna logika - II deo
7 Interpretacija Kada razmatranje ograničimo na formulu AA, ili konačan skup formula A 1, A 2,..., A n, onda su nam bitne istinitosne vrednosti samo onih slova koja se javljaju u formuli A, odnosno formulama A 1, A 2,..., A n. Zato se, za razliku od valuacije, interpretacija formule A, odnosno formula A 1, A 2,..., A n, definiše se kao funkcija v : {p 1, p 2,..., p k } {1, 0} iz skupa svih iskaznih slova koja se javljaju u formuli A, odnosno u formulama A 1, A 2,..., A n, u skup {1, 0}. Drugim rečima, to je dodeljivanje istinitosnih vrednosti svim iskaznim slovima koja se javljaju u formuli A, odnosno u formulama A 1,..., A n. Matematička logika 7 Iskazna logika - II deo
8 Vrednost formule u valuaciji Neka je v : {p 1, p 2,..., p n,... } {1, 0} proizvoljna valuacija. Kao što smo rekli, valuacija pridružuje istinitosne vrednosti iskaznim slovima. Funkcija v se sa skupa svih iskaznih slova može proširiti i na skup svih iskaznih formula. To se čini induktivnom definicijom, po složenosti formule, koja omogućuje da se istinitosna vrednost formule izvede iz istinitosnih vrednosti slova koja se u njoj javljaju. Matematička logika 8 Iskazna logika - II deo
9 Vrednost formule u valuaciji Naime, vrednost formule A u valuaciji v definiše se na sledeći način: 1. Ako formula A jeste iskazno slovo p, onda je v(a) def = v(p). 2. Ako je A = B i poznata je vrednost v(b), onda je v(a) def = v(b). 3. Ako je A = B C, gde je jedan od logičkih veznika,, i, i poznate su vrednosti v(b) i v(c), onda je v(a) def = v(b) v(c). Matematička logika 9 Iskazna logika - II deo
10 Vrednost formule u valuaciji Dakle, v(b C) = v(b) v(c), v(b C) = v(b) v(c), v(b C) = v(b) v(c), v(b C) = v(b) v(c). Primetimo da su vrednosti na desnoj strani jednakosti iz skupa {1, 0}, a znaci,,, i na desnoj strani predstavljaju operacije u iskaznoj algebri. Istim tim znacima na levoj strani označeni su logički veznici. Matematička logika 10 Iskazna logika - II deo
11 Vrednost formule u valuaciji Uočimo još jednom da vrednost formule zavisi od valuacije u kojoj se posmatra - u različitim valuacijama ona može imati različite vrednosti. Takod e, istinitosna vrednost složenih formula odred uje se tako što se najpre odrede istinitosne vrednosti jednostavnijih formula koje je grade, polazeći od iskaznih slova. Ako u nekoj valuaciji vrednost formule jednaka 1, onda kažemo da je formula tačna u toj valuaciji. Ako je vrednost foremule u toj valuaciji jednaka 0, kažemo da je formula netačna u toj valuaciji. Matematička logika 11 Iskazna logika - II deo
12 Primer interpretacije Posmatrajmo iskaznu formulu p (q r). Iskazna slova koja se u njoj javljaju su p, q i r. Dodelimo im redom vrednosti 1, 0, 0. To je jedna intepretacija date formule. Tada je v(p (q r)) = v(p) (v(q) v(r)) = = 1 (0 0) = = 1 (0 1) = = 1 0 = 0. Dakle, u ovoj interpretaciji ova formula je netačna. Za neke druge vrednosti iskaznih slova p, q i r, tj. za neku drugu interpretaciju, trebalo bi, razume se, ponovo odrediti vrednost formule, i može se desiti da tada formula bude i tačna. Matematička logika 12 Iskazna logika - II deo
13 Istinitosne tablice Da bi se odredile vrednosti formule za sve interpretacije koriste se tablice istinitosti ili istinitosne tablice. Budući da svakoj interpretaciji formule odgovara jedan raspored simbola 1 i 0 po slovima formule, u tablicu se unose svi ti rasporedi. Za svaki raspored odred uju se vrednosti podformula i na kraju vrednost same formule. Ako različitih iskaznih slova u formuli ima n, onda svaki raspored simbola 1 i 0 po slovima jeste jedna ured ena n-torka tih simbola. Svih rasporeda, pa tako i svih interpretacija formule, ima dakle 2 n. Matematička logika 13 Iskazna logika - II deo
14 Istinitosne tablice Vratimo se na formulu p (q r) iz ranijeg primera. Svih interpretacija te formule ima 2 3 = 8, i vrednost formule za svaku od tih interpretacija odred ena je sledećom istinitosnom tablicom: p q r r q r p (q r) Matematička logika 14 Iskazna logika - II deo
15 Istinitosna funkcija Ako je A formula u kojoj učestvuju iskazna slova p 1,..., p n, tada to ističemo pišući A(p 1,..., p n ) umesto A. Ako je (α 1,..., α n ) {1, 0} n proizvoljna n-torka elemenata iz skupa {1, 0}, tada stavljamo A(α 1,..., α n ) def = v(a), gde je v(a) vrednost formule A u interpretaciji (α 1,..., α n ) (odnosno v(p i ) = α i, za svaki i, 1 i n). Dakle, formula A odred uje funkciju f A : {1, 0} n {1, 0}, definisanu sa f A (α 1,..., α n ) def = A(α 1,..., α n ). koje nazivamo istinitosna funkcija formule A. Matematička logika 15 Iskazna logika - II deo
16 Istinitosna funkcija Obratan problem je da se za proizvoljnu funkciju f : {1, 0} n {1, 0} odredi iskazna formula A(p 1,..., p n ), čija bi istinitosna funkcija bila funkcija f, dakle f = f A. Dokazaćemo da takva formula postoji, odnosno da se svaka funkcija f : {1, 0} n {1, 0} (tj. n-arna operacija na skupu {1, 0}) može na poseban način izraziti pomoću operacija, i iskazne algebre. Matematička logika 16 Iskazna logika - II deo
17 Istinitosna funkcija Najpre uvodimo oznaku x α = { x, α = 1 x, α = 0, tj. x1 = x i x 0 = x. Primetimo da važi sledeće: 1 1 = 1, 0 1 = 0, 1 0 = 0, 0 0 = 1. Prema tome, za svaki x {1, 0} važi x α = 1 ako i samo ako je x = α. Matematička logika 17 Iskazna logika - II deo
18 Istinitosna funkcija Tvrd enje 1: Za proizvoljno preslikavanje f : {1, 0} n {1, 0} važi ( ) f(x 1,..., x n ) = 1 x α n (α 1,...,α n ) {1,0} n f(α 1,..., α n ) x α1 Pre nego što pred emo na dokaz, primetimo da se u ovoj jednakosti javljaju isključivo operacije iskazne algebre (a ne iskazni veznici). Na primer, za n = 2, gornja jednakost u razvijenom obliku postaje: n. f(x 1, x 2 ) = (f(1, 1) x 1 1 x1 2 ) (f(1, 0) x1 1 x0 2 ) (f(0, 1) x 0 1 x1 2 ) (f(0, 0) x0 1 x0 2 ), odnosno, f(x 1, x 2 ) = (f(1, 1) x 1 x 2 ) (f(1, 0) x 1 x 2 ) (f(0, 1) x 1 x 2 ) (f(0, 0) x 1 x 2 ). Matematička logika 18 Iskazna logika - II deo
19 Istinitosna funkcija Dokaz: Za proizvoljne b 1,..., b n {1, 0} kao vrednosti promenljivih x 1,..., x n, tim redom, vrednost funkcije f je f(b 1,..., b n ) {1, 0}, a izraz na desnoj strani postaje f(α 1,..., α n ) b α1 1 bα n n. (α 1,...α n ) {1,0} n Uzimajući u obzir da, kako smo ranije primetili, za x {1, 0} važi x α = 1 ako i samo ako je x = α, kao i činjenicu da je konjunkcija tačna ako i samo ako su svi njeni članovi tačni, zaključujemo da je b α 1 1 bα n n = 1 ako i samo ako je α i = b i za sve i. U svim ostalim slučajevima vrednost tog izraza je 0. Matematička logika 19 Iskazna logika - II deo
20 Istinitosna funkcija Na ovaj način dobijamo da gornja disjunkcija postaje 0 (f(b 1,..., b n ) 1) 0 = f(b 1,..., b n ), pa je tvrd enje dokazano. Matematička logika 20 Iskazna logika - II deo
21 Normalna forma funkcije Uzmimo da funkcija f iz Tvrd enja 1. nije jednaka 0 za sve ured ene n-torke iz {1, 0} n, tj. da je u njenoj tablici bar jedna vrednost 1. Ako se tada sa desne strane jednakosti f(x 1,..., x n ) = f(α 1,..., α n ) x α1 1 x α n (α 1,...,α n ) {1,0} n izostave svi oni izrazi oblika f(α 1,..., α n ) x α 1 1 x α n n za koje je f(α 1,..., α n ) = 0, jednakost i dalje važi, s obzirom da je u iskaznoj algebri x 0 = x. Ako se u preostalim članovima disjunkcije izostave izrazi f(α 1,..., α n ) (vrednost svakog od njih je 1) jednakost ponovo ostaje očuvana, jer je 1 x = x. Matematička logika 21 Iskazna logika - II deo n.
22 Normalna forma funkcije Tako se dobija izraz ( ) f(α 1,...α n )=1 x α 1 1 xα n n. Ako je f konstantno jednaka 0, onda poslednji izraz za nju očito ne postoji; u tom slučaju dodeljujemo joj x 1 x 1. Izraz iz ( ) je iskazna formula (to je i x 1 x 1 ), pa je ovim dokazano sledeće tvrd enje koje se odnosi na problem sa početka odeljka. Označimo iskaznu formulu iz ( ) sa A f. Matematička logika 22 Iskazna logika - II deo
23 Normalna forma funkcije Tvrd enje 2: Neka je f : {1, 0} n {1, 0} proizvoljna n-arna operacija na skupu {1, 0}. (a) Ako f nije konstantno jednaka 0, onda se istinitosna vrednost iskazne formule A f u svakoj interpretaciji poklapa sa odgovarajućom vrednošću operacije f. (b) Ako je f konstantno jednaka 0, onda vrednosti iskazne formule x 1 x 1 odgovaraju vrednostima preslikavanja f. Iskazna formula A f koja se u obliku ( ) pridružuje funkciji f zove se disjunktivna normalna forma te funkcije, skraćeno DNF. Matematička logika 23 Iskazna logika - II deo
24 Normalna forma funkcije Disjuktivna normalna forma se može i čisto sintaktički definisati u odnosu na slova p 1,..., p n kao formula (K 1 ) (K m ), gde su K i različite konjunkcije svih navedenih slova sa negacijom ili bez nje. Ukoliko se ne zahteva da u svakoj konjunkciji učestvuju uvek sva slova koja se u formuli javljaju, formula se zove disjunktivna forma. Formula (p q r) ( p q r) je jedna disjunktivna normalna forma u odnosu na promenljive p, q i r, a je primer disjunktivne forme. p (p q r) ( p r) Matematička logika 24 Iskazna logika - II deo
25 Primer normalne forme Neka je f : {1, 0} 3 {1, 0}, gde je p q r f(p, q, r) Da bi odredili formulu koja odgovara funkciji f, najpre izdvajamo one interpretacije slova p, q, r za koje funkcija f ima vrednost 1 (one označene sa ). Zatim se za svaku takvu trojku (α, β, γ) {1, 0} 3 obrazuje konjunkcija p α q β r γ. Konačno, disjunkcija tih izraza jeste iskazna formula (p q r) (p q r) ( p q r). Matematička logika 25 Iskazna logika - II deo
26 Normalna forma formule Osim o disjunktivnoj normalnoj formi funkcije, možemo govoriti i o disjunktivnoj normalnoj formi iskazne formule A. To je zapravo disjunktivna normalna forma istinitosne funkcije f A. Takod e, možemo govoriti i o konjuktivnoj normalnoj formi preslikavanja i formule, skraćeno KNF. Do njih možemo doći iz disjunktivne normalne forme korišćenjem De Morganovih zakona, o kojima govorimo u narednom odeljku. Matematička logika 26 Iskazna logika - II deo
27 Tautologije Iskazna formula je tautologija, ako je tačna u svakoj valuaciji, odnosno interpretaciji. U njenoj tablici istinitosti, sve vrednosti u poslednjoj koloni, koja odgovara celoj formuli, su jednake 1. Jednostavan primer tautologije je formula p p. Ta formula zove se Zakon isključenja trećeg i opisuje poznato pravilo logičkog mišljenja koje primenjujemo u klasičnoj dvovalentnoj logici. Sve tautologije su više ili manje poznati logički zakoni. U nastavku je naveden spisak poznatijih tautologija logičkih zakona sa njihovim nazivima. Matematička logika 27 Iskazna logika - II deo
28 Logički zakoni Zakon isključenja trećeg (Tertium non datur) p p Ovo znači: Tačno je p ili p, odnosno: p je tačno ili netačno Kao što smo rekli, ovo je zakon na kome počiva klasična dvovalentna logika logika sa samo dve moguće istinitosne vrednosti 1 i 0. U novije vreme izučavaju se i neke logike sa više mogućih istinitosnih vrednosti intuicionistička logika (koja je trovalentna), polivalentne logike, modalne logike itd. Matematička logika 28 Iskazna logika - II deo
29 Logički zakoni Zakon neprotivrečnosti (p p) Ovo znači: p i p ne mogu biti istovremeno tačni Drugim rečima: p ne može biti istovremeno tačno i netačno Naravno, i ovo je jedan od osnovnih logičkih zakona koji kaže da neprotivrečnosti nisu dozvoljene. Matematička logika 29 Iskazna logika - II deo
30 Logički zakoni Zakon odvajanja Modus ponendo ponens, ili kraće, samo Modus ponens p (p q) q Ovo znači: Ako je tačno p, i ako iz p sledi q, onda je tačno i q Ovo je zakon na kome počiva osnovno pravilo deduktivnog zaključivanja u iskaznoj logici, i uopšte u matematici. Ovaj zakon kaže da iz pretpostavki da važe stavovi p i p q zaključujemo da važi i q, što radimo kadgod koristimo deduktivno zaključivanje. Matematička logika 30 Iskazna logika - II deo
31 Logički zakoni Modus tollendo tollens q (p q) p Ovo znači: Ako iz p sledi q i ako nije tačno q, tada nije tačno ni p Na ovom zakonu temelji se metod opovrgivanja ukoliko smo ustanovili da se iz neke pretpostavke (u ovom slučaju p) može izvesti pogrešan zaključak (ovde je to q), onda zaključujemo da je pretpostavka pogrešna. Ovaj metod je u širokoj upotrebi u empirijsko-deduktivnim naukama. Matematička logika 31 Iskazna logika - II deo
32 Logički zakoni Modus tollendo ponens p (p q) q Ovo znači: Ako je tačno jedno od p i q, i nije tačno p, tada mora biti tačno q Zakon pojednostavljivanja p q p Ovo znači: Ako je tačno p i q, onda je tačno i p Matematička logika 32 Iskazna logika - II deo
33 Logički zakoni Zakon hipotetičkog silogizma (p q) (q r) (p r) Ovo znači: Ako iz p sledi q i iz q sledi r, onda iz p sledi r Potsećamo da smo o ovom zakonu smo govorili na početku ove nastavne teme, kada smo hipotetički silogizam prikazali kao jedan od primera logičke argumentacije. Matematička logika 33 Iskazna logika - II deo
34 Logički zakoni Zakon svod enja na apsurd Reductio ad absurdum (p (q q)) p Ovo znači: Ako se iz p može izvesti kontradikcija, onda p nije tačno Ovaj zakon veoma često koristimo u matematičkim dokazima ako, polazeći od neke pretpostavke, dod emo do kontradikcije, to znači da nam ta pretpostavka nije bila dobra, odnosno da važi suprotno. Matematička logika 34 Iskazna logika - II deo
35 Logički zakoni Istina iz proizvoljnog Verum ex quolibet p (q p) Ovo znači: Ako je p tačno, onda p sledi iz bilo čega Matematička logika 35 Iskazna logika - II deo
36 Logički zakoni Iz lažnog proizvoljno p (p q) Ovo znači: Ako je p nije tačno, onda iz p sledi bilo šta Ili: Iz laži može da se zaključi bilo šta Ovaj zakon pokazuje da, ako bi neka matematička teorija bila protivrečna, tj. ako bi se u njoj mogla dokazati kontradikcija, onda ta teorija ne bi bila besmislena samo zbog te činjenice, već i zbog toga što bi onda svako drugo tvrd enje u toj teoriji bilo teorema. Matematička logika 36 Iskazna logika - II deo
37 Logički zakoni Zakon zaključivanja iz suprotnog Ex contrario ( p p) p I ovo je zakon koji često koristimo u matematičkim dokazima ako pretpostavimo da neki iskaz p ne važi, i iz toga zaključimo da on ipak mora da važi, onda iz svega toga zaključujemo da je p tačan iskaz. U suštini, ovo se svodi na Zakon svodjenja na apsurd jer iskazi p i p p zajedno daju kontradikciju (tj. iskaz p ( p p) je kontradikcija). Matematička logika 37 Iskazna logika - II deo
38 Logički zakoni Zakon dvostruke negacije p p Ovaj zakon koristimo za uprošćavanje logičkih izraza, eliminacijom višestruke upotrebe negacije. Matematička logika 38 Iskazna logika - II deo
39 Logički zakoni Zakon kontrapozicije (p q) ( q p) Ovo je još jedan od zakona koje često koristimo u dokazima. Naime, često tvrd enje u formi implikacije p q dokazujemo tako što dokazujemo ekvivalentnu formu te implikacije q p. Matematička logika 39 Iskazna logika - II deo
40 Logički zakoni De Morganovi zakoni (p q) p q (p q) p q De Morganovi zakoni nam kažu kako negacija prolazi kroz konjunkciju i disjunkciju. Matematička logika 40 Iskazna logika - II deo
41 Logički zakoni Ako iskoristimo Zakon dvojne negacije i tranzitivnost ekvivalencije, iz De Morganovih zakona dolazimo do tautologija p q ( p q) p q ( p q) One se koriste za eliminaciju veznika ili, tj. za zamenu veznika veznicima i, odnosno veznika veznicima i. Matematička logika 41 Iskazna logika - II deo
42 Logički zakoni Zakoni ekvivalencije za implikaciju, disjunkciju i konjunkciju (p q) p q p q ((p q) q) p q (p q) Prvi zakon se koristi za eliminaciju implikacije, njenom zamenom negacijom i disjunkcijom. Drugi se koristi za eliminaciju disjunkcije, njenim izražavanjem pomoću implikacije. Treći zakon služi za eliminaciju konjunkcije i njeno izražavanje pomoću negacije i implikacije. Matematička logika 42 Iskazna logika - II deo
43 Logički zakoni Zakon negacije implikacije (p q) p q Jasno, ovo je drugačija forma Zakona ekvivalencije za implikaciju. Zakon ekvivalencije (p q) (p q) (q p) Ovaj zakon omogućuje da ekvivalenciju p q tretiramo kao konjunkciju implikacija p q i q p. Matematička logika 43 Iskazna logika - II deo
44 Logički zakoni Zakon unošenja i iznošenja (p q r) (p (q r)) Zakoni komutativnosti p q q p p q q p Matematička logika 44 Iskazna logika - II deo
45 Logički zakoni Zakoni apsorpcije p (p q) p p (p q) p Zakoni idempotentnosti p p p p p p Matematička logika 45 Iskazna logika - II deo
46 Logički zakoni Zakoni asocijativnosti p (q r) (p q) r p (q r) (p q) r Zakoni distributivnosti p (q r) (p q) (p r) p (q r) (p q) (p r) Matematička logika 46 Iskazna logika - II deo
47 Tautološke implikacije i ekvivalencije Ako su A i B iskazne formule i A B je tautologija, onda tu formulu nazivamo tautološka implikacija. Tada kažemo da iskaz koji odgovara formuli A tautološki implicira iskaz dat formulom B. Slično, ako je A B tautologija, onda se ta formula naziva tautološka ekvivalencija. Za iskaze koji odgovaraju formulama A i B se tada kaže da su tautološki ekvivalentni. Med u napred navedenim logičkim zakonima puno je primera tautoloških implikacija i ekvivalencija. Matematička logika 47 Iskazna logika - II deo
48 Još o tautologijama Napomenimo da je u jezik pogodno uvesti i simbole 1 i 0, koje shvatamo kao konstantne simbole, ili redom kao zamene za formule p p i p p. U svakom slučaju, ti znaci interpretiraju se kao isto označene konstante iskazne algebre. Tada su tautologije i formule p 1 p, p 0 p, (p 1) 1 i slično. Matematička logika 48 Iskazna logika - II deo
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)
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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)
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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,
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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,
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραOsnovne teoreme diferencijalnog računa
Osnovne teoreme diferencijalnog računa Teorema Rolova) Neka je funkcija f definisana na [a, b], pri čemu važi f je neprekidna na [a, b], f je diferencijabilna na a, b) i fa) fb). Tada postoji ξ a, b) tako
Διαβάστε περισσότεραPRAVA. Prava je u prostoru određena jednom svojom tačkom i vektorom paralelnim sa tom pravom ( vektor paralelnosti).
PRAVA Prava je kao i ravan osnovni geometrijski ojam i ne definiše se. Prava je u rostoru određena jednom svojom tačkom i vektorom aralelnim sa tom ravom ( vektor aralelnosti). M ( x, y, z ) 3 Posmatrajmo
Διαβάστε περισσότεραNapravimo neformalnu rekapitulaciju osnovnih pojmova koje smo obradili na prethodnom predavanju.
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
Διαβάστε περισσότερα2. Tautologije; Bulove funkcije (SDNF, SKNF)
III dvoqas veжbi Vladimir Balti 2. Tautologije; Bulove funkcije SDNF, SKNF) Tautologije Teorijski uvod Navedimo neke tautologije zajedno sa Ƭihovim nazivima) koje se qesto koriste. naziv formula zakon
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα(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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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}
Διαβάστε περισσότερα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)
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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,
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραIZVODI ZADACI (I deo)
IZVODI ZADACI (I deo Najpre da se podsetimo tablice i osnovnih pravila:. C0.. (. ( n n n-. (a a lna 6. (e e 7. (log a 8. (ln ln a (>0 9. ( 0 0. (>0 (ovde je >0 i a >0. (cos. (cos - π. (tg kπ cos. (ctg
Διαβάστε περισσότερα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:
Διαβάστε περισσότεραArhitektura računara. Bulova algebra. Elementi logike. Logičke funkcije. Potpuni sistemi logičkih funkcija. Uvod u organizaciju računara 1.
Bulova algebra Arhitektura računara vežbe - čas i 2: Minimizacija logičkih funkcija Klod Šenon je 938. uočio da se Bulova algebra može koristiti u rešavanju problema digitalne elektronike. Bulova algebra
Διαβάστε περισσότερα[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
Διαβάστε περισσότερα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) =
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα2log. se zove numerus (logaritmand), je osnova (baza) log. log. log =
( > 0, 0)!" # > 0 je najčešći uslov koji postavljamo a još je,, > 0 se zove numerus (aritmand), je osnova (baza). 0.. ( ) +... 7.. 8. Za prelazak na neku novu bazu c: 9. Ako je baza (osnova) 0 takvi se
Διαβάστε περισσότερα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
Διαβάστε περισσότερα4.7. Zadaci Formalizam diferenciranja (teorija na stranama ) 343. Znajući izvod funkcije x arctg x, odrediti izvod funkcije x arcctg x.
4.7. ZADACI 87 4.7. Zadaci 4.7.. Formalizam diferenciranja teorija na stranama 4-46) 340. Znajući izvod funkcije arcsin, odrediti izvod funkcije arccos. Rešenje. Polazeći od jednakosti arcsin + arccos
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα(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,
Διαβάστε περισσότερα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
Διαβάστε περισσότερα2 tg x ctg x 1 = =, cos 2x Zbog četvrtog kvadranta rješenje je: 2 ctg x
Zadatak (Darjan, medicinska škola) Izračunaj vrijednosti trigonometrijskih funkcija broja ako je 6 sin =,,. 6 Rješenje Ponovimo trigonometrijske funkcije dvostrukog kuta! Za argument vrijede sljedeće formule:
Διαβάστε περισσότερα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.
Διαβάστε περισσότεραVJEŽBE 3 BIPOLARNI TRANZISTORI. Slika 1. Postoje npn i pnp bipolarni tranziostori i njihovi simboli su dati na slici 2 i to npn lijevo i pnp desno.
JŽ 3 POLAN TANZSTO ipolarni tranzistor se sastoji od dva pn spoja kod kojih je jedna oblast zajednička za oba i naziva se baza, slika 1 Slika 1 ipolarni tranzistor ima 3 izvoda: emitor (), kolektor (K)
Διαβάστε περισσότερα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.............................
Διαβάστε περισσότερα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/.
Διαβάστε περισσότεραStrukture podataka i algoritmi 1. kolokvij 16. studenog Zadatak 1
Strukture podataka i algoritmi 1. kolokvij Na kolokviju je dozvoljeno koristiti samo pribor za pisanje i službeni šalabahter. Predajete samo papire koje ste dobili. Rezultati i uvid u kolokvije: ponedjeljak,
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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 ) =
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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 ( ).
Διαβάστε περισσότεραCauchyjev teorem. Postoji više dokaza ovog teorema, a najjednostvniji je uz pomoć Greenove formule: dxdy. int C i Cauchy Riemannovih uvjeta.
auchyjev teorem Neka je f-ja f (z) analitička u jednostruko (prosto) povezanoj oblasti G, i neka je zatvorena kontura koja čitava leži u toj oblasti. Tada je f (z)dz = 0. Postoji više dokaza ovog teorema,
Διαβάστε περισσότεραAPROKSIMACIJA FUNKCIJA
APROKSIMACIJA FUNKCIJA Osnovni koncepti Gradimir V. Milovanović MF, Beograd, 14. mart 2011. APROKSIMACIJA FUNKCIJA p.1/46 Osnovni problem u TA Kako za datu funkciju f iz velikog prostora X naći jednostavnu
Διαβάστε περισσότερα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..............................
Διαβάστε περισσότερα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 {ω/
Διαβάστε περισσότερα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. 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;
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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 izgleda
Διαβάστε περισσότεραLinearna algebra 2 prvi kolokvij,
Linearna algebra 2 prvi kolokvij, 27.. 20.. Za koji cijeli broj t je funkcija f : R 4 R 4 R definirana s f(x, y) = x y (t + )x 2 y 2 + x y (t 2 + t)x 4 y 4, x = (x, x 2, x, x 4 ), y = (y, y 2, y, y 4 )
Διαβάστε περισσότερα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
Διαβάστε περισσότεραRiješeni zadaci: Nizovi realnih brojeva
Riješei zadaci: Nizovi realih brojeva Nizovi, aritmetički iz, geometrijski iz Fukciju a : N R azivamo beskoači) iz realih brojeva i ozačavamo s a 1, a,..., a,... ili a ), pri čemu je a = a). Aritmetički
Διαβάστε περισσότερα4 Izvodi i diferencijali
4 Izvodi i diferencijali 8 4 Izvodi i diferencijali Neka je funkcija f() definisana u intervalu (a, b), i neka je 0 0 + (a, b). Tada se izraz (a, b) i f( 0 + ) f( 0 ) () zove srednja brzina promene funkcije
Διαβάστε περισσότερα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
Διαβάστε περισσότερα