Autor: Jan Mareš
Vydavateľstvo: CVUT Praha 2009
EAN: 9788001044780
Tato skripta mají sloužit jako učební text k přednášce Vyčíslitelnost a matematická logika, a to k té její části, ve které se probírají základy matematické logiky. Přednáška por studenty 3. ročníku, je určen azejména pro zaměření Softwarové inženýrství a Tvorba software na Fakultě jaderné a fyzikálně inženýrské ČVUT v Praze.
čítať viac
Tato skripta mají sloužit jako učební text k přednášce Vyčíslitelnost a matematická logika, a to k té její části, ve které se probírají základy matematické logiky. Přednáška por studenty 3. ročníku, je určen azejména pro zaměření Softwarové inženýrství a Tvorba software na Fakultě jaderné a fyzikálně inženýrské ČVUT v Praze. Obsah skript odpovídá látce odpřednášené během jednoho semestru v rozsahu dvou hodin týdně.
