Merkzetterl
Das Merkzetterl ist leer.
Das Einkaufssackerl ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Einführung in die klassische und intensionale Logik

E-BookPDF1 - PDF WatermarkE-Book
Verkaufsrang13312inMathematik
EUR34,19

Beschreibung

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.
Weitere Beschreibungen

Details

Weitere ISBN/GTIN9783322849908
ProduktartE-Book
EinbandE-Book
Epub-TypPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erscheinungsdatum02.07.2013
Auflage1992
Seiten354 Seiten
SpracheDeutsch
IllustrationenVIII, 354 S. 4 Abbildungen
Artikel-Nr.35249372
WarengruppeMathematik
Weitere Details

Bewertungen

Autor

Dr. rer. nat. Ulf Friedrichsdorf ist wissenschaftlicher Mit-arbeiter an der Fakultät für Mathematik der Universität Konstanz, 7750 Konstanz.