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

Базы данных


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

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридиче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.
   519
   П 820

    Просветов, Георгий Иванович.
    Дискретная математика: задачи и решения : учебно-практическое пособие / Г. И. Просветов. - 2-е изд., доп. - Москва : Альфа-Пресс, 2015. - 237 с. : ил. - Библиогр.: с. 233-234. - ISBN 978-5-94280-419-0 : 105.50 р., 120 р.
ГРНТИ
27.01.33
УДК
519.1(076.2)
Рубрики: Дискретная математика--Задачники
Кл.слова (ненормированные):
ДИСКРЕТНАЯ МАТЕМАТИКА (ЗАДАЧИ) -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- КОДИРОВАНИЯ ТЕОРИЯ -- КОМБИНАТОРИКА -- ГРАФОВ ТЕОРИЯ

Экземпляры всего: 2
АБУ (1), ЧЗЕ (1)
Свободны: АБУ (1), ЧЗЕ (1)
Найти похожие
4.
   519
   П 820

    Просветов, Георгий Иванович.
    Дискретная математика: задачи и решения : учебно-практическое пособие / Г. И. Просветов. - 2-е изд., доп. - Москва : Альфа-Пресс, 2016. - 238, [1] с. : ил. - Библиогр.: с. 233-234. - ISBN 978-5-94280-419-0 : 89.50 р.
ГРНТИ
27.03
УДК
519.1(076.2)
Рубрики: Дискретная математика--Задачники
Кл.слова (ненормированные):
ДИСКРЕТНАЯ МАТЕМАТИКА (ЗАДАЧИ) -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- КОДИРОВАНИЯ ТЕОРИЯ -- КОМБИНАТОРИКА -- ГРАФОВ ТЕОРИЯ

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

    Лакатос, Имре.
    Доказательства и опровержения : как доказываются теоремы / И. Лакатос ; пер. с англ. с предисл. проф. И. Н. Веселовского, отв. ред. д.ф.-м.н. И. Б. Погребысский. - Москва : Наука, 1967. - 150, [2] с. : ил. - Библиогр. в конце кн. - 0.50 р., 0.50 р.
ГРНТИ
27
УДК
510.6
Рубрики: Математический анализ
Кл.слова (ненормированные):
теоремы (доказательства) -- логика математическая -- математика (философия)


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

    Мустафина, Ч. С.
    Задания по математической логике. С методическими указаниями к их выполнению / Ч. С. Мустафина ; КГПИ. - Казань : [б. и.], 1971. - 64 с. - 0.40 р.
УДК
510.6(076.2)
Рубрики: Математический анализ--Учебные издания
Кл.слова (ненормированные):
ЛОГИКА МАТЕМАТИЧЕСКАЯ


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

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


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

    Столяр, Абрам Аронович.
    Как математика ум в порядок приводит / А. А. Столяр. - 2-е изд., испр. и доп. - Минск : Вышэйшая школа, 1991. - 207 с. : ил. - ISBN 5-339-00587-9 : 1.00 р.
УДК
517
Рубрики: Математический анализ
Кл.слова (ненормированные):
логика математическая -- теория математическая -- описание объектов одинаковой структуры

Экземпляры всего: 1
ЧЗЕ (1)
Свободны: ЧЗЕ (1)
Найти похожие
9.
   512
   К 650

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


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

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

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