Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов - М.: Изд. центр "Академия", 2004). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного...
ISBN: 5-7695-1363-2 Издательство: Академия Дата выхода: декабрь 2004
Учебное пособие для студентов ВУЗов
ISBN: 978-5-406-00120-2 Издательство: КноРус Дата выхода: январь 2010
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая...
ISBN: 978-5-397-04775-3 Издательство: Либроком Дата выхода: январь 2015
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено...
ISBN: 978-5-9775-3806-0 Издательство: BHV-СПб Дата выхода: ноябрь 2016
ISBN: 978-5-9519-2173-4 Издательство: URSS Дата выхода: июнь 2021
В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д.Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии. Для студентов высших учебных заведений.
ISBN: 5-7695-2735-8 Издательство: Академия Дата выхода: ноябрь 2006
Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В. Ломоносова....
ISBN: 978-5-354-01549-8 Издательство: Едиториал УРСС Дата выхода: сентябрь 2016
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 9785534146585 Издательство: Юрайт Дата выхода: февраль 2021
ISBN: 9785534007671 Издательство: Юрайт Дата выхода: июль 2017
Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях...
ISBN: 978-5-16-005204-5 Издательство: Инфра-М Дата выхода: февраль 2012
ISBN: 978-5-354-01645-7 Издательство: Едиториал УРСС Дата выхода: июнь 2019
ISBN: 978-5-94157-702-6 Издательство: BHV-СПб Дата выхода: апрель 2014
Имя одного из крупнейших специалистов в области математической логики С. К. Клини знакомо читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (Изд. 2. М.: УРСС, 2005), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Настоящая книга представляет собой существенно усовершенствованный, расширенный и...
ISBN: 5-354-01011-X Издательство: Едиториал УРСС Дата выхода: июль 2005
ISBN: 978-5-354-01681-5 Издательство: Едиториал УРСС Дата выхода: июнь 2020
ISBN: 5-354-01003-9 Издательство: Едиториал УРСС Дата выхода: февраль 2005
ЕСТЕСТВЕННЫЕ НАУКИ. МАТЕМАТИКА
ISBN: 978-5-16-011691-4 Издательство: Инфра-М Дата выхода: декабрь 2015
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико- математическом факультете МГУ им. М.В.Ломоносова....
ISBN: 978-5-354-01492-7 Издательство: Едиториал УРСС Дата выхода: июнь 2015
Уч.пособие состоит из 2 частей — курса лекций по матем.логике, включающего теоретич.материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упр-я по перечисленным разделам. Уч.пособие предназнач.для студентов университетов и педагогических вузов, изучающих математическую логику.
ISBN: 5-8114-0082-9 Издательство: Лань Дата выхода: январь 2009
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о...
ISBN: 978-5-94057-323-4 Издательство: МЦНМО Дата выхода: март 2008
ISBN: 978-5-406-02434-8 Издательство: КноРус Дата выхода: январь 2013
Учебное пособие для ВПО
ISBN: 978-5-7695-7045-2 Издательство: ИЦ Академия Дата выхода: апрель 2010
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов...
ISBN: 978-5-406-04041-6 Издательство: КноРус Дата выхода: январь 2014
Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его...
ISBN: 978-5-7695-4593-1 Издательство: Академия/Academia Дата выхода: октябрь 2007
В брошюре рассказывается (для школьников 7–11 классов) о методе математической индукции на примере 46 задач, из которых 19 снабжены подробными решениями.
ISBN: 978-5-94057-772-0 Издательство: МЦНМО Дата выхода: январь 2011
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к...
ISBN: 978-5-9916-7711-0 Издательство: Юрайт Дата выхода: сентябрь 2016
