Einführung in die klassische und intensionale Logik
Description
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.
Keywords
MathematicsLogicComputersProgrammingTechnology & EngineeringHistory & PhilosophyEngineering (General)
1992Book
Author(s)Ulf Ulf Friedrichsdorf
PublisherVieweg+Teubner Verlag
ISBN9783528064891
LanguageGerman
