Математическая логика

Математическая логика. Дополнительные главы. Учебное пособие

А. Н. Колмогоров А. Г. Драгалин

Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник...

Математическая индукция

Шень Александр

В брошюре рассказывается (для школьников 7–11 классов) о методе математической индукции на примере 46 задач, из которых 19 снабжены подробными решениями. Предыдущее издание книги вышло в 2007 г.

Математическая логика. Курс лекций и практических занятий

Сергей Шапорев

В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального...

Математическая логика

С.К. Клини

Имя одного из крупнейших специалистов в области математической логики С. К. Клини знакомо читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (Изд. 2. М.: УРСС, 2005), ставшего...

Математическая логика и теория алгоритмов для программистов. Учебное пособие

Д. В. Гринченков С. И. Потоцкий

Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных...

Математическая логика: Дополнительные главы

А. Н. Колмогоров А. Г. Драгалин

Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник...

Математическая логика. 2-е издание

А.Г. Драгалин А. Н. Колмогоров

Математическая индукция

Александр Шень

В брошюре рассказывается (для школьников 7–11 классов) о методе математической индукции на примере 46 задач, из которых 19 снабжены подробными решениями.

Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие. 4-е изд

Л.М. Лихтарников Т.Г. Сукачева

Уч.пособие состоит из 2 частей — курса лекций по матем.логике, включающего теоретич.материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и...

Математическая логика и теория алгоритмов. Вычислимые функции

Николай Верещагин Александр Шень

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость,...

Математическая логика: Введение в математическую логику

Колмогоров А.Н., Драгалин А.Г.

Математическая логика. Дополнительные главы

Колмогоров А.Н., Драгалин А.Г.

Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник...

Математическая логика и теория алгоритмов

Г. И. Клюев

Учебное пособие для ВПО

Математическая логика и теория алгоритмов

Судоплатов С. В., Овчинникова Е. В.

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В...

Математическая логика и теория алгоритмов

В. И. Игошин

Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории...

Математическая логика

А.Г. Драгалин А. Н. Колмогоров

Математическая логика и теория алгоритмов для программистов.Уч.пос

Д. В. Гринченков С. И. Потоцкий

Математика и правдоподобные рассуждения. Два тома в одной книге. Том I. Индукция и аналогия в математике. Том II. Схемы правдоподобных умозаключений

Д. Пойа

Данная книга обращена прежде всего к тем, кто изучает математику, - начиная от учащихся старших классов и студентов и кончая специалистами в различных областях, которым приходится встречаться с применением...

Математическая логика и теория алгоритмов

Виктор Барановский

Для студентов

Математическая логика: Дополнительные главы

Колмогоров А.Н., Драгалин А.Г.

Математическая логика. Учебное пособие

Н. А. Сальков

ЕСТЕСТВЕННЫЕ НАУКИ. МАТЕМАТИКА

Математическая логика. Курс лекций и практических занятий

Сергей Шапорев

В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального...

Математическая логика. Введение в математическую логику

А. Н. Колмогоров А. Г. Драгалин

Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник...

Математическая логика. Учебник и практикум

Т. В. Погодина

В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что...

Математическая логика. Введение в математическую логику. Учебное пособие

А. Н. Колмогоров А. Г. Драгалин

Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник...