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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Алябьева, Валентина Георгиевна
Заглавие : Математическая логика. Формальная логика [Электронный ресурс] : учебное пособие для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Фундаментальная информатика и информационные технологии»
Выходные данные : Пермь: ПГНИУ, 2021
Колич.характеристики :109 с
Коллективы : Министерство образования и науки Российской Федерации, Пермский государственный национальный исследовательский университет
Вид и объем ресурса: Электрон. дан. (2,77 Мб)
ISBN, Цена 978-5-7944-3611-2: 0.00
ГРНТИ : 27.03.19
УДК : 510.64:16(075.8)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика (терминология)--формальная логика--умозаключения--силлогизмы--логический квадрат--рассуждения (логика)
Перейти: Полный текст
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 519/Ч-575
Автор(ы) : Чечулин, Виктор Львович
Заглавие : Теория множеств с самопринадлежностью и теория меры (основания и приложения) [Электронный ресурс] : монография
Выходные данные : Пермь: Пермский государственный национальный исследовательский университет, 2017
Колич.характеристики :1 on-line
Коллективы : Министерство образования и науки Российской Федерации, Пермский государственный национальный исследовательский университет
Вид и объем ресурса: Электрон. текстовые дан.
Примечания : Загл. с домашней страницы Интернета
ISBN, Цена 978-5-7944-2926-8: 0.00
ГРНТИ : 27.03.15
УДК : 510.22
Предметные рубрики: Теория множеств
Ключевые слова (''Своб.индексиров.''): множеств теория--множества с самопринадлежностью--меры теория--эталон меры--геделя теорема
Перейти: Полный текст
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 519/Ч-575
Автор(ы) : Чечулин, Виктор Львович
Заглавие : Теория множеств с самопринадлежностью и теория меры (основания и приложения) : монография
Выходные данные : Пермь: ПГНИУ, 2017
Колич.характеристики :92 с.: рис.
Коллективы : Министерство образования и науки Российской Федерации, Пермский государственный национальный исследовательский университет
Примечания : Библиогр.: с. 82-90. - Указ. имен: с. 90. - Предм. указ.: с. 90-91
ISBN, Цена 978-5-7944-2926-8: 100.00, 100.00, р.
ГРНТИ : 27.03.15
УДК : 510.22
Предметные рубрики: Теория множеств
Ключевые слова (''Своб.индексиров.''): множеств теория--множества с самопринадлежностью--меры теория--эталон меры--геделя теорема
Экземпляры : всего : Х(1), ЧЗЕ(1), АБН(3)
Свободны : Х(1), ЧЗЕ(1), АБН(3)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 517/А 601
Автор(ы) : Алябьева, Валентина Георгиевна
Заглавие : Математическая логика : учебное пособие для студентов, обучающихся по направлениям подготовки бакалавров "Прикладная математика и информатика", "Фундаментальная информатика и информационные технологии" и специальности "Компьютерная безопасность"
Выходные данные : Пермь: ПГНИУ, 2017
Колич.характеристики :111 с.: ил.
Коллективы : Министерство образования и науки Российской Федерации, Пермский государственный национальный исследовательский университет
Примечания : Библиогр.: с. 109-110
ISBN, Цена 978-5-7944-2904-6: 123.20, 123.20, р.
ГРНТИ : 27.03.19
УДК : 510.6(075.8)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): логика высказываний--логика математическая--исчисление высказываний (математика)--логика предикатов--исчисление предикатов (математика)
Экземпляры : всего : ЧЗЕ(1), АБУ(3)
Свободны : ЧЗЕ(1), АБУ(3)
Перейти: Полный текст
Найти похожие
5.

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

