Odlomak

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 rasuđivanja može proveriti  mehanički, nezavisno  od smisla  koji matematički simboli  mogu imati.

No votes yet.
Please wait…

Prijavi se

Detalji dokumenta

Više u Informacione tehnologije

Više u Seminarski radovi

Više u Skripte

Komentari