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

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

Книга ISBN13 9785811416660 - Курс математической логики и теории вычислимости : учеб. пособие . -4-е изд., перераб. и доп. (Герасимов А.С.) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

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

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

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

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

Название: Курс математической логики и теории вычислимости. Учебное пособие
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены...
Авторы: Герасимов А.С.
Издательство: Лань
Год: 2014
Местонахождение: My-shop.ru
ISBN: 978-5-8114-1666-0
Название: Курс математической логики и теории вычислимости. Учебное пособие
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некоторого императивного языка программирования. В книге имеется более 200 упражнений. Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп "Компьютерные и информационные науки", "Информатика и вычислительная техника", но будет полезно и студентам группы направлений "Математика и механика", а также всем желающим начать систематическое изучение математической логики. 4-е издание, переработанное и дополненное.
Авторы: Герасимов Александр Сергеевич
Издательство: Лань
Год: 2014
Местонахождение: Лабиринт
ISBN: 978-5-8114-1666-0
Название: Курс математической логики и теории вычислимости. Учебное пособие
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства...
Авторы: А. С. Герасимов
Издательство: Лань
Год: 2014
Местонахождение: OZON.ru
ISBN: 978-5-8114-1666-0

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

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

Название: Курс математической логики и теории вычислимости : учеб. пособие . -4-е изд., перераб. и доп.
Авторы: Герасимов А.С.
Издательство: СПб. [и др.]: Лань
Год: 2014
Местонахождение: Государственная публичная научно-техническая библиотека России
ISBN: 978-5-8114-1666-0


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


Новости

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

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