Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9785915220019

Книга ISBN13 9785915220019 - Математическая логика и теория алгоритмов : учеб. пособие (Набебин А.А., Кораблин Ю.П.) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Математическая логика и теория алгоритмов. Гриф УМО вузов России
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные...
Авторы: Набебин Алексей Александрович
Издательство: Научный мир
Год: 2008
Местонахождение: My-shop.ru
ISBN: 978-5-91522-001-9
Название: Математическая логика и теория алгоритмов
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.
Авторы: А. А. Набебин, Ю. П. Кораблин
Издательство: Научный мир
Год: 2008
Местонахождение: OZON.ru
ISBN: 978-5-91522-001-9

Где читать эту книгу?

Российские библиотеки и не только

Название: Математическая логика и теория алгоритмов : учеб. пособие
Авторы: Набебин А.А., Кораблин Ю.П.
Издательство: М.: Научный мир
Год: 2008
Местонахождение: Оренбургская Областная библиотека им. Н.К.Крупской
ISBN: 978-5-91522-001-9


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.