|
Книги
Книги в разделе
|
|
/Гудстейн Р.Л./
Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р.Л....
|
|
|
/Колмогоров А.Н., Драгалин А.Г./
Авторы настоящей книги — А.Н.Колмогоров и А.Г.Драгалин — выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика. Дополнительные главы" ...
|
|
|
/Верещагин Н.К., Шень А./
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление вы...
|
|
|
/Успенский В.А. и др./
В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-мате...
|
|
|
/Закревский А.Д., Торопов Н.Р./
При проектировании логических EXOR-схем, содержащих элементы суммирования по модулю 2, возникают задачи оптимального представления булевых функций и систем полиномами Жегалкина и Рида-Маллера. Эта комбинаторная задача существенно усложняется в случае не ...
|
|
|
/Марков А.А./
В собрание сочинений выдающегося российского математика А. А. Маркова, выпускаемого к столетию со дня его рождения, включены основные работы, содержащие его наиболее важные результаты. Во втором томе публикуются работы А. А. Маркова по теории алгорифмов, ...
|
|
|
/Верещагин Н.К., Шень А./
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). ...
|
|
|
/Закревский А.Д./
В книге описаны методы решения логических уравнений, представляющих собой удобные модели при формализации постановки многих научных и технических задач: формального вывода, логического синтеза и анализа дискретных устройств, диагностики их неисправностей и...
|
|
|
/Верещагин Н. К., Шень А./
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, ...
|
|
|
/Раскина И.В., Шноль Д.Э./
Одиннадцатая книжка из серии «Школьные математические кружки» посвящена логическим задачам для начинающих: о знаменитом острове рыцарей и лжецов, о ситуациях с запутанными показаниями свидетелей, поиске виновника и выяснении кто есть кто. Специальных ...
|
|
|
/Бускаран Э. (под ред.)/
Книга посвящена впечатляющим результатам в алгебраической геометрии, полученным на основе применения современных достижений теории моделей (доказательство гипотезы Морделла-Ленга для полей функций, доказательство гипотезы Манина-Мамфорда, эффективная ...
|
|
|
/Зюзьков В.М., Шелупанов А.А./
Изложены базовые понятия и принципы математической логики и теории алгоритмов. Рассмотрен ряд распространенных логических парадоксов, на примере которых показаны трудности, возникающие в логике. Книга содержит разнообразные логические задачи, упражнения, ...
|
|
|
/Марченков С.С./
S-классификация, базирующаяся на операциях суперпозиции и перехода к двойным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому ...
|
| Страницы: |
|
Показывать книг на странице:
|
|
2021-05-01
В связи с майскими длительными выходными обработка заказов будет с задержкой. С 12 мая работаем в обычном режиме. Приносим вам свои извинения
Магазин «Физтех-книга» в МФТИ работает по следующему графику:
1-го и 9-го мая магазин не работает
8-го мая с 10:00 до 17:30
в остальные дни по обычному графику
/Замятнин М.Ю. (ред.)/
/Замятнин М.Ю. (ред.)/
/Замятнин М.Ю. (ред.)/
/Замятнин М.Ю. (ред.)/
/Иванов А.А., Иванов А.П./
|
