Andrzej Grzegorczyk Livres

Focusing on a systematic and accessible approach, this book offers a comprehensive exposition of classical results in the foundations of mathematics. It is designed for beginners, providing detailed explanations and complete proofs without assuming prior knowledge. The author minimizes the use of terms like "evident" and "obvious," making it suitable for self-study or teaching contexts where additional resources may not be available. By avoiding the latest trends in mathematics, the book ensures clarity and foundational understanding for learners.

Poznając i stosując prawa logiki, wyrabiamy w sobie intuicję logiczną, dzięki czemu nasze spontaniczne wnioskowanie jest coraz doskonalsze. Autor w przystępny spos�b przedstawia logikę zdań, podstawową część logiki matematycznej, aby Czytelnik zrozumiał, na czym polegają schematy poprawnego wnioskowania oraz w jaki spos�b należy posługiwać się symbolami logicznymi. Omawia kolejno poprawne wyrażanie myśli w zdaniach, znaczenie i cechy sp�jnik�w logicznych, reguły logiczne, kt�re pozwalają uznać zdanie za prawdziwe czy fałszywe, prawa logiki zdań, sprawdzanie formuł logiki zdań za pomocą tabelek oraz zastosowania logiki zdań.

Kniha je úvodem do základní části moderní logiky, tzv. výrokového kalkulu. Autor přistupuje k formální logice z pozic dialektického materialismu; osvětluje význam logiky, její uplatnění v matematických a technických vědách a propracovává též podrobně otázku uplatnění logiky v denním,běžném myšlení. Výklady jsou doplněny četnými názornými příklady z denní praxe, tabulkami a obrázky. Dílo je prvním překladem z polské soudobé logiky do češtiny.Je určeno laikům a hodí se též jako doplňková četba vysokoškolských kurzů logiky.