Веб-бібліотека - головна сторінка


Мєднікова Г.С. Українська і зарубіжна культура XX століття:

Світосприйняття людини XX століття і характерні риси культури цього часу. Формування нової картини світу та ідеалу особистості в XX ст. Особливості художньої культури XX ст. Нове в художній мові авангарду. Париж - батьківщина авангарду. Вплив примітивізму на мистецтво авангарду. Значення примітивізму для розвитку авангарду. Анрі Руссо - засновник примітивізму. Примітивізм в українському мистецтві. Фовізм - початок відходу від принципів класичного мистецтва. Основні принципи фовізму. Анрі Матісс - теоретик і відомий художник фовізму. Кубізм - нова ера в живописі. Нова концепція станкового живопису в кубізмі. Три періоди розвитку кубізму. Значення кубізму для розвитку мистецтва XX ст...

РАЗРЕШЕНИЯ (разрешимости) ПРОБЛЕМА

- одна из осн. проблем, встающих в связи с построением формализованных дедуктивных теорий. Ее положительное или отрицательное решение для каждой конкретной формальной теории связано соответственно с существованием или несуществованием нек-рого общего метода (или алгоритма), позволяющего конечным числом действий выяснить, является ли произвольная формула рассматриваемой теории доказуемой (истинной) в данной системе. Р. п. положительно решается, напр., в исчислении высказываний и в формализованной аристотелевской силлогистике. Однако уже для исчисления предикатов общего решения этой проблемы не существует. Невозможность найти для к.-л. формальной теории общий разрешающий метод не исключает поисков таких решений для отдельных классов формул этой теории.