Jezik predikatskog računa

Centralna ideja matematičke logike sastoji u tome da se matematička tvrđenja zapišu u obliku konačnih nizova simbola sa kojima se može operisati po formalnim pravilima, tako da se korektnost takvog...

Informacione tehnologije

Tehnički fakultet „Mihajlo Pupin“

13 stranica

Informacione tehnologije, Seminarski radovi, Skripte

Objavio studenti.rs · 26. septembar 2017.

Matematička logika

o da viˇse nisu u tako bliskoj vezi sa sadrˇzajem ove skripte, tj. s klasiˇcnom logikom sudova i predikata. Moˇze se re´ci da je matematiˇcka logika na poˇcetku imala za...

Matematika

Prirodoslovno-matematički fakultet

254 stranica

Matematika, Skripte

Objavio gajaliman · 28. septembar 2015.

Logika: postanak, razvoj, značaj i podela

i naukama) intuicionizam Brouvera i Hajtinga (koji su suzili polje dozvoljenih logičkih simbola na one za čija značenja su relevantne određene intuitivne misaone operacije) 19 U XX veku razvile su...

Filozofija

198 stranica

Filozofija, Skripte

Objavio Teodora956 · 19. februar 2014.

Zbirka zadataka iz matematike

Autor 3 1. OSNOVNI POJMOVI MATEMATICKE LOGIKE 1.1. Sta je iskaz? 1.2. Kaje od slijedecih recenica su iskazi: a) 5t3 ~ 8 b) 17 jt prolt broj G) 5v~ki pamn...

Matematika

132 stranica

Matematika, Skripte

Objavio studenti.rs · 12. april 2016.

Matematička logika

Ako je I = ( S, ρ ) neka interpretacija formule A, onda ´cemo umesto ( s 1 , s 2 ) ∈ ρ pisati takod¯e i s 2 ∈...

Matematika

Univerzitet u Novom Sadu

192 stranica

Matematika, Skripte

Objavio emxilia.p · 8. jun 2013.

Viša matematika

A ˆ A ≡ A, A ˅ A ≡ A (idempotentnost) 5. A ˅ (A ˆ B) ≡ A, A ˆ (A ˅ B) ≡ A (apsorpcija) Dvije različite formule...

Matematika

18 stranica

Matematika, Skripte

Objavio radmila · 5. novembar 2013.

Vestacka inteligencija

• svako pojavljivanje promenljive u atomiˇckoj formuli je slobodno u toj formuli; • svako pojavljivanje promenljive koje je slobodno u A je slobodno i u ¬A; svako pojavljivanje promenljive koje...

Objavio studenti.rs · 4. decembar 2015.

Primeri logickih paradoksa

Sa ekspanzijom matematičke logike, pojavile su se stvari koje nazivamo logički paradoski. Logički paradoks se sastoji od dva kontrarna, ili čak kontradiktorna, iskaza na koja nas navode prividno osnovani argumenti....

Matematika

Visoka poslovno-tehnička škola

13 stranica

Matematika, Seminarski radovi, Skripte

Objavio studenti.rs · 25. oktobar 2015.

Bulova algebra

|p ∧q ⇔ q ∧p|p ∨q ⇔ q ∨p| |---|---| |p ∧p ⇔p|p ∨p ⇔p| |p ∧⊥⇔⊥|p ∨⊤⇔⊤| |p ∨⊥⇔p|p ∧⊤⇔p| |p ∨ℸp ⇔⊤|p ∧ℸp ⇔⊥| |p ∨(p ∧q) ⇔p|p...

Matematika

39 stranica

Matematika, Skripte

Objavio aleksandarivanovic · 23. februar 2015.

Diferencijalne jednacine

čine diferencijalne jednačine matematičke fizike. [1] Wikipedia [2] Julka Knezevic-Miljanovic, Radoje Scepanovic, Ljubomir Protic : Diferencijalne jednacine [3] Milan Milosevic : Diferencijalne jednacine prvog reda

Matematika

7 stranica

Matematika, Seminarski radovi, Skripte

Objavio studenti.rs · 5. april 2016.