Нет в продаже
Интегрируемые системы классической механики и алгебры Ли
Посвящена одному из активно развивающихся направлений современной математической физики - теории интегрируемых систем классической механики. Подробно изложены как результаты и методы прошлого столетия, так и...
Нет в продаже
Искусственный интеллект. Методология, применения, философия
В настоящей книге систематически рассматривается главный продукт искусственного интеллекта - интеллектуальные системы. Интеллектуальные системы, представленные в книге, реализуют оригинальный метод анализа данных и...
Нет в продаже
Курс лекций по дискретной математике. Часть 2. Математическая логика
Во второй части учебного пособия излагаются основные знания об алгебре логических операций, а также о формальных теориях - исчисление высказываний и исчисление предикатов. Книга предназначена для студентов первых...
Нет в продаже
Нет в продаже
Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость,...
Нет в продаже
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого...
Нет в продаже
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.
Нет в продаже
Логика. 10-11 классы.Уч.пос.-3-е изд
Раскрываются основные положения одной из увлекательных философских наук - логики. "Понятие", "суждение", "умозаключение", "гипотеза", "софизм", "парадокс", "доказательство" - это не только научные термины, но и реалии...
Нет в продаже
Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и выдающегося представителя философско-математической мысли Готтлоба Фреге, труды которого по...
Нет в продаже
Логика и математика. Просто о сложных методах логического анализа
В книге в доступной форме представлено многообразие методов логического анализа: дедуктивные рассуждения, формирование и проверка корректности гипотез, логический анализ в условиях ограничений, абдуктивные заключения....
Нет в продаже
Учебное пособие включает в себя все темы, предусмотренные Государственным стандартом по курсу "Логика" . Содержание курса изложено доступно и последовательно, структура пособия позволяет осваивать учебный материал...
Нет в продаже
Логика: учебник. 7-е изд., испр
Учебник включает все основные разделы курса классической логики, определяемые требованиями Государственного образовательного стандарта для студентов вузов. Теоретический материал снабжен упражнениями и логическими...
Нет в продаже
Логика знаковых систем. Элементы семиотики
Книга известного отечественного математика и философа Ю.А.Шрейдера была задумана как беседа об основных понятиях семиотики - науки о знаковых системах, тесно примыкающей к математической лингвистике и математической...
Нет в продаже
Нет в продаже
Математическая логика. Введение в математическую логику. Учебное пособие
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник...
Нет в продаже
Нет в продаже
Математическая логика и теория алгоритмов
Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика...
Нет в продаже
Математическая логика и теория алгоритмов для программистов. Учебное пособие
Математическая логика и теория алгоритмов для программистов. Учебное пособие
Нет в продаже
Математическая логика и теория алгоритмов
Для студентов
Нет в продаже
Математическая логика. Курс лекций и практических занятий
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального...
Нет в продаже
Математическая логика. Дополнительные главы. Учебное пособие
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник...
Нет в продаже
Математическая логика. Дополнительные главы
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник...
Нет в продаже
В брошюре рассказывается (для школьников 7–11 классов) о методе математической индукции на примере 46 задач, из которых 19 снабжены подробными решениями. Предыдущее издание книги вышло в 2007 г.
Нет в продаже
Математическая логика и теория алгоритмов
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного...
Нет в продаже
Математическая логика. Курс лекций и практических занятий
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального...
