Книга: А. С. Герасимов «Курс математической логики и теории вычислимости. Учебное пособие»
|
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюцийкак способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства... Издательство: "Лань" (2014) Формат: 84x108/32, 416 стр.
ISBN: 978-5-8114-1666-0 Купить за 1163 руб на Озоне |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| Герасимов А.С. | Курс математической логики и теории вычислимости. Учебное пособие | Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём… — Лань, Учебники для ВУЗов. Специальная литература Подробнее... | 2014 | 1003 | бумажная книга |
| Герасимов Александр Сергеевич | Курс математической логики и теории вычислимости. Учебное пособие | Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём… — Лань, Математика Подробнее... | 2014 | 1888 | бумажная книга |
| Герасимов Александр Сергеевич | Курс математической логики и теории вычислимости. Учебное пособие | Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём… — Лань, (формат: 84x108/32, 416 стр.) Математика Подробнее... | 2014 | 1297 | бумажная книга |
| Герасимов А. | Курс математической логики и теории вычислимости Учебное пособие Издание четвертое переработанное и дополненное | Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём… — (формат: Твердая глянцевая, 416 стр.) Подробнее... | 2014 | 1176 | бумажная книга |
См. также в других словарях:
Герасимов Сергей Васильевич — (1885 1964), советский живописец. Народный художник СССР (1958), действительный член АХ СССР (1947). Первый секретарь правления СХ СССР (1958 64). Учился в СХПУ (1901 07) и МУЖВЗ (1907 12) у С. В. Иванова и К. А. Коровина. Преподавал в… … Художественная энциклопедия
ГЕРАСИМОВ Сергей Аполлинариевич — (21 мая 1906, село Кундравы (ныне Челябинская область) 28 ноября 1985, Москва), режиссер, актер, сценарист, звукорежиссер; народный артист СССР (1948); лауреат Гос. премий СССР (1941, 1949, 1951, 1971); лауреат премии Ленинского комсомола (1970); … Энциклопедия кино
Герасимов, Александр — Герасимов, Александр: Герасимов, Александр Анатольевич (р. 1957) российский журналист, главный редактор радиостанции «Сити FM». Герасимов, Александр Васильевич (1861 1944) шеф жандармов. Герасимов, Александр Георгиевич (р. 1975)… … Википедия
Герасимов, Михаил Степанович — Герасимов Михаил Степанович Род деятельности: Литератор Дата рождения: 7 октября 1885(1885 10 … Википедия
Герасимов — Михаил Прокопьевич (1889 ) современный пролетарский поэт. Р. около г. Бугуруслана, сын железнодорожного рабочего и переездной сторожихи. С 9 лет работал на жел. дор. полотне. Учился в Кинельской двухклассной школе и Самарском жел. дор.… … Литературная энциклопедия
Герасимов Александр Михайлович — (1881 1963), советский живописец. Народный художник СССР (1943), действительный член АХ СССР (1947). Председатель оргкомитета Союза советских художников (1939 54), президент АХ СССР (1947 57). Учился в МУЖВЗ (1903 15) у А. Е. Архипова и К … Художественная энциклопедия
