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

Базы данных


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

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
 Найдено в других БД:Труды учёных ПГНИУ (22)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Математическая логика<.>)
Общее количество найденных документов : 97
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.
51
Г 474

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


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

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


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

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


Доп.точки доступа:
Драгалин, Альберт Григорьевич; Московский государственный университет им. М. Л. Ломоносова
Экземпляры всего: 2
АБУ (2)
Свободны: АБУ (2)
Найти похожие
5.
   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)
Найти похожие
6.
517
З-668

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

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

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


Доп.точки доступа:
Шень, А.
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
8.
   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)
Найти похожие
9.
   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)
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 05.07.2024
Число запросов 54751
Число посетителей 445
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)