Зведений каталог бібліотек Миколаєва

• Класифікатори та каталоги
• Фундаментальні та загальні питання математики

Загальні проблеми математичної логіки. Основи математики

Підтеми:

• Логічна семантика. Семантичні антиномії
• Формалізм (математичні аспекти)
• Конструктивний підхід. Конструктивна математика
• Загальні філософські питання. Критичні аспекти. Логічні антиномії
• Теорія множин. Теоретико-множинний підхід
• Інтуїціонізм (математичні аспекти)
• Логічний позитивізм

Документи:

• Конструктивно-продукционная модель графового представления текста [Текст] / В.И. Шинкаренко, Е.С. Куропятник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 63-72.
• Конструкционно-продукционная модель структур данных на логическом уровне [Текст] / В.И. Шинкаренко, В.М. Ильман, Г.В. Забула // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 10-16.