První kurz logiky

Recenze čtenářů

Aktuálně nejsou k dispozici žádné recenze čtenářů. Hodnocení je založeno na 5 hlasů.

Původní název:

A First Course in Logic

Obsah knihy:

A First Course in Logic je úvod do logiky prvního řádu vhodný pro matematiky a informatiky prvního a druhého ročníku. Tento kurz se skládá ze tří částí: výroková logika, booleovské algebry a predikátová logika/logika prvního řádu.

Logika je základem důkazů v matematice - jak víme, že to, co říkáme, je pravda? -- a také informatiky -- jak mohu vědět, že tento program udělá to, co si myslím, že udělá? K naučení a pochopení logiky je zapotřebí překvapivě málo matematiky (tento kurz nezahrnuje žádný kalkul).

Skutečným matematickým předpokladem je schopnost manipulovat se symboly: jinými slovy, základy algebry. Tuto schopnost by měl mít každý, kdo umí psát programy.