|
Книги
Книги в разделе
|
/Ершов Ю.Л., Палютин Е.А./
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория до...
|
|
/Клини С./
Имя одного из крупнейших специалистов в области математической логики С.К.Клини знакомо читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (переиздание которого готовится нашим издательством), ставшего настольной книгой ...
|
|
/Гуц А.К./
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая ...
|
|
/Зюзьков В.М., Шелупанов А.А./
Изложены базовые понятия и принципы математической логики и теории алгоритмов. Рассмотрен ряд распространенных логических парадоксов, на примере которых показаны трудности, возникающие в логике. Книга содержит разнообразные логические задачи, упражнения, ...
|
|
/Гудстейн Р.Л./
Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р.Л....
|
|
/Колмогоров А.Н., Драгалин А.Г./
Авторы настоящей книги — А.Н.Колмогоров и А.Г.Драгалин — выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика. Дополнительные главы" ...
|
|
/Зиновьев А.А./
Исследования научных знаний в рамках понятий и методов логики образуют логическую теорию научных знаний. В книге выдающегося отечественного мыслителя А.А.Зиновьева дается систематизированное построение той концепции логической теории научных знаний, ...
|
|
/Закревский А.Д., Торопов Н.Р./
При проектировании логических EXOR-схем, содержащих элементы суммирования по модулю 2, возникают задачи оптимального представления булевых функций и систем полиномами Жегалкина и Рида-Маллера. Эта комбинаторная задача существенно усложняется в случае не ...
|
|
/Пуанкаре А., Кутюра Л./
Критическому разбору идей «логицизма» -- направления, ставящего целью обосновать математику сведением ее исходных понятий к понятиям логики, -- выдающийся французский математик и философ А.Пуанкаре (1854-1912) посвятил работу «Математика и логика», ...
|
|
/Коэн П. Дж./
В книге излагается доказательство независимости гипотезы континуума от остальных аксиом теории множеств --- один из самых интересных и ярких результатов в математике, за который автор, профессор Стэнфордского университета Пол Джозеф Коэн, был удостоен ...
|
|
/Бурбаки Н./
Настоящее издание представляет собой перевод первой книги первой части трактата Н.Бурбаки "Начала математики", имеющего целью изложить всю современную математику с единой и оригинальной точки зрения. В этой книге закладываются наиболее фундаментальные и ...
|
|
/Бускаран Э. (под ред.)/
Книга посвящена впечатляющим результатам в алгебраической геометрии, полученным на основе применения современных достижений теории моделей (доказательство гипотезы Морделла-Ленга для полей функций, доказательство гипотезы Манина-Мамфорда, эффективная ...
|
|
/Тарасенко В./
Фрактальная геометрия оперирует парадоксальными геометрическими предметами, результаты измерения которых (длина, площадь, объем) устремляются к бесконечности. В качестве начальной (а потому неточной) метафоры можно сказать, что фрактальная логика оперирует...
|
Страницы: |
|
Показывать книг на странице:
|
|
2024-11-25
Уважаемые покупатели! По техническим причинам отправка заказов не будет осуществляться в период с 25 ноября 2024 г. по 2 декабря 2024 г. Приносим вам свои извинения.
2024-10-29
МАГАЗИН В МФТИ БУДЕТ РАБОТАТЬ В ВОСКРЕСЕНЬЕ 3 ноября 2024 г. с 9.00 до 18.00. 4 ноября — выходной!
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
/Киреев А.А., Корепанов Г.М., Зыков И.О., Зикрацкий Г.С. /
/Гинзбург В.Л., Андрюшин Е.А./
/Вергунов А.Ю., Киреев А.А., Слободянин В.П./
/Киреев А.А., Корепанов Г.М., Зыков И.О., Зикрацкий Г.С./
/Вергунов А.Ю., Киреев А.А., Слободянин В.П./
|