Ocena:

Obecnie brak opinii czytelników. Ocena opiera się na 10 głosach.
Mathematical Logic through Python (Gonczarowski Yannai A. (Harvard University Massachusetts))
W tym wyjątkowym podejściu do klasycznego kursu logiki matematycznej, studenci są prowadzeni w implementacji podstawowych koncepcji logicznych i dowodów matematycznych w języku programowania Python, osiągając w ten sposób głęboką praktyczną jasność i zrozumienie.
Tekstowi towarzyszy obszerna kolekcja zadań programistycznych, szkieletów kodu i testów jednostkowych.