Книга: Герасимов А. «Курс математической логики и теории вычислимости Учебное пособие Издание четвертое переработанное и дополненное»
|
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюцийкак способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства... Формат: Твердая глянцевая, 416 стр.
ISBN: 9785811416660 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Автоматизация работы в КОМПАС-График | 608 стр. Книга посвящена работе в чертежно-конструкторском редакторе КОМПАС-График на базе систем КОМПАС 5. 11… — BHV, (формат: 167X236мм, 608 стр.) Мастер Подробнее... | бумажная книга | ||
| Горилла Фрэнсис | Перед вами новый антигерой — Горилла Фрэнсис! Книжка, которую вы держите в руках — лишь напало его безумных… — (формат: Мягкая бумажная, 60 стр.) Подробнее... | бумажная книга |
См. также в других словарях:
Герасимов — Михаил Прокопьевич (1889 ) современный пролетарский поэт. Р. около г. Бугуруслана, сын железнодорожного рабочего и переездной сторожихи. С 9 лет работал на жел. дор. полотне. Учился в Кинельской двухклассной школе и Самарском жел. дор.… … Литературная энциклопедия
ГЕРАСИМОВ — Сергей Аполлинариевич (1906 85), российский кинорежиссер, актер, педагог. Играл в фильмах 20 х гг.: Шинель , С.В.Д. , Новый Вавилон . Стремление к достоверному изображению реальности, интерес к психологической характеристике героев нашли… … Современная энциклопедия
ГЕРАСИМОВ — Сергей Васильевич (1885 1964), российский живописец. Простые по композиции портреты ( Колхозный сторож , 1933), жанровые картины ( Колхозный праздник , 1937), поэтичные, тонкие по ощущению жизни природы пейзажи (серия Можайские пейзажи , 1954) … Современная энциклопедия
ГЕРАСИМОВ — Герасимов, Сергей Аполлинариевич [21.5(3.6).1906, Екатеринбург, 26. 11. 1985, Москва], кинорежиссёр и сценарист нар. арт. СССР (1948), д. ч. АПН ССС? (1978), дер искусствоведения (1967), проф (1946), Герой Соц. Труда (1974). В 19» окончил Ленингр … Российская педагогическая энциклопедия
ГЕРАСИМОВ — ГЕРАСИМОВ, Александр Павлович (род. в г. Иркутске в 1869 г.), крупный геолог, много работающий в области изучения генезиса минеральных источников. Наиболее крупными работами Г. в этой области являются исследования обширного района Кавказских… … Большая медицинская энциклопедия
Герасимов — Герасимов распространённая русская фамилия. Происходит от имени Герасим (в просторечии Гарасим). Герасимовы дворянские роды. Содержание 1 Известные носители 1.1 А 1.2 Б … Википедия
