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

Базы данных


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

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

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

Экземпляры всего: 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.
   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)
Найти похожие
4.
   517
   Н 723

    Новак, Вилем.
    Математические принципы нечеткой логики = Mathematical principles of fuzzy logic : перевод с английского / В. Новак, И. Перфильева, И. Мочкорж ; пер. А. Н. Аверкин. - Москва : ФИЗМАТЛИТ, 2006. - 352 с. - Библиогр.: с. 335-343. - ISBN 5-9221-0399-7 : 195.00 р., 249.50 р.
ГРНТИ
27.03.19
УДК
510.64
Рубрики: Математическая логика
Кл.слова (ненормированные):
ЛОГИКА МАТЕМАТИЧЕСКАЯ -- НЕЧЕТКАЯ ЛОГИКА -- ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ (МАТЕМАТИКА) -- НЕЧЕТКИЕ МНОЖЕСТВА


Доп.точки доступа:
Перфильева, Ирина; Мочкорж, Иржи; Аверкин, А. Н. \пер.\
Экземпляры всего: 4
Х (1), ЧЗЕ (1), АБН (2)
Свободны: Х (1), ЧЗЕ (1), АБН (2)
Найти похожие
5.
   517
   К 950

    Кутасов, Александр Дмитриевич.
    Элементы математической логики : пособие для учащихся 9-10-х кл. / А. Д. Кутасов. - М. : Просвещение, 1977. - 63 с. : ил. - 00.10 р.
УДК
510.6(075.8)

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

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

   
    Методическая разработка по курсу "Математическая логика и дискретная математика" : для механико-математических факультетов и факультетов прикладной математики университетов / В. Б. Алексеев [и др.]. - Саратов : Издательство Саратовского университета, 1982. - 134 с. - 00.20 р.
ГРНТИ
27.23
УДК
517(075.8)
Рубрики: Математический анализ--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
логика математическая -- математика дискретная


Доп.точки доступа:
Алексеев, Валерий Борисович; Алешин, Станислав Владимирович; Буевич, Вячеслав Александрович; Кудрявцев, Валерий Борисович; Подколзин, Александр Сергеевич; Сапоженко, Александр Антонович; Яблонский, Сергей Всеволодович
Экземпляры всего: 1
АБУ (1)
Свободны: АБУ (1)
Найти похожие
7.
   517
   М 917

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


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

    Селезнев, А. И.
    Основы теории множеств и элементов математической логики : учеб. пособие / А. И. Селезнев, Н. Г. Серебрякова, Л. Н. Пантелеева ; ГГУ. - Горький : [б. и.], 1972. - 25 с. : ил. - Библиогр.: с. 24. - 0.06 р.
ГРНТИ
27.23
УДК
519.5(075.8)
Рубрики: Теория вероятностей--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
МНОЖЕСТВ ТЕОРИЯ -- ЛОГИКА МАТЕМАТИЧЕСКАЯ


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

    Скарынкин, В. С.
    Сборник заданий по математической логике и теории графов : учеб. пособие для студентов специальности "Организация механизированной обработки экономической информации" / В. С. Скарынкин ; Горьк. гос. ун-т. - Горький : [б. и.], 1974. - 94 с. - 0.24 р.
УДК
510.6(076.1)
Рубрики: Математический анализ--Учебные издания
Кл.слова (ненормированные):
логика математическая -- обработка информации -- графов теория


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

    Эдельман, Самсон Львович.
    Математическая логика : учебное пособие / С. Л. Эдельман. - Москва : Высшая школа, 1975. - 176 с. - Библиогр.: с.172 . - Предм. указ.: с. 173-176. - 00.30 р., 00.30 р.
ГРНТИ
27.03.19
УДК
517.11(075.8)
Рубрики: Математическая логика--Учебные издания
Кл.слова (ненормированные):
ЛОГИКА МАТЕМАТИЧЕСКАЯ

Экземпляры всего: 3
Х (1), АБУ (2)
Свободны: Х (1), АБУ (2)
Найти похожие
11.
   517
   Щ 346

    Щегольков, Е. А.
    Упражнения и задачи по курсу математической логики / Е. А. Щегольков ; Моск. пед. ин-т. - М. : [б. и.], 1971. - 45 с. - 0.15 р.
ГРНТИ
27.03.19
УДК
510.6(076.1)
Рубрики: Математическая логика--Учебные издания
Кл.слова (ненормированные):
Логика математическая


Доп.точки доступа:
Московский педагогический институт им. В. И. Ленина
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
12.
   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)
Найти похожие
13.
   517
   С 816

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

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

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


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

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


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

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


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

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

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

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

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

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


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

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


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