Number of the records: 1
Logika pro všechny ochotné myslet
Main entry-name Sochor, Antonín, 1942-2008 (Author) Title statement Logika pro všechny ochotné myslet / Antonín Sochor Edition statement Vyd. 1. Issue data V Praze : Karolinum, 2011 Phys.des. 363 s. ; 23 cm ISBN 978-80-246-1959-0 312.00 Note Obsahuje bibliografii, bibliografické odkazy a rejstříky Annotation Zájemcům o logiku, ať už z řad studentů vyšších ročníků gymnázií, či širšíveřejnosti, je určena publikace přibližující základy logiky v její moderní podobě. Od logických hádanek a sylogismů směřuje systematicky k bližšímu seznámení s logikou jako vědním oborem. Zejména studenti gymnázií uvažující o vysokoškolském studiu matematického zaměření se zde mohou setkat nejen s výrokovou a predikátovou logikou, ale také se zkoumáním vlastností axiomatických teorií či rozborem Gödelových vět o neúplnosti. Přední český matematik RNDr. Antonín Sochor, DrSc., se zabýval matematickou logikou a teorií množin, později spolupracoval na rozvoji Vopěnkovy alternativní teorie množin a souvisejících otázek z tzv. nestandardní analýzy. Jeho monografie Klasická matematická logika (2001) a Metamatematika teorií množin (2006) patří u nás k základům moderní univerzitní výuky matematické logiky. Z úvodu Publikace: Logika pro všechny ochotné myslet - Sochor Antonín. Publikace: Logika pro všechny ochotné myslet - Sochor Antonín. Zdroj anotace: Web obalkyknih.cz Subj. Headings logika matematická logika Form, Genre populárně-naučné publikace Conspect 16 - Logika systematics 16 * 510.6 * (0.062) Catal.org. KKD Vyškov Country Czech Republic Language Czech Database Books 
book
Call number Track No. Location Sublocation Info N-16/SO 180517 Knihovna Oddělení pro dospělé
Number of the records: 1