Library Catalogue

Image from Google Jackets

forall x Dortmund Simon Wimmer

Contributor(s): Material type: TextTextSeries: Open textbook libraryDistributor: Minneapolis, MN Open Textbook LibraryPublisher: [Place of publication not identified] Simpson University 2021Copyright date: ©2021Description: 1 online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
Subject(s): LOC classification:
  • B72
Online resources:
Contents:
I Zentrale Begriffe der Logik -- II Wahrheitsfunktionale Logik -- III Wahrheitstabellen -- IV Natürliche Herleitung für die WFL -- V Die Logik erster Ordnung -- VI Interpretationen -- VII Natürliche Herleitung für die LEO -- VIII Modale Logik
Subject: forall x: Dortmund is an adaptation and German translation of forall x: Calgary. As such, it is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity, the syntax of truth-functional (propositional) logic and truth-table semantics, the syntax of first-order (predicate) logic with identity and first-order interpretations, formalizing German in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as the syntax and (Kripke-)semantics of modal logic. The book is provided in PDF and in LaTeX source code. A booklet with solutions for all exercises in the book is available.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

I Zentrale Begriffe der Logik -- II Wahrheitsfunktionale Logik -- III Wahrheitstabellen -- IV Natürliche Herleitung für die WFL -- V Die Logik erster Ordnung -- VI Interpretationen -- VII Natürliche Herleitung für die LEO -- VIII Modale Logik

forall x: Dortmund is an adaptation and German translation of forall x: Calgary. As such, it is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity, the syntax of truth-functional (propositional) logic and truth-table semantics, the syntax of first-order (predicate) logic with identity and first-order interpretations, formalizing German in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as the syntax and (Kripke-)semantics of modal logic. The book is provided in PDF and in LaTeX source code. A booklet with solutions for all exercises in the book is available.

Attribution

In German.

Description based on print resource

There are no comments on this title.

to post a comment.

© 2024, Kenya Medical Training College | All Rights Reserved