forall x : Dortmund

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Simon Wimmer

Ngôn ngữ: eng

Ký hiệu phân loại: 900 History, geography, and auxiliary disciplines

Thông tin xuất bản: Place of publication not identified : Simpson University, 2021.

Mô tả vật lý: 1 online resource

Bộ sưu tập: Tài liệu truy cập mở

ID: 312484

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.
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 71010608 | Email: tt.thuvien@hutech.edu.vn

Copyright @2024 THƯ VIỆN HUTECH