В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 9785534146585
Издательство:
Юрайт
Дата выхода: февраль 2021
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико- математическом факультете МГУ им. М.В.Ломоносова....
ISBN: 978-5-354-01492-7
Издательство:
Едиториал УРСС
Дата выхода: июнь 2015
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая...
ISBN: 978-5-9710-2629-7
Издательство:
Ленанд
Дата выхода: август 2015
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов...
ISBN: 978-5-406-04041-6
Издательство:
КноРус
Дата выхода: январь 2014
Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В. Ломоносова, и содержит...
ISBN: 978-5-9710-3843-6
Издательство:
Ленанд
Дата выхода: октябрь 2016
В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д.Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии. Для студентов высших учебных заведений.
ISBN: 5-7695-2735-8
Издательство:
Академия
Дата выхода: ноябрь 2006
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 978-5-9916-8277-0
Издательство:
Юрайт
Дата выхода: август 2016
В брошюре рассказывается (для школьников 7–11 классов) о методе математической индукции на примере 46 задач, из которых 19 снабжены подробными решениями.
ISBN: 978-5-94057-772-0
Издательство:
МЦНМО
Дата выхода: январь 2011
Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В. Ломоносова....
ISBN: 978-5-354-01585-6
Издательство:
Едиториал УРСС
Дата выхода: август 2017
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150...
ISBN: 978-5-4439-0012-4
Издательство:
МЦНМО
Дата выхода: январь 2012
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов - математиков и всех интересующихся основами теории множеств. Книга включает в себя...
ISBN: 978-5-94057-321-0
Издательство:
МЦНМО
Дата выхода: март 2008
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150...
ISBN: 978-5-4439-0943-1
Издательство:
МЦНМО
Дата выхода: август 2017
