Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика. Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В.Ломоносова....
ISBN: 978-5-354-01524-5
Издательство:
Едиториал УРСС
Дата выхода: август 2015
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В.Ломоносова, и содержит...
ISBN: 978-5-354-01446-0
Издательство:
Едиториал УРСС
Дата выхода: январь 2013
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая...
ISBN: 978-5-397-04775-3
Издательство:
Либроком
Дата выхода: январь 2015
Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии "Проблемы кибернетики". Представленные в выпуске работы охватывают широкий спектр проблем дискретной математики, математической логики, теории программирования, сложности и надежности управляющих систем, криптографии. Выпуск 10 - 2001 г. Для специалистов, аспирантов, студентов, интересующихся современным состоянием...
ISBN: 5-9221-0376-8
Издательство:
Физматлит
Дата выхода: январь 2002
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана...
ISBN: 9785915220019
Издательство:
Научный мир
Дата выхода: декабрь 2008
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено...
ISBN: 978-5-9775-3806-0
Издательство:
BHV-СПб
Дата выхода: ноябрь 2016
А.Н. Колмогоров (1903-1987) и А.Г. Драгалин (1941-1998) - выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы", содержащие классическое изложение понятий и...
ISBN: 5-484-00520-5
Издательство:
КомКнига
Дата выхода: май 2006
Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В. Ломоносова....
ISBN: 978-5-354-01549-8
Издательство:
Едиториал УРСС
Дата выхода: сентябрь 2016
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях `наивной теории множеств` (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов - математиков и всех интересующихся основами теории множеств. Книга включает в себя...
ISBN: 5-900916-36-7
Издательство:
Московский центр непрерывного математического образования
Дата выхода: январь 2002
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150...
ISBN: 978-5-4439-0012-4
Издательство:
МЦНМО
Дата выхода: январь 2012
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150...
ISBN: 978-5-4439-0943-1
Издательство:
МЦНМО
Дата выхода: август 2017
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов - математиков и всех интересующихся основами теории множеств. Книга включает в себя...
ISBN: 978-5-94057-321-0
Издательство:
МЦНМО
Дата выхода: март 2008
Целью этой книги является систематизация теории нечетких графов и гиперграфов с единых позиций. В книге рассматриваются основные понятия теории нечетких множеств, элементы нечеткой логики, и на основе понятий нечетких высказываний, нечетких логических формул и нечетких предикатов рассматриваются способы задания и свойства нечетких множеств. Представленные в книге результаты основаны, большей...
ISBN: 5-89176-315-X
Издательство:
Научный мир
Дата выхода: июнь 2008
Книга представляет собой общий обзор алгебры, ее основных понятий и разделов. Наряду с классическими разделами алгебры изложены многие современные понятия и результаты. Предыдущее издание, вышедшее в 1986г. в серии ВИНИТИ `Итоги науки и техники`, давно стало библиографической редкостью. В новом издании внесен ряд дополнений и уточнений, сделанных автором. Для широкого круга специалистов, студентов,...
ISBN: 5-93972-097-8
Издательство:
Регулярная и хаотическая динамика
Дата выхода: май 2004
В пособии представлены учебно-методические материалы по логике и теории множеств, включенные в лекционный курс, читаемый в течение ряда лет учащимся 10-х классов физико-математического лицея при МГТУ им. Н.Э.Баумана. Излагаются основные понятия логики высказываний и предикатов и основные понятия теории множеств, отражена тесная взаимосвязь этих разделов математики. Для улучшения понимания и запоминания...
ISBN: 978-5-9710-0942-9
Издательство:
Ленанд
Дата выхода: январь 2014
В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости. Книга представляет собой наиболее полный из существующих обзор исследований, вызванных к жизни этой проблематикой; в ней описываются и сравниваются между собой все важнейшие системы аксиоматической теории множеств. Большое внимание...
ISBN: 978-5-397-01131-0
Издательство:
Либроком
Дата выхода: январь 2010
В пособии представлены учебно-методические материалы по логике и теории множеств, включенные в лекционный курс, читаемый в течение ряда лет учащимся 10-х классов физико-математического лицея при МГТУ им. Н.Э.Баумана. Излагаются основные понятия логики высказываний и предикатов и основные понятия теории множеств, отражена тесная взаимосвязь этих разделов математики. Для улучшения понимания и запоминания...
ISBN: 978-5-9710-2187-2
Издательство:
Ленанд
Дата выхода: июль 2015
Содержание настоящей книги охватывает вузовский курс дискретной математики, включая перечислительную комбинаторику, булевы функции, графы, алгоритмы, помехоустойчивое кодирование и криптографию, а также ряд дополнительных тем. Принцип построения "от простого - к сложному" делает начальные разделы каждой главы доступными для старшеклассника, а заключительные - ценными для аспиранта. Для...
ISBN: 978-5-397-02786-1
Издательство:
Либроком
Дата выхода: май 2012
Содержание настоящей книги охватывает вузовский курс дискретной математики, включая перечислительную комбинаторику, булевы функции, графы, алгоритмы, помехоустойчивое кодирование и криптографию, а также ряд дополнительных тем. Принцип построения "от простого - к сложному" делает начальные разделы каждой главы доступными для старшеклассника, а заключительные - ценными для аспиранта. Для...
ISBN: 978-5-397-02785-4
Издательство:
Либроком
Дата выхода: май 2012
В книге изложены основы нового подхода к анализу сложных решений, в которых могут быть учтены взаимные зависимости между критериями, альтернативами и другими элементами, представляющими рассматриваемую проблему. Метод аналитических сетей является обобщением известного метода анализа иерархий, математические основы и приложения которого также описаны в данной монографии. Приведены многочисленные...
ISBN: 978-5-382-00422-8
Издательство:
ЛКИ
Дата выхода: декабрь 2007
Обоснована и на примерах показана возможность решения широкого круга задач алгебры логики и алгебры множеств с использованием выражений обычной классической алгебры с учетом многозначности и вероятностного хаактера переменных в решаемых задачах. Определены в общем виде алгебраические выражения, устанавливающие вероятностную зависимость множества следствий от возможных комбинаций множества...
ISBN: 5-94052-069-5
Издательство:
Физматлит
Дата выхода: октябрь 2008
В книге описывается решетка замкнутых классов трехзначной логики, которые вкладываются в предполный класс самодвойственных функций. Это первый предполный класс, отличный от линейного, для которого удалось получить такое описание. С помощью этого описания доказываются различные свойства замкнутых классов самодвойственных функций. В частности, показано, что все замкнутые классы имеют базис (конечный...
ISBN: 978-5-211-05969-6
Издательство:
Издательство МГУ
Дата выхода: декабрь 2011
Данная брошюра в популярной форме знакомит читателей с наиболее значимыми разделами Русской логики, которая опровергает многие постулаты классической логики, являясь на сегодня единственной истинно математической логикой. Автор обвиняет современных матлогиков в невежестве и безграмотности. Брошюра рассчитана на школьных преподавателей математики и информатики, но может быть освоена и школьниками...
ISBN: 978-5-904021-08-5
Издательство:
Золотое сечение
Дата выхода: январь 2010
Решение многих задач элементарной алгебры значительно облегчается, если использовать симметричность условия задачи. В этой книге рассказывается, как использовать симметрию при решении систем уравнений, иррациональных уравнений, неравенств и т.д. Все эти задачи решаются единообразным методом, основанным на теории симметрических многочленов. Книга будет полезна школьникам, готовящимся к конкурсным...
ISBN: 5-94057-041-0
Издательство:
Московский центр непрерывного математического образования
Дата выхода: январь 2002