Книга: Герасимов А.С. «Курс математической логики и теории вычислимости. Учебное пособие»
|
Серия: "Учебники для ВУЗов. Специальная литература" Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюцийкак способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости ивыводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некого императивного языка программирования. В книге имеется более 200 упражнений. Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп «Компьютерные и информационные науки», «Информатика и вычислительная техника», но будет полезно и студентам группы направлений «Математика и механика», а также всем желающим начать систематическое изучение математической логики. Издание 4-е, переработанное и дополненное. Издательство: "Лань" (2014)
ISBN: 978-5-8114-1666-0 Купить за 1003 руб в My-shop |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| Герасимов Александр Сергеевич | Курс математической логики и теории вычислимости. Учебное пособие | Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём… — Лань, Математика Подробнее... | 2014 | 1888 | бумажная книга |
| Герасимов Александр Сергеевич | Курс математической логики и теории вычислимости. Учебное пособие | Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём… — Лань, (формат: 84x108/32, 416 стр.) Математика Подробнее... | 2014 | 1297 | бумажная книга |
| А. С. Герасимов | Курс математической логики и теории вычислимости. Учебное пособие | Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём… — Лань, (формат: 84x108/32, 416 стр.) Подробнее... | 2014 | 1163 | бумажная книга |
| Герасимов А. | Курс математической логики и теории вычислимости Учебное пособие Издание четвертое переработанное и дополненное | Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём… — (формат: Твердая глянцевая, 416 стр.) Подробнее... | 2014 | 1176 | бумажная книга |
См. также в других словарях:
Герасимов — Михаил Прокопьевич (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 Б … Википедия
