Prvý kurz logiky

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 5 hlasoch.

Pôvodný názov:

A First Course in Logic

Obsah knihy:

Prvý kurz logiky je úvod do logiky prvého rádu vhodný pre matematikov a informatikov prvého a druhého ročníka. Tento kurz má tri časti: výrokovú logiku, boolovské algebry a predikátovú logiku/logiku prvého rádu.

Logika je základom dôkazov v matematike - ako vieme, že to, čo hovoríme, je pravda? -- a tiež informatiky -- ako viem, že tento program urobí to, čo si myslím, že urobí? Na naučenie sa a pochopenie logiky je potrebné prekvapivo málo matematiky (tento kurz neobsahuje žiadne počty).

Skutočným matematickým predpokladom je schopnosť manipulovať so symbolmi: inými slovami, základy algebry. Túto schopnosť by mal mať každý, kto dokáže písať programy.