Еще
Логотип LiveLibЛента

Это новая версия страницы. Часть функций ещё в работе — мы добавляем их постепенно.

К старой версии страницы
А. А. Набебин, Ю. П. Кораблин - Математическая логика и теория алгоритмов
18+
User AvatarВаша оценка
0
(0)

Математическая логика и теория алгоритмов

А. А. Набебин, Ю. П. Кораблин
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предн...

Жанры

Издательство:

Научный мир

ISBN:

978-5-91522-001-9

Год издания:

2008

Твердый переплет.

344 с.

Формат: 60x90/16мм

Возрастные ограничения:

18+

Рейтинг LiveLib

0
0 оценок
Эту книгу пока никто не оценил, ваша оценка может стать первой
User AvatarВаша оценка
Хотят прочитать 1

Рецензии

На эту книгу еще нет ни одной рецензии. Ваша может стать первой.

Популярное

Цитаты

Еще не добавлена ни одна цитата из книги. Ваша может стать первой.

Подборки с этой книгой

Все подборки