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

Главная

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

Базы данных

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

Вид поиска

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

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

Диссертации

Журналы

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

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

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

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

Туризм

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

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

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

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

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

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

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

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

Поисковый запрос: (<.>K=логика высказываний<.>)

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

16
И 918

Исчисление высказываний : метод. пособие по логике / сост. В. Х. Зеленкин. - 2-е изд., испр. и доп. - Пермь : [б. и.], 2010. - 120 с. - Б. ц.

УДК

ББК 87.41
Рубрики: Логика
Логический синтаксис и логическая семантика
Кл.слова (ненормированные):
синтаксическо-семантическая система -- логика высказываний -- натуральные системы исчисления -- аксиоматические исчисления высказываний -- теоремы дедукции -- метатеоремы исчисления высказываний

Доп.точки доступа:
Зеленкин, В. Х. \сост.\
Свободных экз. нет
Найти похожие

510.6
Ч-57

Чечулин, В. Л.
Моделирование логических схем посредством теории множеств / В. Л. Чечулин // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2012. - Вып. 1 (9). - С. 19-21. - Библиогр.: с. 23 (2 назв.)

УДК

510.6

ББК 22.12
Рубрики: Математика
Математическая логика

Кл.слова (ненормированные):
теории множеств с самопринадлежностью -- логика высказываний -- лямбда-вычисления -- логические схемы -- теорема исключения третьего -- двузначная логика
Аннотация: На основании известных теорем о непротиворечивости лямбда-исчисления, доказанных в семантике самопринадлежности, описан способ моделирования логических схем посредством теории множеств, использующий модель двузначной логики; из этих теорем о непротиворечивости следует непротиворечивость моделей логических схем.

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

   517
   А 601

    Алябьева, В. Г.
    Математическая логика [Электронный ресурс] : учебное пособие для студентов, обучающихся по направлениям подготовки бакалавров "Прикладная математика и информатика", "Фундаментальная информатика и информационные технологии" и специальности "Компьютерная безопасность" / В. Г. Алябьева ; М-во образования и науки РФ, Перм. гос. нац. исслед. ун-т. - Пермь : ПГНИУ, 2017. - 111 с. : ил. - Библиогр.: с. 109-110. - ISBN 978-5-7944-2904-6 : 0.00

ГРНТИ	27.03.19
УДК	510.6(075.8)

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

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

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

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

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

Статистика за 29.06.2024
Число запросов	45991
Число посетителей	571
Число заказов	0

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