Ergebnisse für: Kripke-Modelle

Hier findest Du Bücher, die sich mit Kripke-Modelle beschäftigen.

Ernst-Erich Doberkat
Springer Berlin
29.99 € · eBook

Logik Softwaretechnik Modale Logiken Relationale Methoden Semantische Modelle Kripke-Modelle Nachbarschaftsmodelle Semantik der game logic Koalgebraische Logik Logik und Algebra

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 koalg...

Formale Logik im Dialog

Ernst-Erich Doberkat
Springer Berlin
39.99 € · Paperback

Logik Softwaretechnik Modale Logiken Relationale Methoden Semantische Modelle Kripke-Modelle Nachbarschaftsmodelle Semantik der game logic Koalgebraische Logik Logik und Algebra

Array
(
    [endpoint] => /products?search=Kripke-Modelle&page=0&size=20
    [httpCode] => 200
    [curlError] => 
    [os_errno] => 0
    [primary_ip] => 144.208.215.243
    [local_ip] => 192.168.53.111
    [namelookup_time] => 0.001308
    [connect_time] => 0.519791
    [responseLength] => 3422
)