Книга посвящена впечатляющим результатам в алгебраической геометрии, полученным на основе применения современных достижений теории моделей (доказательство гипотезы Морделла - Ленга для полей функций, доказательство гипотезы Манина - Мамфорда, эффективная оценка мощности соответствующих конечных множеств). Цель книги, созданной коллективом специалистов по теории моделей и алгебраической геометрии,-...
ISBN: 978-5-94057-125-4
Издательство:
МЦНМО
Дата выхода: август 2008
В настоящем учебном пособии даны основные идеи и методы теории сложности вычислений. В нем представлены вычислительные возможности, схемы моделирования языков программирования машинами Тьюринга, а также сложностные классы задач.
ISBN: 9785534048179
Издательство:
Юрайт
Дата выхода: июнь 2017
Подробно изложены три формализации понятия алгоритма - машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгоритмические проблемы математической логики и...
ISBN: 978-5-16-005205-2
Издательство:
Инфра-М
Дата выхода: декабрь 2011
Фрактальная геометрия оперирует парадоксальными геометрическими предметами, результаты измерения которых (длина, площадь, объем) устремляются к бесконечности. В качестве начальной (а потому неточной) метафоры можно сказать, что фрактальная логика оперирует парадоксальными логическими объектами, число логических значений которых также стремится к бесконечности. Фрактальная логика превращает...
ISBN: 978-5-9710-5541-9
Издательство:
URSS
Дата выхода: июнь 2018
Фрактальная геометрия оперирует парадоксальными геометрическими предметами, результаты измерения которых (длина, площадь, объем) устремляются к бесконечности. В качестве начальной (а потому неточной) метафоры можно сказать, что фрактальная логика оперирует парадоксальными логическими объектами, число логических значений которых также стремится к бесконечности. Фрактальная логика превращает...
ISBN: 978-5-9710-5552-5
Издательство:
URSS
Дата выхода: июнь 2018
Серебряков А. С., Семенов Д. А., Чернов Е. А. ; Под общ. ред. Серебрякова А.С.
Цель настоящего учебника — изложить основные методы теории автоматического управления с учетом новейших разработок и таким образом дать представление о современном состоянии данной области науки. Учебник представляет собой введение в теоретический курс по системам управления и автоматического регулирования. В нем подробно описаны классические принципы теории управления, а также отражены основные...
ISBN: 9785534103458
Издательство:
Юрайт
Дата выхода: октябрь 2018
Настоящая книга знакомит читателя с сущностью и основными принципами математической логики. Для этого в первую очередь вводится и уточняется ряд несложных, но очень важных понятий (структура, система, модель и т. д.), а затем эти понятия связываются с некоторыми уже установившимися терминами математики (такими, например, как функция, аргумент). Это позволяет полнее сформулировать сущность математической...
ISBN: 978-5-9710-3408-7
Издательство:
Ленанд
Дата выхода: март 2016
"Азбука математической логики", поскольку в ней большое внимание уделено именно исходных понятиям и их увязыванию со здравым смыслом человека, опирающимися просто на жизненный опыт, а не на какие-либо специальные сведения, должна быть доступна читателю, не имеющему никакой предварительной математической подготовки. Как раз наоборот, знакомство с "азбукой" должно заметно уменьшить трудности, с которыми...
Настоящая книга знакомит читателя с сущностью и основными принципами математической логики. Для этого в первую очередь вводится и уточняется ряд несложных, но очень важных понятий (структура, система, модель и т.д.), а затем эти понятия связываются с некоторыми уже установившимися терминами математики (такими, например, как функция, аргумент). Это позволяет полнее сформулировать сущность математической...
ISBN: 978-5-9710-0717-3
Издательство:
Ленанд
Дата выхода: январь 2014
Эта монография принадлежит перу одного из самых известных современных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики....
Предлагаемая вниманию читателей книга написана выдающимся российским математиком Н.Г.Чеботаревым и должна была, по замыслу автора, войти в его известную книгу `Теория Галуа`. Однако она представляет и самостоятельную ценность, так как содержит законченный круг вопросов в области теории алгебр. Книга предъявляет очень умеренные требования к подготовке читателя, что способствует ознакомлению широких...
ISBN: 5-354-00423-3
Издательство:
Едиториал УРСС
Дата выхода: май 2004
Прошло уже довольно значительное время с момента выхода в свет "Метаматематики алгебры" - предыдущей монографии автора, изданной в этой же серии в 1951 г.Примерно половину объёма настоящей книги занимает материал предыдущей работы, изложение его существенно переработано и внесено много упрощений. За одним или двумя исключениями остальная часть этой книги посвящена более современным исследованиям. Общий...
Алгебраические структуры, известные из первых двух частей учебника (группы, кольца, модули), изучаются на несколько более высоком уровне. Идеи и результаты теории представлений, подкрепленные многочисленными примерами, придают всему изложению общематематическое звучание. Особое место занимают, конечно, порожденные абелевы группы, теоремы Силова, представления и характеры конечных групп, алгебры над...
ISBN: 5-9221-0169-2
Издательство:
Физматлит
Дата выхода: октябрь 2001
В монографии рассматриваются задачи декомпозиции булевых функций и систем булевых функций, основным приложением которых является синтез логических схем в различных технологических базисах. В отличие от известных предлагаемые методы декомпозиции позволяют получить все решения разнообразных задач декомпозиции, что обеспечивается использованием универсального аппарата логических уравнений....
ISBN: 978-985-08-1072-4
Издательство:
Ставропольский государственный педагогический институт
Дата выхода: август 2009
Рассматриваются основные темы дискретной математики и математической логики: теория множеств, элементы комбинаторики, теория графов, теория переключательных функций и автоматов, теория кодирования, формальная логика, логические исчисления, формальные теории и теория алгоритмов, элементы теории нечетких множеств. Сложные вопросы математики рассматриваются на простых примерах. Большая часть...
ISBN: 5-279-03045-7
Издательство:
Финансы и статистика
Дата выхода: сентябрь 2006
В книге изложен ряд разделов и вопросов дискретной математики и математической логики, изучаемых главным образом на младших курсах вузов. В данное издание включены не только основные понятия и теоретические положения дисциплины, но также примеры, методы, приемы и алгоритмы решения прикладных задач. Книга может представлять интерес для широкого круга будущих специалистов, бакалавров и магистров...
ISBN: 978-5-86404-238-0
Издательство:
Диалог МИФИ
Дата выхода: сентябрь 2011
Представлены по двум разделам дискретной математики все аспекты практических занятий - контрольные вопросы, подробная методика решения типовых задач, задачи для самостоятельной работы в аудитории и для внеаудиторных занятий, задания для курсовой работы, а также ответы и советы по их выполнению. Лабораторные работы предназначены для освоения систем компьютерной математики и соответствующих...
ISBN: 978-5-279-03463-5
Издательство:
Финансы и статистика
Дата выхода: август 2010
Шестая книжка серии ШКОЛЬНЫЕ МАТЕМАТИЧЕСКИЕ КРУЖКИ посвящена различным подходам к сравнению и вычислению площадей и объёмов и предназначена для занятий со школьниками 6-11 классов. В неё вошли разработки четырёх занятий математического кружка, в каждом из которых подробно разобраны задачи различной сложности и даны методические указания для учителя. Приведён также список дополнительных задач. В...
ISBN: 978-5-4439-0335-4
Издательство:
МЦНМО
Дата выхода: июнь 2015
Шестая книжка серии "Школьные математические кружки" посвящена различным подходам к сравнению и вычислению площадей и объемов и предназначена для занятий со школьниками 6-11 классов. В нее вошли разработки четырех занятий математического кружка, в каждом из которых подробно разобраны задачи различной сложности и даны методические указания для учителя. Приведен также список дополнительных задач. В...
ISBN: 978-5-94057-906-9
Издательство:
МЦНМО
Дата выхода: ноябрь 2013
Предлагаемая вниманию читателя книга известного английского математика И.Лакатоса (1922-1974) посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающиеся при этом парадоксы. Ошибки, которые делают ученики, в действительности были допущены различными...
ISBN: 978-5-382-01024-3
Издательство:
ЛКИ
Дата выхода: январь 2010
учеб. пособие для студ. высш. учеб. заведений; Гриф МО РФ; Учебное пособие; ВУЗ; Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Теоретический материал изложен в учебном...
ISBN: 5-7695-1364-0
Издательство:
Академия
Дата выхода: июль 2005