Jezik predikatskog računa
Primer 2. Aksiomu, po kojoj svaki element polja različit od nule ima inverzni u odnosu na operaciju, izražavamo formulom 4 F8 ∀ x (¬(x = 0) → ∃ y (x...
Informacione tehnologije
Tehnički fakultet „Mihajlo Pupin“
13 stranica
Informacione tehnologije, Seminarski radovi, Skripte
Objavio studenti.rs
·
