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