Еvidence Evaluation in Official Crimes Consideration in the pre-reform Court (based on the Materials of the Vologda Criminal Court Chamber) ; Оценка доказательств при рассмотрении должностных преступлений в дореформенном суде (на материалах Вологодской палаты уголовного суда)

Authors: Плех, Олеся

Source: Territory: Journal of Historical Research; Vol 1 No 2 (2025); 80-117 ; Территория: журнал исторических исследований; Том 1 № 2 (2025); 80-117 ; 3033-621X

Subject Terms: Vologda province, provincial chamber of the criminal court, pre-reform court, criminal proceedings, inquisitorial system, formal theory of evidence, assessment of evidence, official crimes, дореформенный суд, уголовное судопроизводство, розыскной процесс, формальная теория доказательств, оценка доказательств, должностные преступления, губернская палата уголовного суда, Вологодская губерния

File Description: application/pdf

Relation: https://territory.hse.ru/article/view/27882/22749; https://territory.hse.ru/article/view/27882

Availability: https://territory.hse.ru/article/view/27882
https://doi.org/10.17323/tjhr.2025.2.27882

КОНЦЕПЦИИ ЗАКОНА И СОВРЕМЕННОЕ ГОСУДАРСТВЕННО-ПРАВОВОЕ РАЗВИТИЕ

Authors: ЛУКЬЯНОВА Е.Г.

Subject Terms: УЧЕНИЯ О ЗАКОНЕ,ПОНЯТИЕ И ПРИЗНАКИ ЗАКОНА,THE CONCEPT AND FEATURES OF THE LAW,ФОРМАЛЬНАЯ ТЕОРИЯ ЗАКОНА,THE FORMAL THEORY OF LAW,МАТЕРИАЛЬНАЯ ТЕОРИЯ ЗАКОНА,MATERIAL THEORY OF LAW,ГОСУДАРСТВЕННО-ПРАВОВОЕ РАЗВИТИЕ,STATE AND LEGAL DEVELOPMENT,THEORY OF LAW

File Description: text/html

Availability: http://cyberleninka.ru/article/n/kontseptsii-zakona-i-sovremennoe-gosudarstvenno-pravovoe-razvitie
http://cyberleninka.ru/article_covers/16975442.png

ВЛИЯНИЕ УСТАВА УГОЛОВНОГО СУДОПРОИЗВОДСТВА 1864 Г. НА СОВРЕМЕННЫЕ ТРЕБОВАНИЯ К ДОПУСТИМОСТИ ДОКАЗАТЕЛЬСТВ

Authors: ЗАКОТЯНСКИЙ АЛЕКСЕЙ СЕРГЕЕВИЧ

Subject Terms: УСТАВ УГОЛОВНОГО СУДОПРОИЗВОДСТВА,CHARTER OF CRIMINAL PROCEEDINGS,ДОПУСТИМОСТЬ ДОКАЗАТЕЛЬСТВ,ADMISSIBILITY OF EVIDENCE,ФОРМАЛЬНАЯ ТЕОРИЯ ДОКАЗАТЕЛЬСТВ,FORMAL PROOF THEORY,СВОБОДНАЯ ОЦЕНКА ДОКАЗАТЕЛЬСТВ,FREE EVALUATION OF EVIDENCE,ВЕРОЯТНОСТНЫЙ ХАРАКТЕР ДОКАЗЫВАНИЯ,PROBABILISTIC NATURE OF PROOF,СУДЕЙСКОЕ УСМОТРЕНИЕ,JUDICIAL DISCRETION,УГОЛОВНО-ПРОЦЕССУАЛЬНАЯ ФОРМА ДОКАЗАТЕЛЬСТВ,CRIMINAL-PROCEDURAL FORM OF EVIDENCE,НЕСУЩЕСТВЕННЫЕ НАРУШЕНИЯ ЗАКОНА,MINOR VIOLATIONS OF LAW,ИСТИНА,TRUTH,ДОКАЗЫВАНИЕ,PROOF

File Description: text/html

