Discrete Math. Formal logical systems and languages

19,99

Only 1 available

Discrete Math. Formal logical systems and languages

19,99

Add to Cart

Only 1 available

The book contains basic information from formal logical systems. These are functions of the algebra of logic (Boolean functions), Post's theorem on functional completeness, k-valued logics, derivatives of Boolean functions, axiomatic calculus of statements, predicates, sequents, resolutions and the Prolog programming language. Monadic logic, finite automata and the languages ​​they represent, temporal logic, and the axiomatic programming language OBJ3 are considered.

Barcode: 9785970606223 SKU: 70182076 Category:
Publication language: Russian

See also: