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
Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн
Publisher
Сибирский федеральный университет (СФУ)
Year
2019
Language
Russian
108
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

В.Л. Матросов, М.С. Мирзоев

Algorithm Theory

Algorithm Theory

В.И. Игошин

Algorithms: Design and Applications. Computer Science Classics

Algorithms: Design and Applications. Computer Science Classics

Дж. Клейнберг, Е. Тардос

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

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

Не указан

Probability Theory and Mathematical Statistics: A Study Guide

Probability Theory and Mathematical Statistics: A Study Guide

В. Я. Дерр

Development and Analysis of Computer Algorithms

Development and Analysis of Computer Algorithms

Альфред В. Ахо, Джон Э. Хопкрофт, Джеффри Д. Ульман

Introduction to Mathematical Modeling: A Textbook

Introduction to Mathematical Modeling: A Textbook

В.Н. Ашихмин, М.Б. Гитман, Н.Э. Келлер, О.Б. Наймарк, В.Ю. Столбов, П.В. Трусов, П.Г. Фрик

Algorithms and Programs. C++ Language

Algorithms and Programs. C++ Language

Е. А. Конова, Г. А. Поллак

Algorithms. The Shortest and Clearest Course

Algorithms. The Shortest and Clearest Course

Панос Луридас