Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending (in België) aan op alles gedurende de hele maand januari.

Afhalen na 1 uur in een winkel met voorraad
In januari gratis thuislevering in België
Ruim aanbod met 7 miljoen producten

Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending (in België) aan op alles gedurende de hele maand januari.

Afhalen na 1 uur in een winkel met voorraad
In januari gratis thuislevering in België
Ruim aanbod met 7 miljoen producten

Winkels

Verlanglijstje

Winkels

Verlanglijstje

Zoeken

Volg ons op

140 winkels

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Vind hier een winkel

€ 39,95

+ 79 punten

Levertermijn 1 à 4 weken

Eenvoudig bestellen

Veilig betalen

In januari gratis thuislevering in België (via bpost)

Gratis levering in je Standaard Boekhandel

Omschrijving

Dieses Buch bietet in dialogischer und unkonventioneller Form eine vertiefte Einführung in die mathematische Logik mit einem besonderen Fokus auf die Anforderungen der modernen Softwaretechnik. Es behandelt zentrale Themen wie Aussagenlogik, Prädikatenlogik erster Stufe, modale Logiken sowie koalgebraische Logiken - stets mit Blick auf ihre Relevanz für die Praxis.

Die Softwaretechnik entwickelt sich zunehmend in Richtung formaler Methoden. Dieses Buch trägt dem Rechnung, indem es Studierenden und Praktiker*innen ein solides formales Fundament vermittelt. Es richtet sich an alle, die die theoretischen Grundlagen verstehen und anwenden möchten, um robuste, nachvollziehbare und zukunftsfähige Softwarelösungen zu entwickeln.

Ein besonderes Augenmerk liegt auf der wachsenden Bedeutung symbolischer Verfahren im Zusammenspiel mit sub-symbolischen Ansätzen, wie sie in aktuellen Entwicklungen der Künstlichen Intelligenz sichtbar werden. Damit schlägt das Buch eine Brücke zwischen klassischer Logik und modernen Technologien - und eröffnet alternative Wege für eine neue Generation von Informatiker*innen.