Вид документа : Однотомное издание
Шифр издания : 16/З-483
Автор(ы) : Зеленкин, Владимир Харитонович
Заглавие : Логика предикатов [Электронный ресурс] : учебно-методическое пособие для студентов гуманитарных направлений
Выходные данные : Пермь, 2015
Колич.характеристики :1 on-line
Коллективы : Министерство образования и науки Российской Федерации, Пермский государственный национальный исследовательский университет
Вид и объем ресурса: Электрон. текстовые дан.
Примечания : Библиогр.: с. 100-101. - Загл. с домашней страницы Интернета
ISBN, Цена 978-5-7944-2538-3: 0.00
ГРНТИ : 27.03.19
УДК : 164(075.8)
ББК : Ю433я73
Предметные рубрики: Логика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): логика предикатов
Перейти: Полный текст
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 16/З-483
Автор(ы) : Зеленкин, Владимир Харитонович
Заглавие : Логика предикатов : учебно-методическое пособие
Выходные данные : Пермь: ПГНИУ, 2015
Колич.характеристики :100 с
Коллективы : Министерство образования и науки Российской Федерации, Пермский государственный национальный исследовательский университет
Примечания : Библиогр.: с. 98-99
ISBN, Цена 978-5-7944-2538-3: 150.00, 150.00, 0.00, р.
ГРНТИ : 27.03.19
УДК : 164(075.8)
ББК : Ю433я73
Предметные рубрики: Логика предикатов
Ключевые слова (''Своб.индексиров.''): логика предикатов (символы)--язык логики предикатов
Экземпляры : всего : Х(1), ЧЗГ(1), АБУ(9)
Свободны : Х(1), ЧЗГ(1), АБУ(9)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 51/В 317
Автор(ы) : Верещагин, Николай Константинович, Успенский, Владимир Андреевич, Шень, Александр
Заглавие : Колмогоровская сложность и алгоритмическая случайность
Выходные данные : Москва: Издательство МЦМНО, 2013
Колич.характеристики :575 с
Примечания : Библиогр.: с. 546-558
ISBN, Цена 978-5-4439-0212-8: 550 р.
ГРНТИ : 27.03.17
УДК : 510.52
Предметные рубрики: Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): сложность алгоритмов--колмогоровская сложность--априорная вероятноть--шенноновская энтропия--информация и логика--алгоритмическая статистика
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 51/А 910
Автор(ы) : Астафурова, Мария Владимировна
Заглавие : Опыт построения физической аксиоматики математики
Выходные данные : Бугульма: Фэн-наука, 2013
Колич.характеристики :82 с
Примечания : Библиогр.: с. 77-81
ISBN, Цена 978-5-9902879-7-6: 70.00, 70, р.
ГРНТИ : 27.03.15
УДК : 510.2:53.01
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): аксиоматика математики--физическая аксиоматика математики--числа иррациональные
Экземпляры : всего : Х(1), ЧЗЕ(1)
Свободны : Х(1), ЧЗЕ(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 517/Б 898
Автор(ы) : Брюшинкин, Владимир Никифорович, Ходикова, Нина Анатольевна
Заглавие : Теория поиска вывода. Происхождение и философские приложения
Выходные данные : Калининград: Издательство Балтийского федерального ун-та им. Иммануила Канта, 2012
Колич.характеристики :166 с
Серия: Библиотека электронного журнала "РАЦИО.ru"; Вып. 6
Примечания : Библиогр.: с. 158-166
ISBN, Цена 978-5-9971-0222-7: 200 р.
ГРНТИ : 27.03.19
УДК : 510.66
Предметные рубрики: Математическая логика-- Поиск вывода
Ключевые слова (''Своб.индексиров.''): поиск вывода--гильбертовская теория доказательств--автоматическое доказательство--эвристическое программирование
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
11.

Вид документа : Однотомное издание
Шифр издания : 519/Ч-575
Автор(ы) : Чечулин, Виктор Львович
Заглавие : Теория множеств с самопринадлежностью (основания и некоторые приложения) : монография . -2-е изд., испр. и доп.
Выходные данные : Пермь, 2012
Колич.характеристики :126 с
Коллективы : Министерство образования и науки Российской Федерации, Пермский государственный национальный исследовательский университет
Примечания : Библиогр.: с. 115-123
ISBN, Цена 978-5-7944-2061-6: 100, 100.00, р.
ГРНТИ : 27.03.15
УДК : 510.22
Предметные рубрики: Теория множеств
Ключевые слова (''Своб.индексиров.''): множеств теория--множества с самопринадлежностью--неподвижная точка теорема
Экземпляры : всего : Х(1), АБН(12)
Свободны : Х(1), АБН(12)
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 519/Ч-575
Автор(ы) : Чечулин, Виктор Львович
Заглавие : Теория множеств с самопринадлежностью (основания и некоторые приложения) [Электронный ресурс] : монография . -2-е изд., испр. и доп.
Выходные данные : Пермь, 2012
Колич.характеристики :1 on-line
Коллективы : Министерство образования и науки Российской Федерации, Пермский государственный национальный исследовательский университет
Вид и объем ресурса: Электрон. текстовые дан. (1,14 Мб)
Систем. требования: Word
Примечания : Загл. с домашней страницы Интернета
ISBN, Цена 978-5-7944-2061-6: 00.00
ГРНТИ : 27.03.15
УДК : 510.22
Предметные рубрики: Теория множеств
Ключевые слова (''Своб.индексиров.''): множеств теория--множества с самопринадлежностью--неподвижная точка теорема
Перейти: Полный текст
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания : 517/П 580
Автор(ы) : Попов, Сергей Викторович, Брошкова, Наталья Леонидовна
Заглавие : Прикладная логика
Выходные данные : Москва: Физматлит, 2011
Колич.характеристики :212 с.: ил.
Примечания : Библиогр.: с. 210-212
ISBN, Цена 978-5-9221-1340-3: 250 р.
ГРНТИ : 27.03.19
УДК : 510.6 + 004.312
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): логика практическая--логика математическая--математика (логика)--логические схемы--логические блоки--логические задачи (классификация)--логический анализ--секвенциальное исчесление
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
14.

