Проблемы верификации конституционных норм; Журнал российского права; № 10 (214)

Проблемы верификации конституционных норм; Журнал российского права; № 10 (214)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Parent link:	Журнал российского права: научный журнал.— , 1997- № 10 (214).— 2014.— [С. 48-58]
Κύριος συγγραφέας:	Оглезнев В. В. Виталий Васильевич
Συγγραφή απο Οργανισμό/Αρχή:	Национальный исследовательский Томский политехнический университет (ТПУ) Институт социально-гуманитарных технологий (ИСГТ) Кафедра социологии, психологии и права (СОЦ)
Άλλοι συγγραφείς:	Суровцев В. А. Валерий Александрович
Περίληψη:	Заглавие с экрана Авторы средствами современной формальной логики предлагают новую оригинальную интерпретацию природы конституции в целом и конституционных норм в частности. Ключевым моментом статьи является сравнение текста конституции с вымышленной сказочной историей. Это позволяет авторам доказать особый характер конституционных норм и их верховенство в правовой системе. Режим доступа: по договору с организацией-держателем ресурса
Γλώσσα:	Ρωσικά
Έκδοση:	2014
Θέματα:	электронный ресурс труды учёных ТПУ конституция формальная логика онтология право верификация
Διαθέσιμο Online:	http://elibrary.ru/item.asp?id=22448563
Μορφή:	Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=643520

Παρόμοια τεκμήρια

Прикладные методы верификации программ
από: Непомнящий В. А. Валерий Александрович
Έκδοση: (Москва, Радио и связь, 1988 )

Логика: учебник
από: Свинцов В. И. Виталий Иванович
Έκδοση: (Москва, Высшая школа, 1987)

Конструктивная математическая логика с точки зрения классической
από: Новиков П. С. Петр Сергеевич
Έκδοση: (Москва, Наука, 1977)

Логика и развитие научного знания: Межвузовский сборник
Έκδοση: (СПб., Изд-во СПбГУ, 1992)

Категориальный синтез логического знания
από: Береговой И. И. Иван Иосифович
Έκδοση: (Львов, Свит, 1990)

Логика Д. Пуансо в контексте дихотомии "искусство-наука"; Вестник науки Сибири; № 3 (4)
από: Скрипник К. Д. Константин Дмитриевич
Έκδοση: (2012)

Введение в математическую логику: пер. с англ.
από: Мендельсон Э. Эллиот
Έκδοση: (Москва, Наука, 1971)

Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
από: Бирюков Б. В. Борис Владимирович
Έκδοση: (Москва, Едиториал УРСС, 2004)

Формы логики
Έκδοση: (Пекин, Народное изд-во, 2005)

Проблема взаимоотношений логики формальной и философской (неформальной и воображаемой Н. А. Васильева); Известия Томского политехнического университета [Известия ТПУ]; Т. 318, № 6 : Экономика. Философия, социология и культурология
από: Московченко А. Д. Александр Дмитриевич
Έκδοση: (2011)

Формальная логика: учебник
Έκδοση: (Ленинград, Изд-во Ленингр. ун-та, 197734)

Язык логики: пер. с англ.
από: Фрейденталь Х. Ханс
Έκδοση: (Москва, Наука, 1969)

Основы проектирования и верификации цифровых схем: учебное пособие
Έκδοση: (Томск, Изд-во ТПУ, 2013)

Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
από: Бабичева И. В.
Έκδοση: (Санкт-Петербург, Лань, 2024)

Логика: учебник
από: Кириллов В. И. Вячеслав Иванович
Έκδοση: (Москва, Высшая школа, 1987)

Логика: учебник
από: Кириллов В. И. Вячеслав Иванович
Έκδοση: (Москва, Высшая школа, 1982)

Принципы верификации и тестирования моделей искусственного интеллекта учебное пособие для вузов
από: Золкин А. Л.
Έκδοση: (Санкт-Петербург, Лань, 2025)

Принцип интерсубъективности и значение верификации знания в неопозитивизме; Философия науки; № 2 (61)
από: Гончаренко М. В. Марк Васильевич
Έκδοση: (2014)

Природопользование. Методологические основы
από: Лотош В. Е. Валерий Ефимович
Έκδοση: (Екатеринбург, Изд-во УрГУПС, 2006)

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

Формальная логика с элементами теории познания: учебник для вузов
από: Абачиев С. К. Сергей Константинович
Έκδοση: (Ростов-на-Дону, Феникс, 2012)

Симметрическая конструктивная логика
από: Заславский И. Д. Игорь Дмитриевич
Έκδοση: (Ереван, Изд-во АН Армянской ССР, 1978)

№ 263 : Вопросы логики: [сборник статей]; Ученые записки [Ленинградского государственного университета]
Έκδοση: (1959)

Введение в математическую логику: монография; пер. с англ.; Т. 1
από: Чёрч А.
Έκδοση: (Москва, Изд-во иностранной литературы, 1960)

Логика: учебное пособие
από: Афанасьева О. В. Ольга Викторовна
Έκδοση: (Москва, Проспект, 2011)

Математическая логика
από: Гладкий А. В. Алексей Всеволодович
Έκδοση: (Москва, Изд-во Российского ГГУ, 1998)

По законам логики
από: Ивин А. А. Александр Архипович
Έκδοση: (Москва, Молодая гвардия, 1983)

Учебно-методическое пособие по изучению дисциплины «Логика и методология науки»
από: Хлебникова О. В.
Έκδοση: (Омск, ОмГУПС, 2022)

Концепция всережимной верификации средств моделирования электроэнергетических систем; Электроэнергетика глазами молодежи; Т. 1
από: Гусев А. С. Александр Сергеевич
Έκδοση: (2015)

Разработка алгоритма верификации DES; Неразрушающий контроль: электронное приборостроение, технологии, безопасность; Т. 1
από: Кожевников Д. С.
Έκδοση: (2015)

К поиску современного механизма конституционных инноваций; Коммуникативные аспекты языка и культуры; Ч. 1
από: Власова С. А.
Έκδοση: (2012)

Альтернативный подход к верификации средств моделирования электроэнергетических систем; Электроэнергетика глазами молодежи - 2019; Т. 1
Έκδοση: (2019)

Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров; Современные техника и технологии; Т. 2
από: Стотланд И. А.
Έκδοση: (2012)

Логика. Практикум: учебное пособие для бакалавров
από: Михайлов К. А. Кирилл Авенирович
Έκδοση: (Москва, Юрайт, 2012)

Смысл и онтология в логике
από: Вяткина Н. Б. Наталья Борисовна
Έκδοση: (Киев, Наукова думка, 1991)

Вып. 5; Логические исследования
Έκδοση: (1998)

Исследование проблемы всережимной верификации средств моделирования электроэнергетических систем; Энергетика: эффективность, надежность, безопасность; Т. 1
από: Суворов А. А.
Έκδοση: (2014)

Журнал Российского права, 2014, № 10 (214) Журнал
Έκδοση: (Москва, ООО "Юридическое издательство Норма", 2014)

Казимир Нарбут
από: Дубровский В. В. Владимир Васильевич
Έκδοση: (Москва, Наука и техника, 1979)

Вып. 3; Логические исследования
Έκδοση: (1995)