Sbírka řešených úloh z logiky pro informatiky

Logo poskytovatele
Autoři

MRÁKOVÁ Eva POPELÍNSKÝ Lubomír

Rok publikování 2015
Druh Učebnice
Citace
Popis Sbírka obsahuje úlohy z výrokové a predikátové logiky a jejich řešení. Je určená pro základní kurzy logiky především na bakalářském stupni. Kromě základních úloh z těchto dvou logických kalkulů sbírka obsahuje též příklady na rezoluční metody ve výrokové i v predikátové logice.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.