Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 5 Stimmen.
A First Course in Logic
A First Course in Logic ist eine Einführung in die Logik erster Ordnung, die für Mathematiker und Informatiker im ersten und zweiten Studienjahr geeignet ist. Der Kurs besteht aus drei Teilen: Aussagenlogik, Boolesche Algebren und Prädikatenlogik erster Ordnung.
Logik ist die Grundlage für Beweise in der Mathematik - woher wissen wir, dass das, was wir sagen, wahr ist? -- und auch in der Informatik - woher weiß ich, dass dieses Programm das tut, was ich denke? Um Logik zu lernen und zu verstehen, braucht man erstaunlich wenig Mathematik (dieser Kurs beinhaltet keine Infinitesimalrechnung).
Die eigentliche mathematische Voraussetzung ist die Fähigkeit, mit Symbolen umzugehen: mit anderen Worten, grundlegende Algebra. Jeder, der Programme schreiben kann, sollte diese Fähigkeit besitzen.
| ISBN: | 9780815386650 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2018 |
| Seitenzahl: | 234 |
Derzeit verfügbar, auf Lager.
