Einführung in die klassische und intensionale Logik von Friedrichsdorf, Ulf

Einführung in die klassische und intensionale Logik

Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzuführen. Die hier näher betrachteten intensionalen Systeme hängen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natürlicher Sprachen betreffen.

> findR *
> Buchhandlung findr > Verlag findr > Für Buchhändler
Bücher zum Thema
Beweis Beweistheorie Entwicklung Gödelscher Vollständigkeitssatz Informatik Logik mathematische Logik Prädikatenlogik Programmiersprache Satz von Herbrand Semantik Systeme Typentheorie Vollständigkeit
Produktinformationen

Einführung in die klassische und intensionale Logik online kaufen

Die Publikation Einführung in die klassische und intensionale Logik von ist bei Vieweg & Teubner erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: Beweis, Beweistheorie, Entwicklung, Gödelscher Vollständigkeitssatz, Informatik, Logik, mathematische Logik, Prädikatenlogik, Programmiersprache, Satz von Herbrand, Semantik, Systeme, Typentheorie, Vollständigkeit. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buch-findr.de/sitemap_index.xml . Auf Buch FindR finden Sie eine umfassendsten Bücher und Publikationlisten im Internet. Sie können die Bücher und Publikationen direkt bestellen. Ferner bieten wir ein umfassendes Verzeichnis aller Verlagsanschriften inkl. Email und Telefonnummer und Adressen. Die Publikation kostet in Deutschland 69.99 EUR und in Österreich 71.95 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!