Skripta jsou určena pro studenty jako úvod do matematické logiky. Postupně je vyložena výroková logika a predikátová logika. Vychází se z přirozeného jazyka a ze sémantického přístupu. Je kladen důraz na metody, které se v logice užívají, resoluční m...

Rozsáhlá publikace pojednává o oživení a proměnách matematického myšlení a vzdělávání v Evropě pozdního středověku a renesance. Vývoj matematiky je zde zobrazen v širším politickém a kulturním kontextu. Autoři představují životní peripetie a výsledky...

Skripta jsou primárně určena studentům Fakulty strojní ČVUT v Praze. V příkladech se analyticky řeší úlohy ze všech oborů, které se přednášejí v kurzu fyziky v prvním ročníku FS, na tyto přednášky příklady navazují a vhodně je rozšiřují. Řešení fyzik...

Poznámkový trhací blok, 50 potištěných listů s logem ČVUT.

Skriptum seznamuje posluchače se základními programovacími nástroji v jazyce C++. Začíná u základních pojmů jako je počítač, program, algoritmus. Pak ukáže několik velmi jednoduchých programů, na nichž se student naučí přeložit program a pozná nejzák...