Научная Библиотека Пермского Государственного Университета

Главная

Упрощенный режим

Базы данных

Труды учёных ПГНИУ - результаты поиска

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

Область поиска

Найдено в других БД:

Основная библиотечная БД (19)

Библиотека юридичеcкого факультета (статьи) (5)

Продолжающиеся издания (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=ФОРМАЛЬНАЯ ЛОГИКА<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

340.1
П 597

Порохнина, А. А. (студент).
Выводы из понятий как прием логического толкования права / А. А. Порохнина ; рук. работы С. Б. Поляков // Норма. Закон. Законодательство. Право: материалы 16-й Всерос. науч.-практ. конф. молодых ученых, 24-25 апр. 2014 г. - Пермь, 2014. - С. 40-42. - Библиогр.: с. 41-42 (8 назв.)

УДК

340.1

ББК 67.0
Рубрики: Право
Общая теория права
Кл.слова (ненормированные):
логическое толкование права -- формальная логика -- выводы из понятий -- легальная дефиниция

Доп.точки доступа:
Поляков, С. Б. \рук. работы.\

Найти похожие

51(091)
А 60

Алябьева, В. Г.
От логики формальной до логики символической / В. Г. Алябьева // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2017. - Вып. 2 (37). - С. 69-76. - Библиогр.: с. 75-76 (21 назв.)

ГРНТИ	27.01.09
УДК	51(091)

ББК 22.1г
Рубрики: Математика
История математики

Кл.слова (ненормированные):
многозначная логика -- символическая логика -- формальная логика
Аннотация: Представлен краткий исторический обзор становления символической логики от логики Аристотеля до современной математической логики.

Доп.точки доступа:
Аристотель (древнегреческий философ ; 384-322 гг. до н. э.) \\

Найти похожие

    Алябьева, В. Г.
    Математическая логика. Формальная логика [Электронный ресурс] : учебное пособие для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Фундаментальная информатика и информационные технологии» / В. Г. Алябьева ; М-во образования и науки РФ, Перм. гос. нац. исслед. ун-т. - Электрон. дан. (2,77 Мб). - Пермь : ПГНИУ, 2021. - 109 с. - ISBN 978-5-7944-3611-2 : 0.00

ГРНТИ	27.03.19
УДК	510.64:16(075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА (ТЕРМИНОЛОГИЯ) -- ФОРМАЛЬНАЯ ЛОГИКА -- УМОЗАКЛЮЧЕНИЯ -- СИЛЛОГИЗМЫ -- ЛОГИЧЕСКИЙ КВАДРАТ -- РАССУЖДЕНИЯ (ЛОГИКА)

Перейти: Полный текст

Доп.точки доступа:
Министерство образования и науки Российской Федерации; Пермский государственный национальный исследовательский университет
Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

Статистика за 07.08.2024
Число запросов	36986
Число посетителей	479
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)