Mathematical logic and algorithm theory
Please sign in so that we can notify you about a reply
This textbook is dedicated to the exposition of mathematical logic and algorithm theory. The basis of the textbook consists of lectures delivered to second-year students of the Computer Science Faculty at the Fyodor Dostoevsky Omsk State University. It covers classical logic, resolution method, formal calculi, formal arithmetic, principles of logical programming, fuzzy logic and fuzzy arithmetic, modal, temporal, and algorithmic logics. It includes Kripke semantics, Hoare's axioms of algorithmic logic, paraconsistent logics, Vasiliev's and Lukasiewicz's logics, and relevant logics. It provides insights into partially recursive functions, Turing-Post machines, Markov's normal algorithms, and algorithm complexity. For students specializing in "Computer Security," "Information Security," and "Computer Science and Engineering."
Author:
Author:Guts Alexander Konstantinovich
Cover:
Cover:soft
Category:
- Category:Business & Money
- Category:Science & Math
Dimensions:
Dimensions:21x14.5x1.5 cm
ISBN:
ISBN:978-5-9519-3747-6
No reviews found