Научная Библиотека Пермского Государственного Университета

Главная

Упрощенный режим

Базы данных

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

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

Область поиска

в найденном

Найдено в других БД:

Труды учёных ПГНИУ (22)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>S=Математическая логика<.>)

Общее количество найденных документов : 97
Показаны документы с 1 по 20

1-20 21-40 41-60 61-80 81-97

51
Г 474

Гильберт, Д.
Основы теоретической логики [Текст] : пер.с нем. / Ред.С.А.Яновский. - Биробиджан : Тривиум, 2000. - 304с. - ISBN 5-1251-0180-X : 129 р.

УДК

510.6

РУБ 51
Рубрики: Математическая логика
Кл.слова (ненормированные):
Исчисление высказываний -- Математическая логика -- Исчисление предикатов

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

   517
   К 608

    Колмогоров, Андрей Николаевич.
    Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : УРСС, 2004. - 240 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-00389-X : 140.00 р., 156.90 р.

27.23
УДК	510.6(075.8)

Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Множеств теория -- Алгоритмов теория -- Доказательств теория

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

   517
   Д 721

    Драгалин, Альберт Григорьевич.
    Конструктивная теория доказательств и нестандартный анализ / А. Г. Драгалин ; ред. Г. Е. Минц. - Москва : Едиториал УРСС, 2003. - 544 с. - ISBN 5-354-00387-3. - ISBN 5-354-00387-3 : 319.00 р., 180.00 р., 319.00 р.

УДК

510.24

Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Доказательства (математика) -- Интуиционизм
!oprip481_H.pft: FILE NOT FOUND!

Доп.точки доступа:
Минц, Г. Е. \ред.\
Экземпляры всего: 4
Х (1), АБН (3)
Свободны: Х (1), АБН (3)
Найти похожие

   517
   К 608

    Колмогоров, Андрей Николаевич.
    Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет им. М. Л. Ломоносова. - 2-е изд., стер. - Москва : УРСС, 2005. - 240 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-01003-9 : 159 р.

ГРНТИ	27.23
УДК	510.6(075.8)

Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Множеств теория -- Алгоритмов теория -- Доказательств теория

Доп.точки доступа:
Драгалин, Альберт Григорьевич; Московский государственный университет им. М. Л. Ломоносова
Экземпляры всего: 2
АБУ (2)
Свободны: АБУ (2)
Найти похожие

   517
   Г 977

    Гуц, Александр Константинович.
    Математическая логика и теория алгоритмов : Учеб. пособие / Омский гос. ун-т. - Омск : Наследие: Диалог-Сибирь, 2003. - 108 с. - Библиогр.: с. 105-107. - ISBN 5-8239-0126-7 : 50.00 р.

