forall x : Calgary

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

Tác giả: Tim Button, P. D Magnus, Aaron Thomas-Bolduc, Richard Zach

Ngôn ngữ: eng

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

Thông tin xuất bản: Calgary, Alberta : University of Calgary, 2020

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

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

ID: 312483

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English 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 modal logic, soundness, and functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics) and in LaTeX source code.
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