Математика

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

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

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

02.08.201331.01.2018

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

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

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

02.08.201313.03.2018

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

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

Светлов В. А. Философия математики. Основные программы обоснования математики XX столетия

02.08.201331.01.2018

Светлов В. А. Философия математики. Основные программы обоснования математики XX столетия: Учебное пособие. — М., 2006. — 208 с. Пособие подготовлено на основе авторского курса по истории и философии науки для аспирантов естественно-научного и гуманитарного циклов. Дан подробный анализ четырех ведущих программ обоснования философии ХХ столетия - логицизма, интуиционизма, конструктивизма …

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

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

02.08.201327.11.2019

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

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

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

02.08.201330.01.2018

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