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
·
