hrvatski

Interaktivna logika

Tematske stranice Interaktivna logika sadrze cetiri sadrzajne cjeline: 1.[Interaktivnosti] Niz koji sadrzi vise od dvadeset, "online" dostupnih interaktivnih obrazovnih sredstava za uvježbavanje vještina i usvajanje osnovnih ideja logike prvoga reda, teorije skupova, modalne logike i teorije izračunljivosti. Niz interaktivnosti obuhvaca radove uglednih inozemnih autora i nekoliko mojih radova. Sve interaktivnosti prilagodjene su koristenju na hrvatskom jeziku. Ovaj blok je najzanimljiviji dio tematskog "site"-a. Po sirini podrucja kojega pokriva za sada je jedini takav "site" na Internetu. 2. [Predavanja] Blok koji obuhvaca niz nastavnih tekstova koji su prilagođeni &laquo ; ; web&raquo ; ; -u kao komunikacijskom mediju. Sadržaj tekstova velikim dijelom prati sadrzaj sljedecih udzbenika: 1.Jon Barwise i John Etchemendy (2000) Language, Proof and Logic. CSLI Publications. Center for the study of Language and Information Stanford University. Seven Bridges Press. New York&middot ; ; London. • Poglavlja: 1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19. 2.George S. Boolos i Richard C. Jeffrey(1989) Computability and Logic. CambridgeUniversity Press. • Poglavlja: 3, 5, 10. 3.L.T.F. Gamut [J. van Benthem, J. Groenendijk, D. de Jongh, M. Stokof, H. Verkuyl] (1991) Logic, Language and Meaning. Volume II: Intensional Logic and Logical Grammar. The University of Chicago Press. Chicago&middot ; ; London. Ovaj blok je istodobno i originalan rad i kompilacija preradjenih sadrzaja spomenutih udzbenika. 3. [Rječnik] Rječnik logike prvoga reda je prijevod rjecnika kojemu je autor Peter-a Suber. Ovaj rjecnik ekstenzivno koristi hiperveze. 4. [Galerija] Slikovni podsjetnik o glavnim logičarima danas i u povijesti logike (tekstovi su u izradi).

interaktivnosti za učenje logike; logika prvog reda; metateorija; izračunljivost

nije evidentirano