von María Jesús Castel de Haro · Universidad de Alicante · ISBN 9788460547662
MwSt. inbegriffen
Hamelyn Qualitätsgarantie · geprüft und verifiziert, oder Geld zurück
«Lógica de primer orden» ist das Lehrbuch zur mathematischen Logik von María Jesús Castel de Haro, veröffentlicht von der Universität Alicante (194 Seiten, auf Spanisch).
Ein einführendes Werk zur Logik erster Stufe, das ihre formale Sprache, Semantik und deduktiven Systeme behandelt. Es erklärt Konzepte wie Gültigkeit, Konsistenz und logische Konsequenz und legt besonderes Augenmerk auf den Nutzen dieser Grundlagen im Bereich der Informatik.
Das Lehrbuch gehört zum Katalog der Abteilung für Informatiktechnologie und -berechnung der Universität Alicante, in den Kategorien Philosophie und Technologie.
Für Studierende und Fachleute der Philosophie, Mathematik oder Informatik, die die Grundlagen der formalen Logik und ihre Anwendung in der Informatik festigen möchten.
