ЛИТЕРАТУРА ПО ФУНДАМЕНТАЛЬНЫМ И ПРИКЛАДНЫМ НАУКАМ
для школьников, студентов и научных работников

 

Каталог

Книги

Книги в разделе
Цена: 457 р
/Колмогоров А.Н., Драгалин А.Г./
Авторы настоящей книги — А.Н.Колмогоров и А.Г.Драгалин — выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика. Дополнительные главы" ...
Цена: 460 р
/Гладкий А.В./
Настоящая книга представляет собой учебное пособие, предназначенное для студентов гуманитарных специальностей. В ее основу положены лекции, читавшиеся автором на историко-филологическом и психологическом факультетах Российского государственного гума...
Цена: 461 р
/Гуц А.К./
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая ...
Цена: 510 р
/Босс В./
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта --- вот рассматриваемый круг вопросов....
Цена: 580 р
/Чёрч А./
Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую мате...
Цена: 648 р
/Бурбаки Н./
Настоящее издание представляет собой перевод первой книги первой части трактата Н.Бурбаки "Начала математики", имеющего целью изложить всю современную математику с единой и оригинальной точки зрения. В этой книге закладываются наиболее фундаментальные и ...
Цена: 660 р
/Асмус В.Ф./
Настоящий учебник, написанный в 1947 году известным российским специалистом в области истории философии, логики и литературоведения В.Ф.Асмусом, стал в свое время первой работой по формальной логике, вышедшей в СССР после долгого периода нигилистического ...
Цена: 687 р
/Драгалин А.Г./
.Г.Драгалин (1941--1998) --- выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской ...
Цена: 703 р
/Лунгу К.Н., Макаров Е.В./
Учебное пособие написано на основе многолетнего опыта чтения лекций и проведения практических занятий по высшей математике в Московском государственном открытом университете на различных факультетах. В пособии большое внимание уделяется решению типовых ...
Цена: 758 р
/Закревский А.Д., Поттосин Ю.В., Черемисова Л.Д./
Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абс...
Цена: 790 р
/Клини С./
Имя одного из крупнейших специалистов в области математической логики С.К.Клини знакомо читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (переиздание которого готовится нашим издательством), ставшего настольной книгой ...
Цена: 848 р
/Клини С.К./
Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для ...
Цена: 1000 р
/Ершов Ю.Л., Палютин Е.А./
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория до...
Цена: 1187 р
/Вагин В.Н. и др./
Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе д...
Страницы:
12
 
Показывать книг на странице:
У вас в корзине 1 товар
на сумму 389 руб
Новости
2021-08-09
Уважаемые покупатели! В связи с отпускным периодом с 18.07.2024 по 12.08.2024, сроки выполнения заказов могут быть увеличены. Приносим свои извинения.
0000-00-00
30-го декабря — с 8:30 до 17:00 31-го декабря 1, 2 ,3, 7 и 8-го января 2023 г. магазин не работает 4, 5 и 6-го января 2023 г. — с 10:00 до 17:30