Математическая логика. Курс лекций и практических занятий
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального...
Издание для школьников 7-11 классов.
Математическая логика. Учебное пособие
ЕСТЕСТВЕННЫЕ НАУКИ. МАТЕМАТИКА
Математическая логика. Дополнительные главы. Учебное пособие
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник...
Математическая логика и теория алгоритмов для программистов. Учебное пособие
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных...
Математическая логика. Учебник и практикум
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что...
Математические вопросы кибернетики. Выпуск 11
Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии "Проблемы кибернетики". Представленные в выпуске работы охватывают широкий спектр проблем дискретной математики, математической...
В брошюре рассказывается (для школьников 7–11 классов) о методе математической индукции на примере 46 задач, из которых 19 снабжены подробными решениями.
Математическая логика и теория алгоритмов.Учебное пособие для ВУЗов
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык...
А.Н. Колмогоров (1903-1987) и А.Г. Драгалин (1941-1998) - выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В...
Данная книга обращена прежде всего к тем, кто изучает математику, - начиная от учащихся старших классов и студентов и кончая специалистами в различных областях, которым приходится встречаться с применением...
Начала теории множеств. Математическая логика и теория алгоритмов
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях `наивной теории множеств` (мощности, упорядоченные множества,...
Начала теории множеств. Математическая логика и теория алгоритмов
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядоченные...
Начала теории множеств. Лекции по математической логике и теории алгоритмов
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядоченные множества,...
Начала теории множеств. Лекции по математической логике и теории алгоритмов. Часть 1
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества,...
Целью этой книги является систематизация теории нечетких графов и гиперграфов с единых позиций. В книге рассматриваются основные понятия теории нечетких множеств, элементы нечеткой логики, и на основе понятий...
Книга представляет собой общий обзор алгебры, ее основных понятий и разделов. Наряду с классическими разделами алгебры изложены многие современные понятия и результаты. Предыдущее издание, вышедшее в 1986г. в серии...
Основы математической логики и теории множеств. Учебное пособие
В пособии представлены учебно-методические материалы по логике и теории множеств, включенные в лекционный курс, читаемый в течение ряда лет учащимся 10-х классов физико-математического лицея при МГТУ им. Н.Э.Баумана....
Основы математической логики и теории множеств
В пособии представлены учебно-методические материалы по логике и теории множеств, включенные в лекционный курс, читаемый в течение ряда лет учащимся 10-х классов физико-математического лицея при МГТУ им. Н.Э.Баумана....
Содержание настоящей книги охватывает вузовский курс дискретной математики, включая перечислительную комбинаторику, булевы функции, графы, алгоритмы, помехоустойчивое кодирование и криптографию, а также ряд...
Содержание настоящей книги охватывает вузовский курс дискретной математики, включая перечислительную комбинаторику, булевы функции, графы, алгоритмы, помехоустойчивое кодирование и криптографию, а также ряд...