Вид документа : Однотомное издание
Шифр издания : 51/K 89
Автор(ы) : Kudrjavcev, Valeriy Borisovitch, Blohina, Galina Nikolayevna, Ziga, Knap, Kudrjavcev, Valeriy Valerievitch
Заглавие : Algebra logike
Выходные данные : Ljubljana: ZOTKS, 2010
Колич.характеристики :200 с.: ил.
Серия: Zbirka Univerza za 21. stoletje
Примечания : На англ. яз. - Библиогр.: с. 198-199
ISBN, Цена 978-961-6243-58-2: 150.00 р.
ГРНТИ : 27.03.19
УДК : 510.63
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра логики--алгебра высказываний--исчисление высказываний--алгебры булевых функций--булевы функции--минимизация булевых функций
Экземпляры :ОИЛ(1)
Свободны : ОИЛ(1)
Найти похожие
15.

Вид документа : Однотомное издание
Шифр издания : 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)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): булева алгебра--логика математическая--алгоритмов теория--булевы функции--квайна-мак класки метод--логика предикатов--алгоритм редукции--пролог (язык программирования)
Экземпляры : всего : Х(1), ЧЗЕ(1), АБУ(9)
Свободны : Х(1), ЧЗЕ(1), АБУ(9)
Найти похожие
16.

Вид документа : Однотомное издание
Шифр издания : 519/А 465
Автор(ы) : Александров, Павел Сергеевич
Заглавие : Введение в теорию множеств и общую топологию : учебное пособие [для вузов] . -2-е изд., стер.
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2010
Колич.характеристики :367 с
Серия: Учебники для вузов. Специальная литература .
    Классическая учебная литература по математике .
    Лучшие классические учебники .
    Знание. Уверенность. Успех
Примечания : Библиогр.: с. 362-363
ISBN, Цена 978-5-8114-0981-5: 575.30, 575.30, р.
ГРНТИ : 27.03.15
УДК : 510.22 + 515.12](075.8)
Предметные рубрики: Множеств теория
Ключевые слова (''Своб.индексиров.''): множеств теория--топологические пространства--метризационные теоремы--компактность (математика)--проекционные системы
Содержание : О бесконечных множествах ; Действительные числа ; Упорядоченные и вполне упорядоченные множества. Трансфинитные числа ; Метрические и топологические пространства ; Компактные и полные метрические пространства ; Условия типа компактности и метризация топологических пространств ; Проекционные сферы и абсолют
Экземпляры : всего : АБУ(15)
Свободны : АБУ(15)
Найти похожие
17.

