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

Базы данных


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

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

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

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

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


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

    Шенфилд, Джозеф.
    Математическая логика / Дж. Шенфилд ; пер. с англ.: И. А. Лавров, И. А. Мальцев ; ред. Ю. Л. Ершов. - Москва : Наука, 1975. - 528 с. : ил. - (Математическая логика и основания математики). - Предм. указ.: с. 520-527. - 2.16 р.
ГРНТИ
27.23
УДК
519.9
Рубрики: Математический анализ
Кл.слова (ненормированные):
логика математическая


Доп.точки доступа:
Лавров, И. А. \пер. с англ.\; Мальцев, И. А. \пер. с англ.\; Ершов, Ю. Л. \ред.\
Экземпляры всего: 1
АБН (1)
Свободны: АБН (1)
Найти похожие
4.
   51
   К 608

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


Доп.точки доступа:
Никольский, С. М. \ред.\; Академия наук СССР
Экземпляры всего: 3
Х (1), АБН (2)
Свободны: Х (1), АБН (2)
Найти похожие
5.
   512
   К 650

   
    Конструкции в алгебре и логике : Сб. науч. тр. / Твер. гос. ун-т ; [Редкол.: Ю.М. Горчаков (отв. ред.) и др.]. - Тверь : Твер. гос. ун-т, 1990. - 132 с. : ил ; 20. - Библиогр. в конце ст. - 250 экз. - ISBN 5-230-08637-5 : 1.00 р.
ГРНТИ
27.17
УДК
512
Рубрики: Алгебра
Кл.слова (ненормированные):
Алгебра -- Абелевы группы -- Математическая логика -- Логика математическая -- Кибернетика


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

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

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

    Попов, Сергей Викторович.
    Прикладная логика / С. В. Попов, Н. Л. Брошкова. - Москва : Физматлит, 2011. - 212 с. : ил. - Библиогр.: с. 210-212. - ISBN 978-5-9221-1340-3 : 250 р.
ГРНТИ
27.03.19
УДК
510.6
004.312
Рубрики: Математическая логика
Кл.слова (ненормированные):
ЛОГИКА ПРАКТИЧЕСКАЯ -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- МАТЕМАТИКА (ЛОГИКА) -- ЛОГИЧЕСКИЕ СХЕМЫ -- ЛОГИЧЕСКИЕ БЛОКИ -- ЛОГИЧЕСКИЕ ЗАДАЧИ (КЛАССИФИКАЦИЯ) -- ЛОГИЧЕСКИЙ АНАЛИЗ -- СЕКВЕНЦИАЛЬНОЕ ИСЧЕСЛЕНИЕ


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

    Целищев, Виталий Валентинович (1942 -).
    Логика существования / В. В. Целищев ; Сиб. отд-ние РАН, Ин-т философии и права. - 2-е изд., испр. - Москва : URSS, 2010. - 136 с. - Библиогр.: с. 132-135. - ISBN 978-5-396-00176-3 : 61.00 р.
ГРНТИ
02.21.05
УДК
16
ББК Ю4в017
Рубрики: Логика в системе философских наук
Кл.слова (ненормированные):
ЛОГИКА МАТЕМАТИЧЕСКАЯ -- СУЩЕСТВОВАНИЕ (ЛОГИКА) -- ЛОГИКА СУЩЕСТВОВАНИЯ -- РАССЕЛА ТЕОРИЯ СУЩЕСТВОВАНИЯ -- СИНГУЛЯРНОГО СУЩЕСТВОВАНИЯ ТЕОРИЯ -- ДЕСКРИПЦИЙ ТЕОРИЯ -- ОНТОЛОГИЧЕСКИЕ ДОПУЩЕНИЯ


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

    Яновская, Софья Александровна.
    Методологические проблемы науки / С. А. Яновская; под общ. ред. И. Г. Башмаковой, Д. П. Горского, В. А. Успенского; закл. ст. Б. В. Бирюкова, О. А. Борисовой. - 3-е изд. - Москва : URSS, 2009. - 288 с. - Библиогр. в примеч.: с. 285-287. - Список работ С. А. Яновской с. 288-291. - Список печ. работ С. А. Яновской: с. 288-292. - ISBN 978-5-397-00758-0 : 203 р.
ГРНТИ
27.01.05
УДК
51:1
Рубрики: Математика--Философские вопросы
Кл.слова (ненормированные):
МАТЕМАТИКА (ФИЛОСОФСКИЕ ПРОБЛЕМЫ) -- МАТЕМАТИКА (МЕТОДОЛОГИЯ) -- ЛОГИКА МАТЕМАТИЧЕСКАЯ


Доп.точки доступа:
Башмакова, И. Г. \ред.\; Горский, Д. П. \ред.\; Успенский, В. А. \ред.\; Бирюков, Б. В. \авт. послесл.\; Борисова, О. А. \авт. послесл.\
Экземпляры всего: 1
ЧЗЕ (1)
Свободны: ЧЗЕ (1)
Найти похожие
10.
   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)
Найти похожие
 1-10    11-20   21-27 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 19.08.2024
Число запросов 31261
Число посетителей 485
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)