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

Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М.: Наука, 1967. - 153 c. Предлагаемая вниманию читателя книга известного английского математика И.Лакатоса (1922--1974) посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающиеся при этом …

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

Колмогоров А.Н., Драгалин А.Г. Математическая логика

02.08.201319.01.2018

Колмогоров А.Н., Драгалин А.Г. Математическая логика. Изд. 3-е, стереотипное. — М., 2006. 240 с. (Классический университетский учебник.) В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов …

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

Клини С.К. Введение в метаматематику

01.08.201320.11.2019

Клини С.К. Введение в метаматематику. Пер. с анг. - М., 1957. - 528 с. Книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, …

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

Клини С.К. Математическая логика

01.08.201314.03.2018

Клини С.К. Математическая логика. - М., 1973.- 480 с. Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо по русскому переводу его фундаментального труда «Введение в метаматематику» (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными, функциями и основаниями математики.

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

Карри Х. Б. Основания математической логики

01.08.201319.01.2018

Карри Х. Б. Основания математической логики: Пер. с англ. - М., 1969. - 568 с. Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. …

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

Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов

01.08.201328.05.2020

Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов / В. И. Игошин. — 3-е изд., стер. — М. : Издательский центр «Академия», 2007. — 304 с. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные …