Výsledky vyhľadávania - "формальная-теория"

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

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

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

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

Popis súboru: application/pdf

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

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

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

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

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

Popis súboru: text/html

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

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

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

Predmety: УСТАВ УГОЛОВНОГО СУДОПРОИЗВОДСТВА,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

Popis súboru: text/html

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

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

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

Predmety: 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

Popis súboru: text/html

Prístupová URL adresa: http://cyberleninka.ru/article_covers/16975442.png
http://cyberleninka.ru/article/n/kontseptsii-zakona-i-sovremennoe-gosudarstvenno-pravovoe-razvitie

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

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

Popis súboru: application/pdf

Prístupová URL adresa: https://openrepository.ru/article?id=438299

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

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

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

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

Popis súboru: 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

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

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

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

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

Popis súboru: text/html

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

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

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

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

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

Popis súboru: application/pdf

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

Dostupnosť: http://earchive.tpu.ru/handle/11683/2211

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

Autori: Х.В. Раковский К.А. Метешкин м. a ďalší

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

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

Popis súboru: 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

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

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

Autori: Х.А. Раковський К.О. Метешкін м. a ďalší

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

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

Popis súboru: 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

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

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

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

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

Popis súboru: application/pdf

Prístupová URL adresa: http://earchive.tpu.ru/handle/11683/2211

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

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

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

Popis súboru: application/pdf

Prístupová URL adresa: http://journals.uran.ua/jme/article/view/21315

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

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

Popis súboru: application/pdf

Prístupová URL adresa: https://openrepository.ru/article?id=438357

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

Autori: Podnieks, Karlis

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

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

Dostupnosť: https://dspace.lu.lv/dspace/handle/7/1453

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

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

Popis súboru: application/pdf

Prístupová URL adresa: https://openrepository.ru/article?id=438392

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

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

Predmety: УСТАВ УГОЛОВНОГО СУДОПРОИЗВОДСТВА,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

Popis súboru: text/html

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

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

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

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

Popis súboru: text/html

Prístupová URL adresa: http://cyberleninka.ru/article/n/metodologicheskie-aspekty-postroeniya-teorii-monitoringa-riska-chrezvychaynyh-situatsiy
http://cyberleninka.ru/article_covers/16507376.png

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

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

Popis súboru: application/pdf

Prístupová URL adresa: https://openrepository.ru/article?id=435141

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

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

Popis súboru: application/pdf

Prístupová URL adresa: https://openrepository.ru/article?id=434886

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

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