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

Базы данных


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

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
 Найдено в других БД:Труды учёных ПГНИУ (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ЛОГИКА МАТЕМАТИЧЕСКАЯ<.>)
Общее количество найденных документов : 27
Показаны документы с 1 по 10
 1-10    11-20   21-27 
1.
   16од
   S 16

    Sainsbury, Mark.
    Logical forms : an introduction to philosophical logic / M. Sainsbury. - 2nd. ed. - Malden : Blackwell, 2001. - 424 с. - ISBN 0-631-21679-0 : 1099.50 р.
Примечания о происхождении:
Оксфордский Российский Фонд
02
УДК
164
ББК Ю42
Рубрики: Логика
Кл.слова (ненормированные):
Логические формы -- Логика символическая -- Логика математическая

Экземпляры всего: 1
ОИЛ (1)
Свободны: ОИЛ (1)
Найти похожие
2.
517
А456

   
    Алгебраические и логические конструкции : Сб.науч.тр / Твер.ун-т. - Тверь : [б. и.], 1994. - 104 с. - ISBN 5-230-08552-5 : 1500 р.
УДК
510.6+512+519.7](082)
РУБ 517

Кл.слова (ненормированные):
Кибернетика -- Логика математическая -- Алгебра
Аннотация: Основная тема сборника - применение алгебраических и логических конструкций при исследовании алгебры и автоматов.

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
3.
   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)
Найти похожие
4.
   517
   Г 458

    Гжегорчик, Анджей.
    Популярная логика : Общедоступный очерк логики предложений / А. Г. Гжегорчик ; пер. с польск.С. П. Беляев. - 3-е изд., стер. - Москва : Наука, 1979. - 112 с. : ил. - 0.25 р.
ГРНТИ
27.23
УДК
510.6
Рубрики: Математическая логика
Кл.слова (ненормированные):
Логика математическая -- Математическая логика


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

    Гринченков, Дмитрий Валерьевич.
    Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. : ил. - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 : 140.00 р., 112.20 р.
ГРНТИ
27.03.19
27.03.17
УДК
510.6
510.51](075.8)
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
БУЛЕВА АЛГЕБРА -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- АЛГОРИТМОВ ТЕОРИЯ -- БУЛЕВЫ ФУНКЦИИ -- КВАЙНА-МАК КЛАСКИ МЕТОД -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМ РЕДУКЦИИ -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ)


Доп.точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 11
Х (1), ЧЗЕ (1), АБУ (9)
Свободны: Х (1), ЧЗЕ (1), АБУ (9)
Найти похожие
6.
   1296456
   

    Гутерман, А. Э
    Линейные отображения, сохраняющие матричные инварианты : автореферат дис. ... канд. физ.-мат. наук : 01.01.06 / А. Э Гутерман. - Москва, 2001. - 16 с.
Кл.слова (ненормированные):
ЛОГИКА МАТЕМАТИЧЕСКАЯ -- ЧИСЕЛ ТЕОРИЯ -- ИНВАРИАНТЫ МАТРИЧНЫЕ -- ЛИНЕЙНЫЕ ОТОБРАЖЕНИЯ

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

    Драбкина, М. Е.
    Логические упражнения по элементарной математике : учебное пособие / М. Е. Драбкина. - Минск : Высшая школа, 1965. - 158 с. - 0.28 р.
ГРНТИ
27
УДК
510.6(075.8)
Рубрики: Математическая логика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИКА МАТЕМАТИЧЕСКАЯ

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

    Жеглов, А. Б.
    Локальные тела : автореферат дис. ... канд. физ.-мат. наук : 01.01.06 / А. Б. Жеглов. - Москва, 2001. - 15 с.
Кл.слова (ненормированные):
ЛОГИКА МАТЕМАТИЧЕСКАЯ -- ЛОКАЛЬНЫЕ ТЕЛА

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

    Зияитдинов, Рамзис Гайнитдинович.
    Решение логических задач [Текст] : учеб. пособие / М-во образования и науки РФ, Твер. гос. ун-т. - Изд. 2-е, перераб. и доп. - Тверь : ТГУ, 2004. - 144 с. : ил. - Библиогр.: с. 142-143. - 39.00 р.
УДК
510.6(075.3)
РУБ 517
Рубрики: Математическая логика
Кл.слова (ненормированные):
Логика математическая -- Учебное пособие -- Буля алгебра

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

    Колмогоров, Андрей Николаевич.
    Избранные труды : Математика и механика / А. Н. Колмогоров ; ред. С. М. Никольский ; Академия наук СССР. - Москва : Наука, 1985. - 469 с. - Библиогр.: с. 452. - 3.50 р., 3.50 р.
ГРНТИ
27.01
УДК
51
531
Рубрики: Математика
Кл.слова (ненормированные):
ИСТОРИЯ МАТЕМАТИКИ -- МАТЕМАТИКА (ИСТОРИЯ) -- МАТЕМАТИКА И МЕХАНИКА -- МЕХАНИКА (ИСТОРИЯ) -- ИСТОРИЯ МЕХАНИКИ -- ТУРБУЛЕНТНОСТЬ -- ДЕСКРИПТИВНАЯ ТЕОРИЯ МНОЖЕСТВ -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- ТОПОЛОГИЯ -- ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ -- МЕРЫ И ИНТЕГРАЛА ТЕОРИЯ -- ПРИБЛИЖЕНИЙ ТЕОРИЯ -- ТРИГОНОМЕТРИЧЕСКИХ И ОРТОГОНАЛЬНЫХ РЯДОВ ТЕОРИЯ -- ФУНКЦИОНАЛЬНЫЙ АНАЛИЗ


Доп.точки доступа:
Никольский, С. М. \ред.\; Академия наук СССР
Экземпляры всего: 3
Х (1), АБН (2)
Свободны: Х (1), АБН (2)
Найти похожие
 1-10    11-20   21-27 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 19.08.2024
Число запросов 32587
Число посетителей 497
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)