система формальных доказательств
1ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует …
2ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …
3ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… …
4Розыскной процесс — (также инквизиционный процесс, следственный процесс) форма уголовного процесса, существенными чертами которой является: отсутствие прав у обвиняемого, возможности состязания с обвинителем; слияние защиты с обвинением и разрешением дела,… …
5Инквизиционный процесс — Розыскной процесс (также инквизиционный процесс, (устар. следственный процесс) форма уголовного процесса, существенными чертами которой является: отсутствие прав у обвиняемого, возможности состязания с обвинителем; слияние защиты с обвинением и… …
6Разыскной процесс — Розыскной процесс (также инквизиционный процесс, следственный процесс)  форма уголовного процесса, существенными чертами которой является: отсутствие прав у обвиняемого, возможности состязания с обвинителем; слияние защиты с обвинением и… …
7Уголовное судопроизводство — (instruction criminelle, Strafprocessrecht), иначе формальное, или процессуальное, У. право (formelles Strafrecht) есть установленный законом порядок осуществления карательной власти в отдельных случаях. Под У. судопроизводством разумеются как… …
8Уголовное судопроизводство — (instruction criminelle, Strafprocessrecht), иначе формальное, или процессуальное, У. право (formelles Strafrecht) есть установленный законом порядок осуществления карательной власти в отдельных случаях. Под У. судопроизводством разумеются как… …
9Русская Правда — У этого термина существуют и другие значения, см. Русская правда (значения). Страница из краткой редакции «Русской Правды». Русская Правда (др. рус …
10УГОЛОВНЫЙ ПРОЦЕСС — основанная на законе деятельность упра вомоченных органов и лиц по расследованию преступлений ^разрешению уголовных дел. У.п. называют также уголовным судопроизводством, подчеркивая таким образом особое значение в ней суда как единственного… …