Interaktivna logika (CROSBI ID 756769)
Druge vrste radova | popularni rad
Podaci o odgovornosti
Žarnić, Berislav
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 « ; ; web» ; ; -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· ; ; 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· ; ; 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
engleski
Interactive Logic
nije evidentirano
logic learning tools; first order logic; metatheory; computability
nije evidentirano
Podaci o izdanju
Interaktivna logika
2003.
nije evidentirano
objavljeno