Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов - М.: Изд. центр "Академия", 2004). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного...

ISBN: 5-7695-1363-2
Издательство: Академия
Дата выхода: декабрь 2004

ISBN: 978-5-406-02434-8
Издательство: КноРус
Дата выхода: январь 2013

Учебное пособие для студентов ВУЗов

ISBN: 978-5-406-00120-2
Издательство: КноРус
Дата выхода: январь 2010

ISBN: 978-5-354-01681-5
Издательство: Едиториал УРСС
Дата выхода: июнь 2020

ЕСТЕСТВЕННЫЕ НАУКИ. МАТЕМАТИКА

ISBN: 978-5-16-011691-4
Издательство: Инфра-М
Дата выхода: декабрь 2015

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

ISBN: 978-5-354-01492-7
Издательство: Едиториал УРСС
Дата выхода: июнь 2015

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

ISBN: 5-7695-2735-8
Издательство: Академия
Дата выхода: ноябрь 2006

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

ISBN: 978-5-406-04041-6
Издательство: КноРус
Дата выхода: январь 2014

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

ISBN: 978-5-94057-772-0
Издательство: МЦНМО
Дата выхода: январь 2011

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

ISBN: 978-5-9916-7711-0
Издательство: Юрайт
Дата выхода: сентябрь 2016