Availability: http://cyberleninka.ru/article/n/vliyanie-ustava-ugolovnogo-sudoproizvodstva-1864-g-na-sovremennye-trebovaniya-k-dopustimosti-dokazatelstv
http://cyberleninka.ru/article_covers/16514778.png

Концепции закона и современное государственно-правовое развитие

Source: Труды Института государства и права Российской академии наук.

Subject Terms: 16. Peace & justice, УЧЕНИЯ О ЗАКОНЕ,ПОНЯТИЕ И ПРИЗНАКИ ЗАКОНА,THE CONCEPT AND FEATURES OF THE LAW,ФОРМАЛЬНАЯ ТЕОРИЯ ЗАКОНА,THE FORMAL THEORY OF LAW,МАТЕРИАЛЬНАЯ ТЕОРИЯ ЗАКОНА,MATERIAL THEORY OF LAW,ГОСУДАРСТВЕННО-ПРАВОВОЕ РАЗВИТИЕ,STATE AND LEGAL DEVELOPMENT,THEORY OF LAW

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/16975442.png
http://cyberleninka.ru/article/n/kontseptsii-zakona-i-sovremennoe-gosudarstvenno-pravovoe-razvitie

О ПРИМЕНЕНИИ КОНЕЧНЫХ АВТОМАТОВ К ИССЛЕДОВАНИЮ РАЗРЕШИМОСТИ ТЕОРИИ С ОПЕРАТОРОМ ФИКСИРОВАННОЙ ТОЧКИ

Subject Terms: 510.652 Формальная арифметика. Формальная теория чисел

File Description: application/pdf

Access URL: https://openrepository.ru/article?id=438299

Задача формализации процессов управления боевой подготовкой ; Завдання формалізації процесів управління бойовою підготовкою ; Task of formalization of processes of management combat training

Authors: М.И. Литвиненко, М.І. Літвіненко, М.І. Litvinenko

Source: Системи обробки інформації. — 2012. — № 9(107). 107-110 ; Системы обработки информации. — 2012. — № 9(107). 107-110 ; Information Processing Systems. — 2012. — № 9(107). 107-110 ; 1681-7710

Subject Terms: Обробка інформації в складних організаційних системах, УДК 4.825, формализация, учебный процесс, логика категорий, формальный язык, управление, формальная теория, формалізація, учбовий процес, логіка категорій, формальна мова, управління, формальна теорія, formalization, educational process, logic of categories, formal language, management, formal theory

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/10217/soi_2012_9_28.pdf; http://www.hups.mil.gov.ua/periodic-app/article/10217

Availability: http://www.hups.mil.gov.ua/periodic-app/article/10217

Методологические аспекты построения теории мониторинга риска чрезвычайных ситуаций

Authors: ЯКОВЛЕВ О.В.

Subject Terms: НАУКА,ФОРМАЛЬНАЯ ТЕОРИЯ,ТЕОРИЯ ПРИКЛАДНАЯ,РИСК,КОНЦЕПЦИЯ МОНИТОРИНГА,УГРОЗЫ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/metodologicheskie-aspekty-postroeniya-teorii-monitoringa-riska-chrezvychaynyh-situatsiy
http://cyberleninka.ru/article_covers/16507376.png

Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов

Authors: Новосельцев, Виталий Борисович

Source: Известия Томского политехнического университета

Subject Terms: хорновские дизъюнкты, системы логического программирования, Пролог, формальная теория

File Description: application/pdf

Relation: Известия Томского политехнического университета [Известия ТПУ]. 2008. Т. 312, № 5 : Управление, вычислительная техника и информатика; http://earchive.tpu.ru/handle/11683/2211

Availability: http://earchive.tpu.ru/handle/11683/2211

Задача формализации процессов управления боевой подготовкой ; Завдання формалізації процесів управління бойовою підготовкою ; Problem of formalization of managerial processes by combat training

Authors: Х.В. Раковский, К.А. Метешкин, м., Х.В. Раковський, К.О. Метешкин, М.А. Павленко, H.V. Rakovsky, K.A. Meteshkin, M.A. Pavlenko

