Главная Упрощенный режим

Базы данных


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

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
 Найдено в других БД:Труды учёных ПГНИУ (22)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Математическая логика<.>)
Общее количество найденных документов : 97
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.
   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)
Найти похожие
2.
   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)
Найти похожие
3.
   517
   А 456

   
    Алгебра логики / В. Б. Кудрявцев, Г. Н. Блохина, Ж. Кнап, В. В. Кудрявцев ; Моск. гос. ун-т им. М. В. Ломоносова. - М. ; Любляна : Изд-во ЦПИ при мех.-мат. фак. МГУ, 2006. - 200 с. : ил. - Библиогр.: с. 198-199. - 70 р.
ГРНТИ
27.03.19
УДК
510.63
Рубрики: Математическая логика
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ


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

    Алябьева, Валентина Георгиевна.
    Математическая логика. Формальная логика [Электронный ресурс] : учебное пособие для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Фундаментальная информатика и информационные технологии» / В. Г. Алябьева ; М-во образования и науки РФ, Перм. гос. нац. исслед. ун-т. - Электрон. дан. (2,77 Мб). - Пермь : ПГНИУ, 2021. - 109 с. - ISBN 978-5-7944-3611-2 : 0.00
ГРНТИ
27.03.19
УДК
510.64:16(075.8)
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА (ТЕРМИНОЛОГИЯ) -- ФОРМАЛЬНАЯ ЛОГИКА -- УМОЗАКЛЮЧЕНИЯ -- СИЛЛОГИЗМЫ -- ЛОГИЧЕСКИЙ КВАДРАТ -- РАССУЖДЕНИЯ (ЛОГИКА)

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

Доп.точки доступа:
Министерство образования и науки Российской Федерации; Пермский государственный национальный исследовательский университет
Свободных экз. нет
Найти похожие
5.
   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)
Найти похожие
6.
   517
   А 721

    Антипенко, Леонид Григорьевич.
    Проблема неполноты теории и ее гносеологическое значение / Л. Г. Антипенко ; ред.: Н. И. Стяжкин, Л. И. Мчедлишвили ; АН СССР, Институт истории. - Москва : Наука, 1986. - 224 с. - 1.20 р.
ГРНТИ
27
УДК
510.6
Рубрики: Математическая логика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- диалектическая логика


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

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

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

   Беспалова, Н. И.
    Сборник задач по дискретному анализу / Н. И. Беспалова. - Ташкент : [б. и.].
   Ч. 2 : Математическая логика. - 1981. - 52 с. - 0.15 р.
ГРНТИ
27.03
УДК
510.6(075)
Рубрики: Математическая логика--Учебно-методические пособия
Кл.слова (ненормированные):
ДИСКРЕТНЫЙ АНАЛИЗ

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
9.
   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)
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 08.07.2024
Число запросов 57826
Число посетителей 545
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)