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


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


 

Нет в продаже

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

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

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



 

Нет в продаже


 

Нет в продаже

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

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

Издание для школьников 7-11 классов.


 

Нет в продаже


 

Нет в продаже

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

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

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


 

Нет в продаже

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

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

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



 

Нет в продаже

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

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

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


 

Нет в продаже

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

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

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


 

Нет в продаже

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

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

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


 

Нет в продаже

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

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

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


 

Нет в продаже

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

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

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



 

Нет в продаже

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

Д. Пойа

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


 

Нет в продаже

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

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

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


 

Нет в продаже

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

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

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


 

Нет в продаже

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

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

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


 

Нет в продаже

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

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

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


 

Нет в продаже

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

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

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


 

Нет в продаже

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

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

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


 

Нет в продаже

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

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

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


 

Нет в продаже

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

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

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


 

Нет в продаже

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

Ю.А. Зуев

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


 

Нет в продаже

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

Ю.А. Зуев

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