Bewertung:

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 10 Stimmen.
Mathematical Logic through Python (Gonczarowski Yannai A. (Harvard University Massachusetts))
In dieser einzigartigen Variante eines klassischen mathematischen Logikkurses werden die Studierenden angeleitet, die zugrundeliegenden logischen Konzepte und mathematischen Beweise in der Programmiersprache Python zu implementieren und so ein tiefes praktisches Verständnis zu erlangen.
Der Text wird von einer umfangreichen Sammlung von Programmieraufgaben, Codeskeletten und Unit-Tests begleitet.