Формирование математической логики
Научная монография (1967)
В книге описываются узловые моменты становления наиболее заметных концепций в истории логики с древнейших времен до начала XX столетия. Особое внимание уделяется зарождению и развитию алгебраических методов в логике.
Другие произведения в категориях:
№ | Название | Год | Текст | Тип | Действия |
---|---|---|---|---|---|
1. |
Раскрыть
Алгоритмы и рекурсивные функции Мальцев А. И. |
1965 | научная монография | ||
Посвящается одному из актуальных и бурно развивающихся разделов математической логики – теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов.
Смотри категорию знания: математическая логикаРаздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный |
|||||
2. |
Раскрыть
Введение в математическую логику Мендельсон Э. |
1984 | учебник | ||
В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств.
Смотри категорию знания: математическая логикаРаздел каталога: математика Уровень подготовки аудитории: студенты вузов |
|||||
3. |
Раскрыть
Введение в математическую логику, том 1 |
1956 | учебное пособие, научная монография | ||
Эта монография принадлежит перу одного из самых известных современных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника.
Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями...
Смотри категорию знания: математическая логикаУровень подготовки аудитории: студенты вузов, профессиональный |
|||||
4. |
Раскрыть
Вводный курс математической логики Успенский В. А., Верещагин Н. К., Плиско В. Е. |
1991 | учебное пособие | ||
В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых...
Смотри категорию знания: математическая логикаУровень подготовки аудитории: студенты вузов |
|||||
5. |
Раскрыть
Вычислимость и логика Булос Дж., Джеффри Р. |
1994 | — | ||
В книге известных американских математиков излагаются разделы теории вычислимости. Связанные с логической проблематикой. Излагаются основные методы теории вычислимости, приводятся доказательства теорем о неразрешимости логики предикатов пеервого порядка, тьюрингова вычислимость, теоремы Геделя о неполноте, нестандартные модели и многое другое.
Смотри категории знания: математическая логика, логика |
|||||
6. |
Раскрыть
Вычислимость и логика Булос Дж., Джеффри Р. |
1994 | — | ||
В книге известных американских математиков излагаются разделы теории вычислимости. Связанные с логической проблематикой. Излагаются основные методы теории вычислимости, приводятся доказательства теорем о неразрешимости логики предикатов пеервого порядка, тьюрингова вычислимость, теоремы Геделя о неполноте, нестандартные модели и многое другое.
Смотри категории знания: математическая логика, логика |
|||||
7. |
Раскрыть
Вычислительные машины и труднорешаемые задачи Гэри М., Джонсон Д. |
1982 | научная монография | ||
Монография американских ученых, посвященная вопросам сложности решения комбинаторных задач, возникающих в дискретной оптимизации, математическом программировании, алгебре, теории чисел, теории автоматов, математической логике, теории множеств, теории графов и т.п. Книга отличается строгим и систематическим изложением теории в приложении содержится более 300 труднорешаемых...
Смотри категорию знания: математическая логикаУровень подготовки аудитории: студенты вузов, профессиональный |
|||||
8. |
Раскрыть
Логика как часть теории познания и научной методологии Войшвилло Е. К., Дегтярев М. Г. |
1994 | учебное пособие | ||
Двухтомное учебное пособие содержит систематическое изложение обширного курса логики, включающее логический анализ языка как знаковой системы, символическую логику (кн. 1), а также формы и приемы познания (понятия, суждение, определение, теории), силлогистику, правдоподобные рассуждения, научные объяснения и теорию аргументации
Смотри категорию знания: логика |
|||||
9. |
Раскрыть
Логико-философские труды В.А. Смирнова Смирнов В. А. |
2001 | сборник научных статей | ||
Сборник работ известного логика, философа и методолога науки В.А. Смирнова (1931-1996), приуроченный к 70-летию со дня рождения. Состоит из двух книг, разбитых на тематические разделы.
Содержит раздел воспоминаний о В. А. Смирнове.
Смотри категорию знания: логика |
|||||
10. |
Раскрыть
Логические методы анализа научного знания Смирнов В. А. |
2002 | научная монография | ||
Книга посвящена анализу способов рассуждений и введения понятий в дедуктивных и эмпирических науках. Значительное внимание уделено анализу научных теорий, проблемам определимостии в теории, отношениям между теориями. Изучаются интенсиональные языки, их роль для описания научных процедур.
Смотри категорию знания: логика |
|||||
11. |
Раскрыть
Математическая логика Ершов Ю. Л., Палютин Е. А. |
1987 | учебное пособие | ||
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может...
Смотри категорию знания: математическая логикаУровень подготовки аудитории: студенты вузов, профессиональный |
|||||
12. |
Раскрыть
Органон Аристотель |
— | сборник научных статей | ||
Собрание, включающее в себя следующие трактаты «Категории», «Об истолковании», «Аналитики», «Топика», «О софистических опровержениях». В первом трактате анализируются типы сказывания, а именно такие категории (предикаменты) как сущность, количество, качество и др. Во втором трактате рассматриваются атрибутивные высказывания ассерторические и модальные. В 9 главе этого трактата...
Смотри категорию знания: логика |
|||||
13. |
Раскрыть
Основы логики Бочаров В. А., Маркин В. И. |
1994 | учебник | ||
Один из наиболее известных и квалифицированно написанных отечественных учебников по логике. Учебник представляет собой основное содержание курса лекций по логике, который авторы в течение ряда лет читали на философском факультете и факультете психологии МГУ имени М.В.Ломоносова.
Смотри категорию знания: логика |
|||||
14. |
Раскрыть
Понятие как форма мышления Войшвилло Е. К. |
1989 | научная монография | ||
Впервые исследуется специфика понятия как формы мышления с использованием аппарата современной символической логики, построена теория понятия. Показаны возможности применения средств современной символической логики для анализа структур понятий, отношений между ними и операций над понятиями. Часть I посвящена логическому анализу естественного языка, излагается язык логики...
Смотри категорию знания: логика |
|||||
15. |
Раскрыть
Проблемы математической логики |
1970 | сборник научных статей | ||
Сборник содержит работы, посвященные оценкам сложности алгоритмов и вычислений, классификациям рекурсивных функций и различным типам вычислительных устройств, связанных с такими классификациями. Рассматриваются «ограниченные» машины Тьюринга, обощения конечных автоматов.
Смотри категории знания: математическая логика, логика |
|||||
16. |
Раскрыть
Проблемы математической логики |
1970 | сборник научных статей | ||
Сборник содержит работы, посвященные оценкам сложности алгоритмов и вычислений, классификациям рекурсивных функций и различным типам вычислительных устройств, связанных с такими классификациями. Рассматриваются «ограниченные» машины Тьюринга, обощения конечных автоматов.
Смотри категории знания: математическая логика, логика |
|||||
17. |
Раскрыть
Система логики Милль Д. С. |
1843 | — | ||
Произведение оказало заметное влияние на развитии логики и философии науки. Теория именования, изложенная в нем, частично предвосхитила многие положения ставшей классической концепции Г.Фреге. При этом авторская классификация времен в свою очередь восходила к воззрениям представителей поздней схоластики (У.Оккам, Ж.Буридан). В «Системе логики» приобрело относительно...
Смотри категорию знания: логикаРаздел каталога: философские науки |
|||||
18. |
Раскрыть
Справочная книга по философской логике |
2001 | — | ||
Второе издание популярного в научной философской и логической среде коллективного труда будет содержать, по окончании работы над ним, 18 томов (к 2010 году вышли в свет 14 книг). Издание содержит обширную и подробную информацию по всем основным разделам своевременной философской логики. Каждый том содержит несколько глав по родственным разделам логической науки, написанных...
Смотри категорию знания: логика |
|||||
19. |
Раскрыть
Теория рекурсивных функций и эффективная вычислимость Роджерс Х. |
1972 | научная монография | ||
Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с...
Смотри категорию знания: математическая логикаУровень подготовки аудитории: студенты вузов, профессиональный |