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

Zbog preciznosti i kratkoće u izlaganju, u matematici se koriste neki pojmovi i oznake matematičke logike. Definicija 1. Pod iskazom se podrazumjeva iskaz koji ima smisla i za koji važe...

Matematika

11 stranica

Matematika, Skripte

Objavio Milana97 · 6. jun 2013.

Kurs iz matematike I – Teorija i rešeni zadaci

1 Matematiˇcka logika 1 1.1 Teorija . . . . . . . . . . . . . . . . . . . . . . . ....

Objavio aldyyy2710 · 8. mart 2013.

Matematička logika-predavanja

Iskazna algebra. Vrednost formule. Tautologije. 2. Iskazna algebra. Hipoteze i posledice. 3. Iskazna algebra. Iskazne funkcije. 4. Bulove algebre. Parcijalno ured¯enje. 5. Predikatske formule. Valjane formule. 6. Formalne teorije. Iskazni...

Matematika

Departman za tehničke nauke

68 stranica

Matematika, Skripte

Objavio studenti.rs · 11. decembar 2018.

Osnove Matlaba

Relacijske i logičke funkcije za rad s matricama ispituju sadržaj matrica koje su dane kao ulazni argumenti funkcije i vraćaju logičku varijablu ili matricu logičkih varijabli koji imaju vrijednost 1...

Informacione tehnologije

Fakultet elektrotehnike i računarstva

38 stranica

Informacione tehnologije, Seminarski radovi, Skripte

Objavio DekiDeki99 · 18. februar 2015.