Kennen Sie schon unseren Geschäftskundenservice? Wir beraten Sie gerne.
Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
cover
Logik für die Informatik

Logik für die Informatik

Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Buch (broschiert)ca. 49.90 CHF
erhältlich ab Juni 2025

Bibliografische Angaben

Juni 2025, ca. 248 Seiten, Deutsch
Springer
978-3-662-70824-8

Schlagworte

Weitere Titel zum Thema

Convex Functions and Their Applications
A Contemporary Approach
Springer International Publishing, 2025
978-3-031-71966-0
110.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Combinatorial Set Theory
With a Gentle Introduction to Forcing
Springer International Publishing, 2025
978-3-031-91751-6
ca. 198.00 CHF
erhältlich ab Juni 2025
Restarting Automata
Extensions and Generalizations
Springer International Publishing, 2025
978-3-031-78700-3
237.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Multi-Valued Logic for Decision-Making Under Uncertainty
Springer Nature EN, 2025
978-3-031-74761-8
237.00 CHF
lieferbar in ca. 20-45 Arbeitstagen