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

Главная

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

Базы данных

Основная библиотечная БД - результаты поиска

Вид поиска

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

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

Диссертации

Журналы

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

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

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

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

Туризм

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

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

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

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

в найденном

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

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

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

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

Поисковый запрос: (<.>S=Математическая логика<.>)

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

1-20 21-40 41-60 61-80 81-97

   51
   K 89


    Algebra logike / V. B. Kudrjavcev. - Ljubljana : ZOTKS, 2010. - 200 с. : ил. - (Zbirka Univerza za 21. stoletje). - На англ. яз. - Библиогр.: с. 198-199. - ISBN 978-961-6243-58-2 : 150.00 р.

ГРНТИ	27.03.19
УДК	510.63

Рубрики: Математическая логика
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ

Доп.точки доступа:
Kudrjavcev, Valeriy Borisovitch; Blohina, Galina Nikolayevna; Ziga, Knap; Kudrjavcev, Valeriy Valerievitch
Экземпляры всего: 1
ОИЛ (1)
Свободны: ОИЛ (1)
Найти похожие

   51од
   R 19

    Ramsey, Frank Plumpton.
    The foundation of mathematics and other logical essays / F. P. Ramsey ; ed. by R. B. Btaithwaite; pref. by G. E. Moore. - London ; New York : Routledge, 2002. - xviii, 292 с. - (The international library of philosophy) (Philosophy of logic and mathematics in 8 volumes ; vol. V). - Библиогр.: с. xv-xvi. - ISBN 0-415-22546-9 : 4500.00 р.
Примечания о происхождении:
Оксфордский Российский Фонд

27.03.19
УДК	510.6

Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Логика -- Истина и вероятность

Доп.точки доступа:
Braithwaite, R. B. \ред.\; Moore, G. E. \авт. предисл.\
Экземпляры всего: 1
ОИЛ (1)
Свободны: ОИЛ (1)
Найти похожие

   517
   А 456


    Алгебра логики / В. Б. Кудрявцев, Г. Н. Блохина, Ж. Кнап, В. В. Кудрявцев ; Моск. гос. ун-т им. М. В. Ломоносова. - М. ; Любляна : Изд-во ЦПИ при мех.-мат. фак. МГУ, 2006. - 200 с. : ил. - Библиогр.: с. 198-199. - 70 р.

ГРНТИ	27.03.19
УДК	510.63

Рубрики: Математическая логика
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ

Доп.точки доступа:
Кудрявцев, Валерий Борисович; Блохина, Галина Николаевна; Кнап, Жига; Кудрявцев, Валерий Валерьевич; Московский государственный университет им. М. В. Ломоносова (М.). Механико-математический факультет
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

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

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

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

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

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

   517
   А 601

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

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

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

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

Доп.точки доступа:
Министерство образования и науки Российской Федерации; Пермский государственный национальный исследовательский университет
Экземпляры всего: 4
ЧЗЕ (1), АБУ (3)
Свободны: ЧЗЕ (1), АБУ (3)
Найти похожие

   517
   А 721

    Антипенко, Леонид Григорьевич.
    Проблема неполноты теории и ее гносеологическое значение / Л. Г. Антипенко ; ред.: Н. И. Стяжкин, Л. И. Мчедлишвили ; АН СССР, Институт истории. - Москва : Наука, 1986. - 224 с. - 1.20 р.

ГРНТИ	27
УДК	510.6

Рубрики: Математическая логика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- диалектическая логика

Доп.точки доступа:
Стяжкин, Н. И. \ред.\; Мчедлишвили, Л. И. \ред.\; АН СССР; Институт истории
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   517
   Б 218

    Балюкевич, Эдуард Людвигович.
    Математическая логика и теория алгоритмов [Электронный ресурс] : учебно-методический комплекс : учебное пособие для студентов вузов, обучающихся по специальности "Прикладная информатика" и другим экономическим специальностям / Э. Л. Балюкевич, Л. Ф. Ковалева ; Междунар. консорциум "Электронный ун-т" [и др.]. - Электрон. текстовые дан. - Москва : Издательский центр Евразийского открытого института, 2009. - 1 on-line. - Загл. с домашней страницы Интернета. - ISBN 978-5-374-00220-1 : 5479.92 р.

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

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмов теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ -- АЛГОРИТМОВ ТЕОРИЯ -- МАТЕМАТИЧЕСКИЙ АППАРАТ
Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.

Перейти: Электронная библиотека

Доп.точки доступа:
Ковалева, Л. Ф.; Московский государственный университет экономики, статистики и информатикиЕвразийский открытый институт; Международный консорциум "Электронный университет"
Свободных экз. нет
Найти похожие

   517
   Б 534

   Беспалова, Н. И.
    Сборник задач по дискретному анализу / Н. И. Беспалова. - Ташкент : [б. и.].
   Ч. 2 : Математическая логика. - 1981. - 52 с. - 0.15 р.

ГРНТИ	27.03
УДК	510.6(075)

Рубрики: Математическая логика--Учебно-методические пособия
Кл.слова (ненормированные):
ДИСКРЕТНЫЙ АНАЛИЗ

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   517
   В 201

    Васюков, Владимир Леонидович.
    Квантовая логика / В. Л. Васюков ; Рос. акад. наук, Ин-т истории философии. - Москва : ПЕР СЭ, 2005. - 191,[1] с. - Библиогр.: с. 186-191. - ISBN 5-9292-0142-0 : 90.00 р.

ГРНТИ	27
УДК	510.64

