Отраслевые рубрики: логика, философские науки

Ключевые слова: автоматическое реферирование, аксиоматизация, алгоритмическая теория множеств, алгоритмы, апории Зенона, геометрия, дедуктивная логика, дедукция, импликация, логические исчисления, логические схемы, математика, математическая логика, методы реферирования, множества, причинность, реферирование, силлогистика, теория дедукции, теория множеств, философия

Форматир. содержание:
О философских вопросах математической логики/ Яновская С. А.
Некоторые вопросы, связанные с проблемой разрешения для исчисления строгой импликации Аккермана/ Донченко В. В.
Об одном методе спецреферирования/ Стяжкин И. И./ Певзнер Б. Р.
Обобщение силлогистики/ Зиновьев А. А.
Замечания по поводу системы силлогистики и общей теории дедукции/ Смирнов В. А.
Алгоритмы и логические схемы алгоритмов/ Смирнов В. А.
О множествах, разрешимых и перечислимых автоматами/ Козмидиади В. А.
Преодолены ли в современной науке трудности, известные под названием "апории Зенона"?/ Яновская С. А.
О построении анализа на основе аксиоматизированной геометрии прямой II/ Гастев Ю. А.
Об одном подходе к анализу причинности/ Магинскас Ю. А.

Сигла хранения	Всего экз.	В наличии	Заказано
абонемент	1	1	0