Mathematical Logic and Algorithm Theory: A Study Guide
A

Mathematical Logic and Algorithm Theory: A Study Guide

Algorithms
mathematical logic theory of algorithms Turing machine computability formal systems computational complexity automated theorem proving
Author
Yu. V. Vainshtein, T. G. Penkova, V. I. Vainshtein
Publisher
Siberian Federal University (SFU)
Year
2019
Language
Russian
198
Rate this book

To read the book, log in / register

Preview fragment

Similar books

Mathematical Logic: Textbook for Bachelor's Degree

Mathematical Logic: Textbook for Bachelor's Degree

V.L. Matrosov, M.S. Mirzoev

Algorithm Theory

Algorithm Theory

V.I. Igoshin

Algorithms: Design and Applications. Computer Science Classics

Algorithms: Design and Applications. Computer Science Classics

J. Kleinberg, E. Tardos

Introduction to Programming: Theory, Algorithms, Languages, and Fields

Introduction to Programming: Theory, Algorithms, Languages, and Fields

Not specified

Probability Theory and Mathematical Statistics: A Study Guide

Probability Theory and Mathematical Statistics: A Study Guide

V. Ya. Derr

Development and Analysis of Computer Algorithms

Development and Analysis of Computer Algorithms

Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman

Introduction to Mathematical Modeling: A Textbook

Introduction to Mathematical Modeling: A Textbook

V.N. Ashikhmin, M.B. Gitman, N.E. Keller, O.B. Naimark, V.Yu. Stolbov, P.V. Trusov, P.G. Frik

Algorithms and Programs. C++ Language

Algorithms and Programs. C++ Language

E. A. Konova, G. A. Pollak

Algorithms. The Shortest and Clearest Course

Algorithms. The Shortest and Clearest Course

Panos Louridas