Рубрики: Математическая логика
Кл.слова (ненормированные):
Логические системы -- Логика времени -- Логика наблюдаемых -- Лукасевича логика -- Чэна логика -- квантовая логика -- квантовологическое исследование -- логическая техника -- логическое исчисление
Аннотация: Книга посвящена квантовой логике — интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассматривается автором монографии, прежде всего, с точки зрения логических исчислений и логической техники. Главное внимание уделяется синтаксической реконструкции систем квантовой логики и построению различного рода абстрактных семантик для полученных систем. Философские вопросы, возникающие в процессе построения систем квантовой логики, например, природы времени в квантовом мире, рассматриваются и решаются сквозь призму неклассических методов современной логики. Вместе с тем в книге кратко описывается история квантовой логики и дается обзор современных направлений исследований в этой области. Особый интерес представляют последние три главы книги, посвященные построенной автором так называемой квантовой логике наблюдаемых, призванной преодолеть разрыв между используемыми в большинстве квантовологических исследований формализмами и математическим аппаратом современной квантовой теории.

Доп.точки доступа:
Российская академия наук; Институт философии
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

10.

517
В 317

Верещагин, Н. К.
Языки и исчисления [Текст] / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2000. - 288с. - (Лекции по математической логике и теории алгоритмов). - Библиогр.:с.269-272. - ISBN 5-900916-66-9 : 50 р.

УДК

510.6(075.8)

РУБ 517
Рубрики: Математическая логика
Кл.слова (ненормированные):
Учебные издания -- Математическая логика

Доп.точки доступа:
Шень, А.
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

11.

   517
   В 443

    Виленкин, Н. Я.
    Индукция. Комбинаторика : пособие для учителей / Н. Я. Виленкин. - Москва : Просвещение, 1976. - 48 с. - 0.10 р.

ГРНТИ	27.03
УДК	510.6(075)

Рубрики: Математическая логика--Учебно-методические пособия
Кл.слова (ненормированные):
ИНДУКЦИЯ -- КОМБИНАТОРИКА

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

12.

   517
   В 659

    Войшвилло, Е. К.
    Философско-методологические аспекты релевантной логики / Е. К. Войшвилло. - Москва : Издательство Московского государственного университета, 1988. - 139 с. - 1.20 р.

ГРНТИ	27
УДК	510.6

Рубрики: Математическая логика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

13.

   517
   В 670

    Волгин, Леонид Иванович.
    Непрерывная логика. Теория и применение / Л. И. Волгин, В. И. Левин. - Таллинн : [б. и.], 1990. - 210 с. - 1.50 р.

ГРНТИ	27
УДК	510.6

Рубрики: Математическая логика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа:
Левин, Виктор Иосифович
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

14.

   517
   В 748


    Вопросы математической логики и ее приложения : межвузовский сборник научных трудов / ред. Е. А. Щегольков. - Москва : Издательство МГПИ, 1984. - 112 с. - Библиогр. в конце ст. - 1 р.

ГРНТИ	27
УДК	510.6

Рубрики: Математическая логика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа:
Щегольков, Е. А. \ред.\
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

15.

   517
   В 852


    Всесоюзная конференция по прикладной логике (2; 1988; Новосибирск). Тезисы докладов..., 7-9 июня 1988 г. / АН СССР, Институт математики. - Новосибирск : [б. и.], 1988. - 121 с. - 1.50 р.

ГРНТИ	27
УДК	510.6

Рубрики: Математическая логика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа:
АН СССР; Институт математики
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

16.

   517
   Г 458

    Гжегорчик, Анджей .
    Популярная логика. Общедоступный очерк логики предложений : перевод с польского / А. Гжегорчик ; пер. С. П. Беляев. - 2-е изд., испр. . - Москва : Наука, 1972. - 111 с. - 0.26 р.

ГРНТИ	27
УДК	510.6

Рубрики: Математическая логика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа:
Беляев, С. П. \пер.\
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

17.

   517
   Г 458

    Гжегорчик, Анджей.
    Популярная логика : Общедоступный очерк логики предложений / А. Г. Гжегорчик ; пер. с польск.С. П. Беляев. - 3-е изд., стер. - Москва : Наука, 1979. - 112 с. : ил. - 0.25 р.

ГРНТИ	27.23
УДК	510.6

Рубрики: Математическая логика
Кл.слова (ненормированные):
Логика математическая -- Математическая логика

Доп.точки доступа:
Беляев, С. П. \пер.\
Экземпляры всего: 1
АБН (1)
Свободны: АБН (1)
Найти похожие

18.

51
Г 474

Гильберт, Д.
Основы теоретической логики [Текст] : пер.с нем. / Ред.С.А.Яновский. - Биробиджан : Тривиум, 2000. - 304с. - ISBN 5-1251-0180-X : 129 р.

УДК

510.6

РУБ 51
Рубрики: Математическая логика
Кл.слова (ненормированные):
Исчисление высказываний -- Математическая логика -- Исчисление предикатов

Доп.точки доступа:
Аккерман, В.
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

19.

   512
   Г 490

    Гиндикин, Семен Григорьевич.
    Алгебра логики в задачах / С. Г. Гиндикин. - Москва : Наука, 1972. - 288 с. : ил. - 00.76 р., 00.76 р.

ГРНТИ	27.03
УДК	510.6(075)

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

Экземпляры всего: 6
Х (1), АБУ (5)
Свободны: Х (1), АБУ (5)
Найти похожие

20.

   517
   Г 492

    Гинзбург, Самуил Александрович .
    Математическая непрерывная логика и изображение функций / С. А. Гинзбург. - Москва : Энергия, 1968. - 136 с. - (Библиотека по автоматике ; вып. 274). - 0.43 р.

ГРНТИ	27
УДК	510.6

Рубрики: Математическая логика
Кл.слова (ненормированные):
алгебра логики

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

1-20 21-40 41-60 61-80 81-97

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

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

Статистика за 06.07.2024
Число запросов	13692
Число посетителей	368
Число заказов	0

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