Source: Системи обробки інформації. — 2008. — № 2(69). 162-165 ; Системы обработки информации. — 2008. — № 2(69). 162-165 ; Information Processing Systems. — 2008. — № 2(69). 162-165 ; 1681-7710

Subject Terms: Виховання, УДК 4.825, формализация, учебный процесс, логика категорий, формальный язык, управление, формальная теория, формалізація, навчальний процес, логіка категорій, формальна мова, управління, формальна теорія, formalisation, educational process, logic of categories, formal language, management, the formal theory

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/12702/soi_2008_2_40.pdf; http://www.hups.mil.gov.ua/periodic-app/article/12702

Availability: http://www.hups.mil.gov.ua/periodic-app/article/12702

Підхід до автоматизації процесів управління підготовкою військ Повітряних Сил ; ПОДХОД К АВТОМАТИЗАЦИИ ПРОЦЕССОВ УПРАВЛЕНИЯ ПОДГОТОВКОЙ ВОЙСК ВОЗДУШНЫХ СИЛ ; THE APPROACH TO AUTOMATION OF MANAGERIAL PROCESSES BY PREPARATION OF ARMIES OF AIR FORCES

Authors: Х.А. Раковський, К.О. Метешкін, м., Х.В. Раковский, К.А. Метешкин, М.А. Павленко, H.V. Rakovsky, K.A. Meteshkin, M.A. Pavlenko

Source: Системи обробки інформації. — 2008. — № 6(73). 98-101 ; Системы обработки информации. — 2008. — № 6(73). 98-101 ; Information Processing Systems. — 2008. — № 6(73). 98-101 ; 1681-7710

Subject Terms: Обробка інформації в складних технічних системах, УДК 4.825, формалізація, навчальний процес, логіка категорій, формальна мова, управління, формальна теорія, формализация, учебный процесс, логика категорий, формальный язык, управление, формальная теория, formalisation, educational process, logic of categories, formal language, management, the formal theory

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/6279/soi_2008_6_25.pdf; http://www.hups.mil.gov.ua/periodic-app/article/6279

Availability: http://www.hups.mil.gov.ua/periodic-app/article/6279

Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов

Source: Известия Томского политехнического университета

Subject Terms: хорновские дизъюнкты, системы логического программирования, Пролог, формальная теория

File Description: application/pdf

Access URL: http://earchive.tpu.ru/handle/11683/2211

Formal theory model in the form of commutative semigroup of image constructions

Source: Journal of Mechanical Engineering; Том 16, № 6 (2013); 24-40
Проблемы машиностроения; Том 16, № 6 (2013); 24-40
Проблеми машинобудування; Том 16, № 6 (2013); 24-40

Subject Terms: formal theory, commutative semi-group, linguistic image, image construction, dialogue support, формальна теорія, комутативна напівгрупа, мовний образ, образна конструкція, підтримка діалогу, формальная теория, коммутативная полугруппа, языковый образ, образная конструкция, поддержка диалога, УДК 004.93:159.95

File Description: application/pdf

Access URL: http://journals.uran.ua/jme/article/view/21315

ОБ ЭЛИМИНАЦИИ ОПЕРАТОРА ФИКСИРОВАННОЙ ТОЧКИ ДЛЯ НЕКОТОРЫХ ФОРМУЛ В ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ

Subject Terms: 510.652 Формальная арифметика. Формальная теория чисел

File Description: application/pdf

Access URL: https://openrepository.ru/article?id=438357

Вокруг теоремы Геделя

Authors: Podnieks, Karlis

Subject Terms: логика, основания математики, теорема о неполноте, теорема Геделя, платонизм, формальная теория

Relation: Подниекс К. Вокруг теоремы Геделя. – Рига: Зинатне, 1992.; https://dspace.lu.lv/dspace/handle/7/1453

Availability: https://dspace.lu.lv/dspace/handle/7/1453

