Mathematical Logic and Algorithm Theory: A Textbook. - 2nd ed.

Mathematical Logic and Algorithm Theory: A Textbook. - 2nd ed.

book type
0 Review(s) 
LF/991149070/R
Russian
In stock
грн142.50
грн128.25 Save 10%

  Instant download 

after payment (24/7)

  Wide range of formats 

(for all gadgets)

  Full book 

(including for Apple and Android)

The textbook corresponds to the state educational standard of the discipline ''Mathematical logic and theory of algorithms'' of the direction of training of certified specialists 654600 - ''Computer Science and Computer Engineering'' (Specialty 220100 -'Computers, Complexes, Systems and Networks') and the directions of bachelor's training 552800 - ''Computer Science and Computer Engineering''. The manual outlines the sections of mathematical logic and algorithm theory necessary for mastering general professional and special disciplines of the specialty 220100. The basics of sentence logic and predicate logic are described in sufficient detail, including the application of predicate logic to the proof of the correctness of algorithms. The manual contains introductory material on logical programming and clausal logic, as well as the basic concepts of fuzzy and modal logic. The basics of algorithm theory and algorithmic solvability, proof of equivalence of models of Turing algorithms and recursive schemes of Kline. are given. The allowance also contains:-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
LF/991149070/R

Data sheet

Name of the Author
Анкудинов Г.И.
Анкудинов И.Г.
Петухов О.А.
Language
Russian
Release date
2003

Reviews

Write your review

Mathematical Logic and Algorithm Theory: A Textbook. - 2nd ed.

The textbook corresponds to the state educational standard of the discipline ''Mathematical logic and theory of algorithms'' of the direction of training of cer...

Write your review

10 books by the same author:

Products from this category: