ISBN: 5-354-00389-X
Издательство: URSS
Дата выхода: апрель 2004

ISBN: 978-5-354-01610-5
Издательство: Едиториал УРСС
Дата выхода: апрель 2018

Для студентов

ISBN: 978-5-7695-5200-7
Издательство: Academia
Дата выхода: октябрь 2008

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

ISBN: 978-5-9710-3843-6
Издательство: Ленанд
Дата выхода: октябрь 2016

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

ISBN: 978-5-9710-1502-4
Издательство: Ленанд
Дата выхода: июнь 2015

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

ISBN: 978-5-354-01585-6
Издательство: Едиториал УРСС
Дата выхода: август 2017

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...

ISBN: 978-5-9916-8277-0
Издательство: Юрайт
Дата выхода: август 2016

ISBN: 978-5-406-00223-0
Издательство: КноРус
Дата выхода: октябрь 2019

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

ISBN: 5-94157-702-8
Издательство: BHV-СПб
Дата выхода: октябрь 2005

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

ISBN: 978-5-9710-2572-6
Издательство: Ленанд
Дата выхода: август 2015

Математическая логика и теория алгоритмов для программистов. Учебное пособие

ISBN: 978-5-406-05421-5
Издательство: КноРус
Дата выхода: март 2016

Издание для школьников 7-11 классов.

ISBN: 5-94057-138-7
Издательство: МЦНМО
Дата выхода: январь 2004

Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика и информационные технологии" (квалификация "бакалавр"). Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы...

ISBN: 978-5-7695-9559-2
Издательство: Академия
Дата выхода: май 2013

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

ISBN: 978-5-354-01524-5
Издательство: Едиториал УРСС
Дата выхода: август 2015

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

ISBN: 978-5-354-01446-0
Издательство: Едиториал УРСС
Дата выхода: январь 2013

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

ISBN: 978-5-4439-2824-1
Издательство: МЦНМО
Дата выхода: август 2018