登入選單

返回Google圖書搜尋

Jaká je logická výstavba matematiky?

Miroslav Katětov

出版	Jednota československých matematiků a fysiků, 1950
URL	http://books.google.com.hk/books?id=9Ws_AAAAIAAJ&hl=&source=gbs_api

註釋

Knížka je určena každému, kdo se zajímá o logickou stavbu a základy matematiky a o začátky moderní matematické logiky. Aniž předpokládala zvláštních věcných znalostí, navazujíc na tradiční středoškolskou logiku, přibližuje čtenáři výraz a methodu logiky moderní. V podstatě jde o řešení dvou otázek: jak se odvozují matematické věty a jaké jsou logické základy matematiky. Probírá spojování výroků, výrokové vzorce, obecné a existenční výroky, logickou dedukci adruhy důkazů, některé matematické pojmy (množina, vztah, zobrazení, funkce), definice a jejich vlastnosti i systémy axiomů a požadavky, jež na ně klademe.