О НЕРАЗРЕШИМОСТИ АДДИТИВНЫХ И МУЛЬТИПЛИКАТИВНЫХ ТЕОРИЙ НАТУРАЛЬНЫХ ЧИСЕЛ С ОПЕРАТОРОМ ТРАНЗИТИВНОГО ЗАМЫКАНИЯ

Subject Terms: 510.652 Формальная арифметика. Формальная теория чисел

File Description: application/pdf

Access URL: https://openrepository.ru/article?id=438392

Влияние Устава уголовного судопроизводства 1864 г. На современные требования к допустимости доказательств

Source: Актуальные проблемы российского права.

Subject Terms: УСТАВ УГОЛОВНОГО СУДОПРОИЗВОДСТВА,CHARTER OF CRIMINAL PROCEEDINGS,ДОПУСТИМОСТЬ ДОКАЗАТЕЛЬСТВ,ADMISSIBILITY OF EVIDENCE,ФОРМАЛЬНАЯ ТЕОРИЯ ДОКАЗАТЕЛЬСТВ,FORMAL PROOF THEORY,СВОБОДНАЯ ОЦЕНКА ДОКАЗАТЕЛЬСТВ,FREE EVALUATION OF EVIDENCE,ВЕРОЯТНОСТНЫЙ ХАРАКТЕР ДОКАЗЫВАНИЯ,PROBABILISTIC NATURE OF PROOF,СУДЕЙСКОЕ УСМОТРЕНИЕ,JUDICIAL DISCRETION,УГОЛОВНО-ПРОЦЕССУАЛЬНАЯ ФОРМА ДОКАЗАТЕЛЬСТВ,CRIMINAL-PROCEDURAL FORM OF EVIDENCE,НЕСУЩЕСТВЕННЫЕ НАРУШЕНИЯ ЗАКОНА,MINOR VIOLATIONS OF LAW,ИСТИНА,TRUTH,ДОКАЗЫВАНИЕ,PROOF, 16. Peace & justice

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/vliyanie-ustava-ugolovnogo-sudoproizvodstva-1864-g-na-sovremennye-trebovaniya-k-dopustimosti-dokazatelstv
http://cyberleninka.ru/article_covers/16514778.png

Методологические аспекты построения теории мониторинга риска чрезвычайных ситуаций

Source: Научные и образовательные проблемы гражданской защиты.

Subject Terms: НАУКА,ФОРМАЛЬНАЯ ТЕОРИЯ,ТЕОРИЯ ПРИКЛАДНАЯ,РИСК,КОНЦЕПЦИЯ МОНИТОРИНГА,УГРОЗЫ

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/metodologicheskie-aspekty-postroeniya-teorii-monitoringa-riska-chrezvychaynyh-situatsiy
http://cyberleninka.ru/article_covers/16507376.png

Эффективная трансляция расширенных

Subject Terms: 510.652 Формальная арифметика. Формальная теория чисел

File Description: application/pdf

Access URL: https://openrepository.ru/article?id=435141

Эффективная трансляция расширенных

Subject Terms: 510.652 Формальная арифметика. Формальная теория чисел

File Description: application/pdf

Access URL: https://openrepository.ru/article?id=434886

АНАЛИТИЧЕСКАЯ ТЕОЛОГИЯ: ДЕДУКТИВНОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ О НЕРАЗРЕШИМОСТИ В ЛОГИЧЕСКИ ФОРМАЛИЗОВАННОЙ АКСИОМАТИЧЕСКОЙ ТЕОРИИ СИГМА ФОРМУЛЫ [DX], ПРЕДСТАВЛЯЮЩЕЙ В РЕЛЕВАНТНОЙ ТЕИСТИЧЕСКОЙ ИНТЕРПРЕТАЦИИ УТВЕРЖДЕНИЕ О БЫТИИ БОГА

Subject Terms: непротиворечивость-теории, недоказуемость-утверждения-о-существовании-Бога, неразрешимость-формулыв-теории, формальная-теория, недоказуемостьотрицания-утверждения-о-существовании-Бога