Skrypt zawiera materiał obejmujący wprowadzenie do mechaniki kwantowej i fizyki statystycznej. Przedstawiono kryzys fizyki klasycznej, podstawy eksperymentalne mechaniki kwantowej, opis...
Niniejsza książka podejmuje problem z zakresu teorii dowodu w systemach tablicowych. Jednym z jej głównych celów jest zdefiniowanie formalnego pojęcia...
