Логика
Табличные методы в логике, О. А. Антонова
Раздел: Логика
Страниц: 256
Год издания: 2003
Язык: Русский
Табличный метод - одна из наиболее простых и эффективных процедур поиска доказательств, широко применяется в различных областях математической логики, теории аргументации и искусственного интеллекта. ...
Фатализм и случайность будущего. Логический анализ, А. С. Карпенко
Разделы: Логика, Основы философии. Общие работы
Страниц: 216
Год издания: 2008
Язык: Русский
Главное внимание в книге уделено появлению и развитию дискуссий о логическом и теологическом фатализме. Устанавливается глубокая связь указанных видов фатализма с тоталитаризмом. Анализируются попытки ...
Логика. Том 1. Учение о суждении, понятии и выводе, Христоф Зигварт
Раздел: Логика
Страниц: 464
Год издания: 2008
Язык: Русский
В издание входит учение о суждении, понятии и выводе.
Логические исследования. Выпуск 16
Раздел: Логика
Страниц: 304
Год издания: 2010
Язык: Русский
В данный выпуск "Логических исследований" включены наиболее важные результаты, полученные в различных областях логики за последнее время. Обсуждаются такие фундаментальные вопросы как основания логики ...
Проблема логического обоснования дедуктивно-математического знания от Античности до XX века. Логико-математический и философский аспекты, Б. В. Бирюков, Л. Г. Бирюкова
Разделы: История математики, Логика
Страниц: 240
Год издания: 2015
Язык: Русский
В книге освещаются вопросы логико-математического обоснования математики. Рассматриваются такие направления в логико-философских исследованиях, которые связаны с идеей бесконечности, теорией пределов, ...