Книга: В. Н. Крупский, В. Е. Плиско «Математическая логика и теория алгоритмов»
|
Производитель: "Дрофа" Серия: "Высшее образование" Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки `Информатика и вычислительная техника`, `Информационные системы`, `Фундаментальная информатика и информационные технологии` (квалификация `бакалавр`). Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений. Для студентов учреждений высшего профессионального образования. Может быть полезно широкому кругу читателей, интересующихся основами математической логики и теории вычислимости. Издательство: "Дрофа" (2013) Формат: 60x90/16, 416 стр.
ISBN: 978-5-7695-9559-2 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Математическая логика и теория алгоритмов | Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по… — ДРОФА, (формат: 60x90/16, 416 стр.) Высшее образование Подробнее... | бумажная книга | ||
| Теория алгоритмов | В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные… — Academia, (формат: 60x90/16, 208 стр.) Прикладная математика и информатика Подробнее... | бумажная книга |
См. также в других словарях:
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия
Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… … Википедия
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
Битовая операция (теория алгоритмов) — У этого термина существуют и другие значения, см. Битовая операция (значения). Битовая операция (теория алгоритмов) в теории алгоритмов, криптографии запись знаков 0, 1, плюс, минус, скобка; сложение, вычитание и умножение двух битов (числа… … Википедия
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия
