Einführung in die klassische und intensionale Logik
Friedrichsdorf, Ulf
| Autor: | Friedrichsdorf, Ulf |
|---|---|
| Veröffentlichungsdatum: | 01.01.1992 |
| EAN: | 9783528064891 |
| Auflage: | 1992 |
| Sprache: | Deutsch |
| Seitenzahl: | 368 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Vieweg & Teubner Vieweg+Teubner Verlag |
Produktinformationen "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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen