myshop.rulabirint.ruozon.rubookvoed.ruchitai-gorod.ru  

Основания математики. Математическая логика


Книга Алгебра логики. Л. Кутюра Алгебра логики
Л. Кутюра
Вниманию читателей предлагается книга известного французского математика и философа Луи Кутюра, содержащая основы алгебры логики - раздела математической логики, в котором изучаются логические операци

Книга Введение в математическую логику. Том 1. А. Черч Введение в математическую логику. Том 1
А. Черч
Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве спра

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

Книга Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования. Ю. А. Гастев Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования
Ю. А. Гастев
Настоящая книга посвящена проблемам логики, семиотики, методологии науки. В ней говорится о структурных аспектах процесса познания в терминах математической логики и алгебры. Уточняется понятие модели

Книга Интуиционизм. А. Гейтинг Интуиционизм
А. Гейтинг
Вниманию читателей предлагается книга голландского математика и логика А.Гейтинга, представляющая собой монографию по основаниям математики. Вопросы оснований математики (теория математического доказа

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

Книга Линейные операторы. Общая теория. Н. Данфорд, Дж. Т. Шварц Линейные операторы. Общая теория
Н. Данфорд, Дж. Т. Шварц
В настоящем издании авторы дают исчерпывающий обзор общей теории линейных операторов. Книга содержит подготовительный материал: теоретико-множественные, топологические и алгебраические понятия, основн

Книга Логические равенства. П. С. Порецкий Логические равенства
П. С. Порецкий
Вашему вниманию предлагается книга П.С.Порецкого "Логические равенства". Для широкого круга читателей.

Книга Математическая логика. Р. Л. Гудстейн Математическая логика
Р. Л. Гудстейн
Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков

Книга Многозначные логики и их применения. Том 2. Логики в системах искусственного интеллекта Многозначные логики и их применения. Том 2. Логики в системах искусственного интеллекта
В настоящем сборнике представлены результаты многолетних исследований многозначных логик, начиная с пионерских работ одного из создателей многозначных логик Дмитрия Анатольевича Бочвара. В сборнике со

Книга Многозначные логики и их применения. Том 1. Логические исчисления, алгебры и функциональные свойства. Дмитрий Бочвар,Р. Григолия,М. Забежайло,С. Рычков,О. Аншаков,Виктор Финн Многозначные логики и их применения. Том 1. Логические исчисления, алгебры и функциональные свойства
Дмитрий Бочвар,Р. Григолия,М. Забежайло,С. Рычков,О. Аншаков,Виктор Финн
В настоящем сборнике представлены результаты многолетних исследований многозначных логик, начиная с пионерских работ одного из создателей многозначных логик Дмитрия Анатольевича Бочвара. В сборнике со

Книга Объемная однородность. А. Б. Скопенков Объемная однородность
А. Б. Скопенков
Брошюра написана по материалам миникурса в летней шкале "Современная математика" в Дубне в 2009 г. и доклада на семинаре по геометрии им. И.Ф.Шарыгина в 2010 г. Понятие объемлемой однородности возника

Книга Основания теории множеств. А. А. Френкель, И. Бар-Хиллел Основания теории множеств
А. А. Френкель, И. Бар-Хиллел
В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости. Книга представляет собой наиболее п

Книга Основы теоретической логики. Д. Гильберт, В. Аккерман Основы теоретической логики
Д. Гильберт, В. Аккерман
Вниманию читателя предлагается классическое руководство по элементам математической логики, написанное известными немецкими математиками. Материал книги вырос из курса лекций выдающегося математика к

Книга Русская вероятностная логика. Азбука математической логики. В. И. Лобанов Русская вероятностная логика. Азбука математической логики
В. И. Лобанов
Данное пособие является общедоступным изложением основ Русской, истинно математической логики. Вскрывая противостояние Русской и классической логики, автор показывает, что силлогистика Аристотеля не и

Книга Теория множеств и континуум-гипотеза. П. Дж. Коэн Теория множеств и континуум-гипотеза
П. Дж. Коэн
В книге излагается доказательство независимости гипотезы континуума от остальных аксиом теории множеств - один из самых интересных и ярких результатов в математике, за который автор, профессор Стэнфор

Книга Элементарные рекурсивные функции. С. С. Марченков Элементарные рекурсивные функции
С. С. Марченков
Книга написана на основе курсов лекций, которые автор читал на факультете Вычислительной математики и кибернетики МГУ. В книге собраны основные классы "элементарных" рекурсивных функций, изучаемые в т