Претраживање
Приказ резултата 1-2 од 2
Algoritmi, kategorija i dokazi - teme iz srpske moderne logike / Algorithms, categories and proofs: Some topics in modern Serbian logic
(Zavod za proučavanje kulturnog razvitka, Beograd, 2012)
U ovom radu bavićemo se dvema granama moderne logike onako kako su se one razvijale u Srbiji, počevši od kraja Drugog svetskog rata pa sve do danas. Reč je o teoriji izračunljivosti i teoriji dokaza. Prva od njih, teorija ...
Iz starije srpske logike / Of older Serbian logic
(Zavod za proučavanje kulturnog razvitka, Beograd, 2012)
U ovom radu ukazaćemo na neke od stanica razvoja logike u Srbiji, od osnivanja Liceja 1836. pa sve do kraja XIX veka. Cilj nam je da potcrtamo ulogu koju je Ljubomir Nedić, filozof i književni kritičar, odigrao u ovom ...