Mathematical Logic through Python (Gonczarowski Yannai A. (Harvard University Massachusetts))

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 10 hlasoch.

Obsah knihy:

V tomto jedinečnom ponímaní klasického kurzu matematickej logiky sú študenti vedení k implementácii základných logických konceptov a matematických dôkazov v programovacom jazyku Python, čím dosahujú hlbokú praktickú zrozumiteľnosť a pochopenie.

Text je doplnený rozsiahlou zbierkou programátorských úloh, kostier kódu a jednotkových testov.