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


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


 

Нет в продаже

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

Ю.П. Кораблин Алексей Набебин

Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык...



 

Нет в продаже


 

Нет в продаже

Математические вопросы кибернетики. Выпуск 11

Латышев В.Н., Пинус А.Г., Иванов А.О. и др.

Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии "Проблемы кибернетики". Представленные в выпуске работы охватывают широкий спектр проблем дискретной математики, математической...


 

Нет в продаже

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

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

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


 

Нет в продаже

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

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

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



 

Нет в продаже


 

Нет в продаже


 

Нет в продаже

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

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

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


 

Нет в продаже

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

В. И. Игошин

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


 

Нет в продаже

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

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

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


 

Нет в продаже

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

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

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


 

Нет в продаже

Начала теории множеств. Лекции по математической логике и теории алгоритмов

Верещагин Н.К., Шень А.

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


 

Нет в продаже

Начала теории множеств. Лекции по математической логике и теории алгоритмов. Часть 1

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

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


 

Нет в продаже

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

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

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


 

Нет в продаже

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

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

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


 

Нет в продаже

Нечеткие графы и гиперграфы

А.В. Боженюк Л.С. Берштейн

Целью этой книги является систематизация теории нечетких графов и гиперграфов с единых позиций. В книге рассматриваются основные понятия теории нечетких множеств, элементы нечеткой логики, и на основе понятий...


 

Нет в продаже

Основные понятия алгебры

Игорь Ростиславович Шафаревич

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


 

Нет в продаже


 

Нет в продаже

Основы математической логики и теории множеств. Учебное пособие

С. В. Буфеев И. С. Буфеев

В пособии представлены учебно-методические материалы по логике и теории множеств, включенные в лекционный курс, читаемый в течение ряда лет учащимся 10-х классов физико-математического лицея при МГТУ им. Н.Э.Баумана....


 

Нет в продаже

Основы математической логики и теории множеств

С. В. Буфеев И. С. Буфеев

В пособии представлены учебно-методические материалы по логике и теории множеств, включенные в лекционный курс, читаемый в течение ряда лет учащимся 10-х классов физико-математического лицея при МГТУ им. Н.Э.Баумана....


 

Нет в продаже

По океану дискретной математики. Том 1. От перечислительной комбинаторики до современной криптографии. Основные структуры. Методы перечисления. Булевы функции

Ю.А. Зуев

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


 

Нет в продаже

По океану дискретной математики. Том 2. От перечислительной комбинаторики до современной криптографии. Графы. Алгоритмы. Коды, блок-схемы, шифры

Ю.А. Зуев

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


 

Нет в продаже

Принятие решений при зависимостях и обратных связях. Аналитические сети

Т. Л. Саати

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