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

Базы данных


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

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=АЛГЕБРА ВЫСКАЗЫВАНИЙ<.>)
Общее количество найденных документов : 11
Показаны документы с 1 по 11
1.

Вид документа : Однотомное издание
Шифр издания : 51/Н 731
Автор(ы) : Новиков, Петр Сергеевич
Заглавие : Элементы математической логики
Выходные данные : Москва: Физматлит, 1959
Колич.характеристики :400 с
Цена : 1.11, 1.11, р.
ГРНТИ : 27
УДК : 51
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра высказываний--исчисление высказываний--логика предикатов--аксиоматическая арифметика--теория доказательств
Экземпляры : всего : АБН(1), Х(1)
Свободны : АБН(1), Х(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 512/Я 297
Автор(ы) : Яглом, Исаак Моисеевич
Заглавие : Необыкновенная алгебра
Выходные данные : Москва: Наука, 1968
Колич.характеристики :70с. с.: ил., портр.; 22 см
Примечания : Библиогр.: с. 68 (8 назв.)
Цена : 0.12, 0.12, р.
УДК : 512
Предметные рубрики: Физико-математические науки -- Математика -- Алгебра -- Высшая алгебра -- Структуры -- Булевы кольца и алгебры. Дистрибутивные структуры -- Популярные издания
Алгебра логики
Ключевые слова (''Своб.индексиров.''): алгебры буля--алгебра высказываний
Экземпляры :АБН(1)
Свободны : АБН(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 517/Н 731
Автор(ы) : Новиков, Петр Сергеевич
Заглавие : Элементы математической логики . -2-е изд., испр.
Выходные данные : Москва: Наука, 1973
Колич.характеристики :400 с
Серия: Математическая логика и основания математики
Цена : 1.43, 1.43, р.
ГРНТИ : 27
УДК : 517
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра высказываний--исчисление высказываний--логика предикатов--аксиоматическая арифметика--элементы теории доказательств
Экземпляры : всего : АБН(1), Х(1)
Свободны : АБН(1), Х(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 517/Н 731
Автор(ы) : Новиков, Петр Сергеевич
Заглавие : Конструктивная математическая логика с точки зрения классической
Выходные данные : Москва: Наука, 1977
Колич.характеристики :328 с
Серия: Математическая логика и основания математики
Примечания : Библиогр.: с. 318
Цена : 1.43, 1.43, р.
ГРНТИ : 27
УДК : 517
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра высказываний--исчисление высказываний--логика предикатов--аксиоматическая арифметика
Экземпляры : всего : АБН(2), Х(1)
Свободны : АБН(2), Х(1)
Найти похожие
5.

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

Вид документа : Однотомное издание
Шифр издания : 517/А 456
Автор(ы) : Кудрявцев, Валерий Борисович, Блохина, Галина Николаевна, Кнап, Жига, Кудрявцев, Валерий Валерьевич
Заглавие : Алгебра логики
Выходные данные : М.; Любляна: Изд-во ЦПИ при мех.-мат. фак. МГУ, 2006
Колич.характеристики :200 с.: ил.
Коллективы : Московский государственный университет им. М. В. Ломоносова (М.). Механико-математический факультет
Примечания : Библиогр.: с. 198-199
Цена : 70 р.
ГРНТИ : 27.03.19
УДК : 510.63
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра логики--алгебра высказываний--исчисление высказываний--алгебры булевых функций--булевы функции--минимизация булевых функций
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 517/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов . -3-е изд., стер.
Выходные данные : Москва: Академия, 2007
Колич.характеристики :304 с
Серия: Высшее профессиональное образование. Педагогические специальности
Примечания : Библиогр.: с. 301
ISBN, Цена 5-7695-3728-0: 193.10, 193.10, р.
ГРНТИ : 27.03
УДК : 510.6 + 510.51](076.1)
Предметные рубрики: Математика-- Математическая логика-- Алгоритмы
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--булевы функции--логика предикатов--алгоритмов теория
Экземпляры : всего : Х(1), ЧЗЕ(1), АБУ(28)
Свободны : Х(1), ЧЗЕ(1), АБУ(28)
Найти похожие
8.

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

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 34675
Автор(ы) : Сухотин А. М.
Заглавие : Математика в вузе. Альтернативная методология и инновационное обучение : Учебное пособие
Выходные данные : Томск: Томский политехнический университет, 2012
Колич.характеристики :224 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4387-0117-0: Б.ц.
УДК : 51
ББК : 22.1я73
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--архитектура математики--высшая математика--инновационное обучение
Аннотация: В пособии введены основные понятия высшей математики в альтернативной методологии, инновационные понятия: С-пары натуральных переменных, е-расходящиеся и w-сходящиеся числовые последовательности и др. Дано описание дидактической системы активизации познавательной самостоятельной деятельности студентов, представленной методологическими, методическими, содержательно-организационными и иными педагогическими условиями. Предназначено для всех участников учебного процесса в техническом вузе: студентов, преподавателей, слушателей ФПК и иных пользователей высшей математики.
Перейти: Перейти к просмотру издания
Найти похожие
11.

Вид документа : Однотомное издание
Шифр издания : 55636
Автор(ы) : Шмырин А. М.
Заглавие : Лекции по дискретной математике и математической логике : Учебное пособие
Выходные данные : Липецк: Липецкий государственный технический университет, ЭБС АСВ, 2014
Колич.характеристики :160 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-88247-714-0: Б.ц.
УДК : 519
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--дискретная математика--математическая логика--транспортная сеть--элемент графа
Аннотация: Учебное пособие соответствует государственному образовательному стандарту дисциплин «Дискретная математика», «Математическая логика и теория алгоритмов». Пособие содержит краткий курс дискретной математики и математической логики. В каждом разделе приведены подробно разобранные примеры. Данное пособие предназначено для студентов направлений подготовки 010800.62 – «Механика и математическое моделирование», 220100.62 – «Системный анализ и управление», а также студентов других технических специальностей, изучающих дискретную математику.
Перейти: Перейти к просмотру издания
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 23.07.2024
Число запросов 12409
Число посетителей 516
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)