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