Зарегистрироваться

Проблемы математической логики

Сборник научных статей (1970)

Сборник содержит работы, посвященные оценкам сложности алгоритмов и вычислений, классификациям рекурсивных функций и различным типам вычислительных устройств, связанных с такими классификациями. Рассматриваются «ограниченные» машины Тьюринга, обощения конечных автоматов.

Смотри категории знания: математическая логика, логика

Другие произведения в категориях:

Название Год Текст Тип Действия
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. Раскрыть Система логики
Милль Д. С.
1843
Произведение оказало заметное влияние на развитии логики и философии науки. Теория именования, изложенная в нем, частично предвосхитила многие положения ставшей классической концепции Г.Фреге. При этом авторская классификация времен в свою очередь восходила к воззрениям представителей поздней схоластики (У.Оккам, Ж.Буридан). В «Системе логики» приобрело относительно...
Смотри категорию знания: логика
Раздел каталога: философские науки
16. Раскрыть Справочная книга по философской логике
2001
Второе издание популярного в научной философской и логической среде коллективного труда будет содержать, по окончании работы над ним, 18 томов (к 2010 году вышли в свет 14 книг). Издание содержит обширную и подробную информацию по всем основным разделам своевременной философской логики. Каждый том содержит несколько глав по родственным разделам логической науки, написанных...
Смотри категорию знания: логика
17. Раскрыть Теория рекурсивных функций и эффективная вычислимость
Роджерс Х.
1972 научная монография
Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с...
Смотри категорию знания: математическая логика
Уровень подготовки аудитории: студенты вузов, профессиональный
18. Раскрыть Формирование математической логики
Стяжкин Н. И.
1967 научная монография
В книге описываются узловые моменты становления наиболее заметных концепций в истории логики с древнейших времен до начала XX столетия. Особое внимание уделяется зарождению и развитию алгебраических методов в логике.
Смотри категории знания: математическая логика, логика
19. Раскрыть Формирование математической логики
Стяжкин Н. И.
1967 научная монография
В книге описываются узловые моменты становления наиболее заметных концепций в истории логики с древнейших времен до начала XX столетия. Особое внимание уделяется зарождению и развитию алгебраических методов в логике.
Смотри категории знания: математическая логика, логика