Kvantifikatorski račun
precizna pravila dokazivanja. Jedon o čemu vodimo računa je da li se ta pravila dosledno poštuju. Dokaz teoreme u ovom pristupu je konačan niz formula koje se izvode po unaprijed...
Matematika
Nezavisni univerzitet Banja Luka
13 stranica
Matematika, Seminarski radovi, Skripte
Objavio Jovan789
·