Вид документа : Однотомное издание
Шифр издания : 517/П 350
Автор(ы) : Письменный, Дмитрий Трофимович
Заглавие : Конспект лекций по высшей математике : полный курс : [учебное пособие] . -8-е изд.
Выходные данные : Москва: Айрис Пресс, 2009
Колич.характеристики :608 с.: ил.
Серия: Высшее образование
ISBN, Цена 978-5-8112-3480-6: 240, 240, р.
ГРНТИ : 27.03.15
УДК : 517(075.8)
Предметные рубрики: Высшая математика
Ключевые слова (''Своб.индексиров.''): математика высшая--алгебра векторная--алгебра линейная--геометрия аналитическая--математический анализ--комплексные числа--интегралы--дифференциальные уравнения--числовые ряды--функции комплексного переменного--операционное исчисление--ряды фурье--интеграл фурье--теория поля--функции комплексного переменного
Экземпляры : всего : АБУ(1), АБЗ(1)
Свободны : АБУ(1), АБЗ(1)
Найти похожие
18.

Вид документа : Однотомное издание
Шифр издания : 517/Б 218
Автор(ы) : Балюкевич, Эдуард Людвигович, Ковалева Л. Ф.
Заглавие : Математическая логика и теория алгоритмов [Электронный ресурс] : учебно-методический комплекс : учебное пособие для студентов вузов, обучающихся по специальности "Прикладная информатика" и другим экономическим специальностям
Выходные данные : Москва: Издательский центр Евразийского открытого института, 2009
Колич.характеристики :1 on-line
Коллективы : Московский государственный университет экономики, статистики и информатики, Евразийский открытый институт, Международный консорциум "Электронный университет"
Вид и объем ресурса: Электрон. текстовые дан.
Примечания : Загл. с домашней страницы Интернета
ISBN, Цена 978-5-374-00220-1: 5479.92 р.
ГРНТИ : 27.03.19 + 27.03.17
УДК : 510.6 + 510.51](075.8)
Предметные рубрики: Математическая логика
Алгоритмов теория
Ключевые слова (''Своб.индексиров.''): математическая логика--теория алгоритмов--алгоритмов теория--математический аппарат
Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.
Перейти: Электронная библиотека
Найти похожие
19.

Вид документа : Однотомное издание
Шифр издания : 513/А 465
Автор(ы) : Александров, Павел Сергеевич (математик; 1896-1982)
Заглавие : Введение в теорию множеств и общую топологию : [учебное пособие для студентов математических специальностей вузов]
Выходные данные : Москва: Физматлит, 2009
Колич.характеристики :356 с
Серия: Классика и современность. Математика
Примечания : Библиогр.: с. 346-347. - Предм. указ.: с. 348-352
ISBN, Цена 978-5-9221-1087-7: 250 р.
ГРНТИ : 27.19.15 + 27.03.15
УДК : 515.12 + 510.22](075.8)
Предметные рубрики: Топология
Множеств теория
Ключевые слова (''Своб.индексиров.''): теория множеств--топологические пространства--метризационные теоремы--компактность (математика)
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
20.

Вид документа : Однотомное издание
Шифр издания : 517/П 35
Автор(ы) : Письменный, Дмитрий Трофимович
Заглавие : Конспект лекций по высшей математике : полный курс : [учебное пособие] . -7-е изд.
Выходные данные : Москва: Айрис Пресс, 2008
Колич.характеристики :608 с.: ил.
Серия: Высшее образование
ISBN, Цена 978-5-8112-3118-8: 150.40, 150.40, р.
ГРНТИ : 27.03.15
УДК : 517(075.8)
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): высшая математика--алгебра векторная--линейная алгебра--аналитическая геометрия--математический анализ--комплексные числа--интегралы--дифференциальные уравнения--числовые ряды--функции комплексного переменного--операционное исчисление
Экземпляры : всего : АБУ(24)
Свободны : АБУ(24)
Найти похожие
 1-20    21-40   41-60   61-80      
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 05.07.2024
Число запросов 58672
Число посетителей 445
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)