Математическая логика и теория алгоритмов: учебное пособие
A

Математическая логика и теория алгоритмов: учебное пособие

Алгоритмы
mathematical logic theory of algorithms Turing machine computability formal systems computational complexity automated theorem proving
Автор
Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн
Издательство
Сибирский федеральный университет (СФУ)
Год
2019
Язык
Русский
47
Оцените книгу

Чтобы читать книгу, войдите / зарегистрируйтесь

Ознакомительный фрагмент

Похожие книги

Математическая логика: Учебник для бакалавриата

Математическая логика: Учебник для бакалавриата

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

Теория алгоритмов

Теория алгоритмов

В.И. Игошин

Алгоритмы: разработка и применение. Классика Computer Science

Алгоритмы: разработка и применение. Классика Computer Science

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

Введение в программирование: теория, алгоритмы, языки и направления

Введение в программирование: теория, алгоритмы, языки и направления

Не указан

Теория вероятностей и математическая статистика: учебное пособие

Теория вероятностей и математическая статистика: учебное пособие

В. Я. Дерр

Разработка и анализ компьютерных алгоритмов

Разработка и анализ компьютерных алгоритмов

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

Введение в математическое моделирование: Учебное пособие

Введение в математическое моделирование: Учебное пособие

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

Алгоритмы и программы. Язык С++

Алгоритмы и программы. Язык С++

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

Алгоритмы. Самый краткий и понятный курс

Алгоритмы. Самый краткий и понятный курс

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