Математическая логика и теория алгоритмов : учебное пособие / А. А. Набебин, Ю. П. Кораблин
Language: русский.Country: Россия.Publication: СПб. : Научный мир, 2008Description: 344 с. : ил.ISBN: 9785915220019.Abstract: Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя..Bibliography: Библиогр.: с. 334..Subject - Topical Name: Алгоритмы, теория | Математическая логика Subject: алгебра логики | исчисление | предикаты | логика | секвенции | метод резолюций | Пролог | компьютерные программы | частично рекурсивные функции | машины Тьюринга | рекурсивная перечислимость | ЛИСП | языки программирования| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | НТБ ТПУ Читальный зал технической литературы (309 НТБ) | 510 Н134 | Available | 13821000501183 | ||||||||||||||
| Books | НТБ ТПУ Читальный зал технической литературы (309 НТБ) | 510 Н134 | Available | 13821000501181 |
Библиогр.: с. 334.
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя.
There are no comments on this title.