Дискретная математика, мат. логика, теория алгоритмов, численные методы

Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. - М., 1987. -288 с. Понятие алгоритма является одним из наиболее фундаментальных понятий информатики и математики. Систематическое изучение алгоритмов привело к созданию особой дисциплины, пограничной между математикой и информатикой—теория алгоритмов. В книге дается обзор важнейших достижений теории алгоритмов за последние …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Успенский В.А. Лекции о вычислимых функциях

02.08.201328.11.2019

Успенский В.А. Лекции о вычислимых функциях.- М., 1960. - 492 с. Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их — для случая функций с натуральными аргументами и значениями — с частично-рекурсивными функциями), а также некоторым приложениям этой теории.

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Трахтенброт Б.А. Алгоритмы и машинное решение задач

02.08.201331.01.2018

Трахтенброт Б.А. Алгоритмы и машинное решение задач. Изд.2. - М., 1960. - 120 с. Книга Б. А. Трахтенброта рассматривает в популярной форме основные вопросы теории алгоритмов и связь этой теории с машинной математикой. Автор подробно рассказывает об истории развития понятия алгоритм, о принципе работы современных быстродействующих вычислительных машин, об основах …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Тимофеева И.Л. Математическая логика. Курс лекций

02.08.201313.03.2018

Тимофеева И.Л. Математическая логика. Курс лекций: Учеб. пособие для тудентов вузов / И. Л. Тимофеева. — 2-е изд., перераб. — М., 2007. — 304 с. Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Столл Р.Р. Множества. Логика. Аксиоматические теории

02.08.201327.11.2019

Столл Р.Р. Множества. Логика. Аксиоматические теории. — М., 1968. — 232 с. Книга может быть рекомендована в качестве первоначального пособия каждому, кто хочет ознакомиться с основными понятиями, идеями, методами и результатами математической логики и теории множеств; элементарному изложению этих вопросов посвящены первые две главы книги. Несколько более трудна (по степени …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Шевченко В. Е. Некоторые способы решения логических задач

02.08.201330.01.2018

Шевченко В. Е. Некоторые способы решения логических задач. - Киев, 1979. - 80 с. В книге в научно-популярной форме изложены основные способы решения логических задач: здравым рассуждением, при помощи исчисления высказываний, составлением таблиц и построением графов. Пособие содержит свыше ста задач для самостоятельного решения, на которые в конце книги приведены …