27.03.19	27.03.17
УДК	510.6	510.51](075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- Логика высказываний -- Логика предикатов -- Алгоритмы

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

517
З-668

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

УДК

510.6(075.3)

РУБ 517
Рубрики: Математическая логика
Кл.слова (ненормированные):
Логика математическая -- Учебное пособие -- Буля алгебра

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

517
В 317

Верещагин, Н. К.
Языки и исчисления [Текст] / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2000. - 288с. - (Лекции по математической логике и теории алгоритмов). - Библиогр.:с.269-272. - ISBN 5-900916-66-9 : 50 р.

УДК

510.6(075.8)

РУБ 517
Рубрики: Математическая логика
Кл.слова (ненормированные):
Учебные издания -- Математическая логика

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

   517
   У 774

    Успенский, Владимир Андреевич.
    Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2002. - 128 с. - Библиогр.: с. 122. - На обл. авт. не указаны. - ISBN 5-9221-0278-8 : 100.00 р., 100.00 р.

27.03.19
УДК	510.6(075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Множеств теория -- Алгоритмов теория -- Языки первого порядка -- Доказательств теория -- Учебные издания

Доп.точки доступа:
Верещагин, Николай Константинович
Экземпляры всего: 2
Х (1), ЧЗЕ (1)
Свободны: Х (1), ЧЗЕ (1)
Найти похожие

   517
   Л 656

    Лихтарников, Леонид Моисеевич.
    Математическая логика : Курс лекций. Задачник-практикум и решения: Учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - СПб. : Лань, 1999. - 288 с. - (Учебники для вузов). - Библиогр.: с. 282. - ISBN 5-8114-0082-9 : 60.00 р.

ГРНТИ	27.03.19
УДК	510.6(075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- Исчисление высказываний -- Логика предикатов -- Алгоритмы -- Практикумы -- Сборники задач

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

10.

   517
   Е 804

    Ершов, Юрий Леонидович.
    Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 195.80 р., 195.80 р.

27.23
УДК	510.6(075.8)

Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Исчисление высказываний -- Исчисление предикатов -- Алгоритмы

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

11.

   517
   П691


    Практикум по численным методам решения задач математической физики : методические указания и лабораторные работы / сост.: А. Ш. Кусяков, К. Г. Шварц. - Пермь : [б. и.], 1993. - 22 с. - 0.00 р.

ГРНТИ	27.23
УДК	53:519.6(076.5)

РУБ 517
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая физика -- вычислительная математика

Доп.точки доступа:
Кусяков, Альфред Шамильевич \сост.\; Шварц, Константин Григорьевич \сост.\
Экземпляры всего: 67
АБУ (67)
Свободны: АБУ (67)
Найти похожие

12.

   517
   З-981

    Зюзьков, В. М.
    Математическая логика и теория алгоритмов : учебное пособие / В. М. Зюзьков, А. А. Шелупанов ; Томский государственный университет систем управления радиоэлектроники (ТУСУР). - Томск : Томский межвузовский центр дистанционного образования, 2001. - 154 с. - 105.60 р., 105.60 р.

27.03.19	27.03.17
УДК	510.6	510.51](075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Множеств теория -- Логика высказываний -- Булевы алгебры -- Логика предикатов

Доп.точки доступа:
Шелупанов, А. А.; Томский государственный университет систем управления радиоэлектроники (ТУСУР)
Экземпляры всего: 10
Х (1), ЧЗЕ (1), АБУ (8)
Свободны: Х (1), ЧЗЕ (1), АБУ (8)
Найти похожие

13.

   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)
Найти похожие

14.

   51
   Т 338


    Теория моделей в Казахстане : сб. науч. работ, посвящ. памяти А. Д. Тайманова / под ред. М. М. Еримбетова. - Алматы : [б. и.], 2006. - 448 с. : табл. - Библиогр.: с. 408-413. - ISBN 996597-18-3-8 : 230 р., 250.00 р.

27.03.19
УДК	510.67(082)

Рубрики: Математическая логика
Казахстан
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МОДЕЛЕЙ ТЕОРИЯ -- АЛГЕБРА МОДЕЛЬНАЯ -- ЛИНЕЙНЫЕ ГРУППЫ -- МАТРИЧНЫЕ ГРУППЫ -- МАТЕМАТИКИ РОССИИ

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

15.

   517
   И 269

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 5-7695-1363-2 : 201.40 р., 201.40 р.

27.03.19	27.03.17
УДК	510.6	510.51](075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ

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

16.

   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)
Найти похожие

17.

   517
   А 456


    Алгебра логики / В. Б. Кудрявцев, Г. Н. Блохина, Ж. Кнап, В. В. Кудрявцев ; Моск. гос. ун-т им. М. В. Ломоносова. - М. ; Любляна : Изд-во ЦПИ при мех.-мат. фак. МГУ, 2006. - 200 с. : ил. - Библиогр.: с. 198-199. - 70 р.

ГРНТИ	27.03.19
УДК	510.63

Рубрики: Математическая логика
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ

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

18.

   517
   П 580

    Попов, С. В.
    Логическое моделирование / С. В. Попов. - Москва : Тровант, 2006. - 256 с. : ил. - Библиогр.: с. 254-255. - ISBN 5-89513-049-6 : 180 р.

ГРНТИ	27.03.19
УДК	510.66:004.42

Рубрики: Математическая логика
Кл.слова (ненормированные):
ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ -- ЛОГИЧЕСКИЕ МЕТОДЫ РЕШЕНИЯ ЗАДАЧ -- ПРИКЛАДНЫЕ ЗАДАЧИ (МЕТОДЫ РЕШЕНИЯ) -- ПОКОС (СИСТЕМА ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ)

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

19.

   517
   З-153


    Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие для студентов вузов, обучающихся по специальностям в области 090100 - "Информационная безопасность" / М. М. Глухов, О. А. Козлитин, В. А. Шапошников, А. Б. Шишков. - Санкт-петербург ; Москва ; Краснодар : Лань, 2008. - 112 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 109-110. - ISBN 978-5-8114-0853-5 : 109.20 р., 109.20 р.

ГРНТИ	27.03
УДК	510.6	519.1	510.51](076.1)

Рубрики: Математическая логика--Задачники
Дискретная математика--Задачники
Алгоритмы--Теория--Задачники
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА (ЗАДАЧИ) -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- АЛГЕБРА ПРЕДИКАТОВ -- ДИСКРЕТНЫЕ ФУНКЦИИ (ЗАДАЧИ) -- БУЛЕВЫ ФУНКЦИИ -- ТЕОРИЯ АЛГОРИТМОВ (ЗАДАЧИ) -- АЛГОРИТМОВ ТЕОРИЯ

Доп.точки доступа:
Глухов, Михаил Михайлович; Козлитин, Олег Алексеевич; Шапошников, Виталий Анатольевич; Шишков, Алексей Борисович
Экземпляры всего: 3
Х (1), АБУ (1), ЧЗЕ (1)
Свободны: Х (1), АБУ (1), ЧЗЕ (1)
Найти похожие

20.

   517
   Л 656

    Лихтарников, Леонид Моисеевич.
    Математическая логика : курс лекций: задачник-практикум и решения: учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273 (12 назв.). - ISBN 978-5-8114-0082-9 : 255.80 р., 255.80 р.

ГРНТИ	27.03.19
УДК	510.6(075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- Исчисление высказываний -- Логика предикатов -- Алгоритмы

Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 3
Х (1), ЧЗЕ (1), АБУ (1)
Свободны: Х (1), ЧЗЕ (1), АБУ (1)
Найти похожие

1-20 21-40 41-60 61-80 81-97

Тематический навигатор

Статистика обращений

Статистика за 03.07.2024
Число запросов	44460
Число посетителей	436
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)