Проблемы верификации конституционных норм

Проблемы верификации конституционных норм

Podrobná bibliografie
Parent link:	Журнал российского права: научный журнал.— , 1997- № 10 (214).— 2014.— [С. 48-58]
Hlavní autor:	Оглезнев В. В. Виталий Васильевич
Korporativní autor:	Национальный исследовательский Томский политехнический университет (ТПУ) Институт социально-гуманитарных технологий (ИСГТ) Кафедра социологии, психологии и права (СОЦ)
Další autoři:	Суровцев В. А. Валерий Александрович
Shrnutí:	Заглавие с экрана Авторы средствами современной формальной логики предлагают новую оригинальную интерпретацию природы конституции в целом и конституционных норм в частности. Ключевым моментом статьи является сравнение текста конституции с вымышленной сказочной историей. Это позволяет авторам доказать особый характер конституционных норм и их верховенство в правовой системе. Режим доступа: по договору с организацией-держателем ресурса
Vydáno:	2014
Témata:	электронный ресурс труды учёных ТПУ конституция формальная логика онтология право верификация
On-line přístup:	http://elibrary.ru/item.asp?id=22448563
Médium:	Elektronický zdroj Kapitola
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=643520

Podobné jednotky

Разработка алгоритма верификации DES
Autor: Кожевников Д. С.
Vydáno: (2015)

Принцип интерсубъективности и значение верификации знания в неопозитивизме
Autor: Гончаренко М. В. Марк Васильевич
Vydáno: (2014)

Исследование проблемы всережимной верификации средств моделирования электроэнергетических систем
Autor: Суворов А. А.
Vydáno: (2014)

Логика Д. Пуансо в контексте дихотомии "искусство-наука"
Autor: Скрипник К. Д. Константин Дмитриевич
Vydáno: (2012)

Альтернативный подход к верификации средств моделирования электроэнергетических систем
Vydáno: (2019)

Концепция всережимной верификации средств моделирования электроэнергетических систем
Autor: Гусев А. С. Александр Сергеевич
Vydáno: (2015)

Проблема взаимоотношений логики формальной и философской (неформальной и воображаемой Н. А. Васильева)
Autor: Московченко А. Д. Александр Дмитриевич
Vydáno: (2011)

Основы проектирования и верификации цифровых схем учебное пособие
Vydáno: (Томск, Изд-во ТПУ, 2013)

Прикладные методы верификации программ
Autor: Непомнящий В. А. Валерий Александрович
Vydáno: (Москва, Радио и связь, 1988 )

К поиску современного механизма конституционных инноваций
Autor: Власова С. А.
Vydáno: (2012)

Категориальный синтез логического знания
Autor: Береговой И. И. Иван Иосифович
Vydáno: (Львов, Свит, 1990)

Введение в математическую логику пер. с англ.
Autor: Мендельсон Э. Эллиот
Vydáno: (Москва, Наука, 1971)

Конституция как аксиоматическая система
Autor: Оглезнев В. В. Виталий Васильевич
Vydáno: (2015)

Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
Autor: Бирюков Б. В. Борис Владимирович
Vydáno: (Москва, Едиториал УРСС, 2004)

Формы логики
Vydáno: (Пекин, Народное изд-во, 2005)

Формальная логика учебник
Vydáno: (Ленинград, Изд-во Ленингр. ун-та, 197734)

Язык логики пер. с англ.
Autor: Фрейденталь Х. Ханс
Vydáno: (Москва, Наука, 1969)

Проблема верификации средств моделирования электроэнергетических систем и концепция ее решения
Vydáno: (2017)

Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
Autor: Бабичева И. В.
Vydáno: (Санкт-Петербург, Лань, 2024)

Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров
Autor: Стотланд И. А.
Vydáno: (2012)

Логика учебник
Autor: Кириллов В. И. Вячеслав Иванович
Vydáno: (Москва, Высшая школа, 1982)

Методика гарантированной верификации расчетов режимов и процессов в электроэнергетических системах
Autor: Суворов А. А. Алексей Александрович
Vydáno: (2016)

Природопользование. Методологические основы
Autor: Лотош В. Е. Валерий Ефимович
Vydáno: (Екатеринбург, Изд-во УрГУПС, 2006)

История и философия науки (онтоэпистемологические проблемы конструирования нового знания) учебное пособие
Autor: Гончаренко М. В. Марк Васильевич
Vydáno: (Томск, Изд-во ТПУ, 2023)

Интенсиональные логики и логическая структура теорий материалы IV Советско-финского симпозиума по логике, Телави, май 20-24, 1985 г.
Vydáno: (Тбилиси, Мецниереба, 1988)

Принципы верификации и тестирования моделей искусственного интеллекта учебное пособие для вузов
Autor: Золкин А. Л.
Vydáno: (Санкт-Петербург, Лань, 2025)

Создание фантома для верификации процедуры облучения с помощью медицинского пучка гамма-излучения источника 60Co
Autor: Зубкова Ю. А.
Vydáno: (2020)

Симметрическая конструктивная логика
Autor: Заславский И. Д. Игорь Дмитриевич
Vydáno: (Ереван, Изд-во АН Армянской ССР, 1978)

№ 263 : Вопросы логики [сборник статей]
Vydáno: (1959)

Введение в математическую логику монография пер. с англ.
Autor: Чёрч А.
Vydáno: (Москва, Изд-во иностранной литературы, 1960)

Формальная логика с элементами теории познания учебник для вузов
Autor: Абачиев С. К. Сергей Константинович
Vydáno: (Ростов-на-Дону, Феникс, 2012)

Логика учебное пособие
Autor: Афанасьева О. В. Ольга Викторовна
Vydáno: (Москва, Проспект, 2011)

По законам логики
Autor: Ивин А. А. Александр Архипович
Vydáno: (Москва, Молодая гвардия, 1983)

Учебно-методическое пособие по изучению дисциплины «Логика и методология науки»
Autor: Хлебникова О. В.
Vydáno: (Омск, ОмГУПС, 2022)

Актуальные проблемы логики и методологии науки сборник научных трудов
Vydáno: (Киев, Наукова думка, 1980)

Логика. Практикум учебное пособие для бакалавров
Autor: Михайлов К. А. Кирилл Авенирович
Vydáno: (Москва, Юрайт, 2012)

Смысл и онтология в логике
Autor: Вяткина Н. Б. Наталья Борисовна
Vydáno: (Киев, Наукова думка, 1991)

Философские проблемы развития математики
Autor: Протопопов Ю. К. Юрий Константинович
Vydáno: (Москва, Высшая школа, 1983)

Вып. 3
Vydáno: (1995)

№ 41 : Проблемы методологии и логики наук
Vydáno: (1962)