Mathematical Logic for Computer Science (2nd Edition): Computer Science, cartea 0047
Autor Z-W Lu, Lu Zhongwan, Zhongwan Luen Limba Engleză Hardback – 31 iul 1998
Preț: 491.49 lei
Preț vechi: 578.22 lei
-15% Nou
Puncte Express: 737
Preț estimativ în valută:
94.06€ • 97.60$ • 78.62£
94.06€ • 97.60$ • 78.62£
Carte tipărită la comandă
Livrare economică 15-29 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789810230913
ISBN-10: 9810230915
Pagini: 256
Dimensiuni: 165 x 229 mm
Greutate: 0.51 kg
Ediția:2
Editura: World Scientific Publishing Company
Seriile Series in Computer Science, Computer Science
ISBN-10: 9810230915
Pagini: 256
Dimensiuni: 165 x 229 mm
Greutate: 0.51 kg
Ediția:2
Editura: World Scientific Publishing Company
Seriile Series in Computer Science, Computer Science
Cuprins
Part 1 Prerequisites: sets; inductive definitions and proofs; notations. Part 2 Classical propositional logic: propositions and connectives; propositional language; semantics; tautological consequence; formal deduction; disjunctive and conjunctive normal forms; adequate sets of connectives. Part 3 Classical first-order logic: proposition functions and quantifiers; first-order language; semantics; logical consequence; formal deduction; prenex normal form. Part 4 Axiomatic deduction system: axiomatic deduction system; relation between the two deduction systems. Part 5 Soundness and completeness: satisfiability and validity; soundness; completeness of propositional logic; completeness of first-order logic; completeness of first-order logic with equality; independence. Part 6 Compactness, Lowenheim-Skolem, and Herbrand theorems: compactness; Lowenheim-Skolem's theorem; Herbrand's theorem. Part 7 Constructive logic: constructivity of proofs; semantics; formal deduction; soundness; completeness. Part 8 Modal propositional logic: modal propositional language; semantics; formal deduction; soundness; completeness of T; completeness of S4, B, S5. Part 9 Modal first-order logic: modal first-order language; semantics; formal deduction; soundness; completeness; equality.