Application Center - Maplesoft

# Mathematical Logic. Guidelines. Maple vs. MS Words.

You can switch back to the summary page by clicking here.

Mathematical Logic

GUIDELINES

 Authors
 Summary
 Literature

1 ::  Sets and operations on them. Relations

Introduction

 List of issues
 Literature
 Summary

 1.1 :: Sets. Equality of sets
 1.2 :: Algebra of sets
 1.3 :: Cartesian product and the relationship
 1.4 :: Equivalence
 1.5 :: Partial order
 Exercises

2 ::  Propositional logic

 Introduction
 2.1 :: Statements and operations on them
 2.2 :: Analysis of complex utterances
 2.3 :: Formula. Boolean functions
 2.4 :: Tautology
 2.5 :: Construction of a counterexample
 2.6 :: Equivalent to the formula
 2.7 :: Some logical laws
 2.8 :: Normal forms
 Exercises

3 ::  Application logic

 ????????
 3.1 :: ?????????? ?????????
 3.2 :: ?????????? ? ???????????????? ??????

4 ::  Propositional calculus

 Introduction
 4.1 :: Theory L. Axioms and inference rules
 4.2 :: Validity of the theorems. Consistency of L
 4.3 :: The completeness of the theory of L
 Exercises

5 ::  Predicates algebra, The concept of predicate calculus

 Introduction
 5.1 :: The notion of a predicate
 5.2 :: Types of predicates
 5.3 :: Simple logical operations on predicates
 5.4 :: Operation of quantification
 5.5 :: Predicate formulas
 5.6 :: Language predicates algebra
 5.7 :: The concept of the predicate calculus

6 ::  Algorithms

 Introduction
 6.1 :: Algorithms