Alec Fisher : Formal number theory and computability : a workbook
30,00 €
Varastossa
Vain %1 jäljellä
SKU
P-FORM-6ACBCB

Alec Fisherin "Formal number theory and computability : a workbook" johdattaa matematiikan, laskennan ja filosofian opiskelijat matemaattisen logiikan keskeisimpiin tuloksiin, kuten Gödelin epätäydellisyyslauseisiin. Kirja etenee suoraan ydinasioihin alkeisnumero- ja todistusteoriasta ja tarjoaa runsaasti harjoituksia itsenäiseen opiskeluun.
Kenelle: Matematiikan, tietojenkäsittelytieteen ja filosofian opiskelijoille.
| Tuoteryhmä | |
|---|---|
| Tekijä | Alec Fisher |
| Teoksen nimi | Formal number theory and computability : a workbook |
| SKU | P-FORM-6ACBCB |
| Avainsanat | logiikka, logik |
