В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено...
ISBN: 978-5-94157-702-6
Издательство:
BHV-СПб
Дата выхода: апрель 2014
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 9785534007671
Издательство:
Юрайт
Дата выхода: июль 2017
Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях...
ISBN: 978-5-16-005204-5
Издательство:
Инфра-М
Дата выхода: февраль 2012
Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В. Ломоносова....
ISBN: 978-5-354-01645-7
Издательство:
Едиториал УРСС
Дата выхода: июнь 2019
Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов - М.: Изд. центр "Академия", 2004). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного...
ISBN: 5-7695-1363-2
Издательство:
Академия
Дата выхода: декабрь 2004
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико- математическом факультете МГУ им. М.В.Ломоносова....
ISBN: 978-5-354-01492-7
Издательство:
Едиториал УРСС
Дата выхода: июнь 2015
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях `наивной теории множеств` (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов - математиков и всех интересующихся основами теории множеств. Книга включает в себя...
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
В пособии представлены учебно-методические материалы по логике и теории множеств, включенные в лекционный курс, читаемый в течение ряда лет учащимся 10-х классов физико-математического лицея при МГТУ им. Н.Э.Баумана. Излагаются основные понятия логики высказываний и предикатов и основные понятия теории множеств, отражена тесная взаимосвязь этих разделов математики. Для улучшения понимания и запоминания...
ISBN: 978-5-9710-0942-9
Издательство:
Ленанд
Дата выхода: январь 2014
В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости. Книга представляет собой наиболее полный из существующих обзор исследований, вызванных к жизни этой проблематикой; в ней описываются и сравниваются между собой все важнейшие системы аксиоматической теории множеств. Большое внимание...
ISBN: 978-5-397-01131-0
Издательство:
Либроком
Дата выхода: январь 2010
В пособии представлены учебно-методические материалы по логике и теории множеств, включенные в лекционный курс, читаемый в течение ряда лет учащимся 10-х классов физико-математического лицея при МГТУ им. Н.Э.Баумана. Излагаются основные понятия логики высказываний и предикатов и основные понятия теории множеств, отражена тесная взаимосвязь этих разделов математики. Для улучшения понимания и запоминания...
ISBN: 978-5-9710-2187-2
Издательство:
Ленанд
Дата выхода: июль 2015
Книга представляет собой общий обзор алгебры, ее основных понятий и разделов. Наряду с классическими разделами алгебры изложены многие современные понятия и результаты. Предыдущее издание, вышедшее в 1986г. в серии ВИНИТИ `Итоги науки и техники`, давно стало библиографической редкостью. В новом издании внесен ряд дополнений и уточнений, сделанных автором. Для широкого круга специалистов, студентов,...
ISBN: 5-93972-097-8
Издательство:
Регулярная и хаотическая динамика
Дата выхода: май 2004
Содержание настоящей книги охватывает вузовский курс дискретной математики, включая перечислительную комбинаторику, булевы функции, графы, алгоритмы, помехоустойчивое кодирование и криптографию, а также ряд дополнительных тем. Принцип построения "от простого - к сложному" делает начальные разделы каждой главы доступными для старшеклассника, а заключительные - ценными для аспиранта. Для...
ISBN: 978-5-397-02786-1
Издательство:
Либроком
Дата выхода: май 2012
Содержание настоящей книги охватывает вузовский курс дискретной математики, включая перечислительную комбинаторику, булевы функции, графы, алгоритмы, помехоустойчивое кодирование и криптографию, а также ряд дополнительных тем. Принцип построения "от простого - к сложному" делает начальные разделы каждой главы доступными для старшеклассника, а заключительные - ценными для аспиранта. Для...
ISBN: 978-5-397-02785-4
Издательство:
Либроком
Дата выхода: май 2012
В книге изложены основы нового подхода к анализу сложных решений, в которых могут быть учтены взаимные зависимости между критериями, альтернативами и другими элементами, представляющими рассматриваемую проблему. Метод аналитических сетей является обобщением известного метода анализа иерархий, математические основы и приложения которого также описаны в данной монографии. Приведены многочисленные...
ISBN: 978-5-382-00422-8
Издательство:
ЛКИ
Дата выхода: декабрь 2007