Více o knize

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

Číst víc

Počet stran

364

Vazba

brožovaná vazba

Rozměr

160×257 mm

Hmotnost

567 g

ISBN

9788024619590

Rok vydání

2011

Naše katalogové číslo

107244

Jazyk

čeština

Nakladatel

Karolinum

Kategorizace

Knihy
Odborné a naučné
Humanitní a společenské vědy
Psychologie

Našli jste nepřesnosti? Dejte nám, prosím, vědět!

Nahlásit chybu

Máte o knize více informací než je na této stránce nebo jste našli chybu? Budeme vám velmi vděční, když nám pomůžete s doplněním informací na našich stránkách.

Hodnocení

3,0 / 5

1 hodnocení

	0
	0
	1
	0
	0

Jak se líbila kniha vám?

Přidat recenzi

Čtenářské recenze

Vlado Kvasnička

Neověřený nákup

15.7.2011

Názor čitateľa

Je to pokus napísať učebnicu logiky pre stredoškolákov, pričom autor vychádza zo svojej známej vysokoškolskej učebnice "A. Sochor: Klasická matematická logika. Karolinum, Praha, 2001". Touto redukciou textu vznikol "užvanený" text, ktorý sa vydáva za stredoškolskú učebnicu logiky. Rád by som videl tých stredoškolákov, ktorí sú schopní prekúsať sa cez tento typ textu alebo počúvať zdĺhavý výklad na ňom založený. Jednoduché pojmy, intuitívne ľahko pochopiteľné, sú to rozvláčne špecifikované a prevetrávane z mnohých strán, takže začiatočník na záver vlastne nevie čo tým chcel autor povedať a taktiež pochybujem, že by bol schopný zopakovať relevantné myšlienky výkladu. Z toho pohľadu mi pripomína tento text niektoré učebnice filozofickej logiky, kde sa na desiatkach strán diskutuje pojem implikácie, a pod. Hlavný klad posudzovaného textu vidím v množstve zaujímavých príkladov, ktorých riešenie dá zabrať aj študentom logiky na informatických odboroch na FMFI UK alebo FIIT STU. Text bude isto zaujímavý pre expertov z logiky, ktorí pri jeho čítaní môžu rozjímať o tom, čí aj takto sa to môže alebo nie. Číst víc

---