Ein praxisnahes Buch, das die Grundlagen formaler Logik mit aktuellen Sprachmodelltechniken verbindet, indem es theoretische Konzepte durch Codebeispiele und reale Anwendungen in der Informatik veranschaulicht.