517 И 269 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 5-7695-1363-2 : 201.40 р., 201.40 р.
Алгоритмы--Теория--Учебные издания для высших учебных заведений Кл.слова (ненормированные): БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ Экземпляры всего: 20 Х (1), ЧЗЕ (1), АБУ (18) Свободны: Х (1), ЧЗЕ (1), АБУ (18) |
517 И 269 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 3-е изд., стер. - Москва : Академия, 2007. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - ISBN 5-7695-3728-0 : 193.10 р., 193.10 р.
Кл.слова (ненормированные): АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ Экземпляры всего: 30 Х (1), ЧЗЕ (1), АБУ (28) Свободны: Х (1), ЧЗЕ (1), АБУ (28) |
517 А 456 Алгебра логики / В. Б. Кудрявцев, Г. Н. Блохина, Ж. Кнап, В. В. Кудрявцев ; Моск. гос. ун-т им. М. В. Ломоносова. - М. ; Любляна : Изд-во ЦПИ при мех.-мат. фак. МГУ, 2006. - 200 с. : ил. - Библиогр.: с. 198-199. - 70 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ Доп.точки доступа: Кудрявцев, Валерий Борисович; Блохина, Галина Николаевна; Кнап, Жига; Кудрявцев, Валерий Валерьевич; Московский государственный университет им. М. В. Ломоносова (М.). Механико-математический факультет Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 З-153 Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие для студентов вузов, обучающихся по специальностям в области 090100 - "Информационная безопасность" / М. М. Глухов, О. А. Козлитин, В. А. Шапошников, А. Б. Шишков. - Санкт-петербург ; Москва ; Краснодар : Лань, 2008. - 112 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 109-110. - ISBN 978-5-8114-0853-5 : 109.20 р., 109.20 р.
Дискретная математика--Задачники Алгоритмы--Теория--Задачники Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА (ЗАДАЧИ) -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- АЛГЕБРА ПРЕДИКАТОВ -- ДИСКРЕТНЫЕ ФУНКЦИИ (ЗАДАЧИ) -- БУЛЕВЫ ФУНКЦИИ -- ТЕОРИЯ АЛГОРИТМОВ (ЗАДАЧИ) -- АЛГОРИТМОВ ТЕОРИЯ Доп.точки доступа: Глухов, Михаил Михайлович; Козлитин, Олег Алексеевич; Шапошников, Виталий Анатольевич; Шишков, Алексей Борисович Экземпляры всего: 3 Х (1), АБУ (1), ЧЗЕ (1) Свободны: Х (1), АБУ (1), ЧЗЕ (1) |
51 K 89 Algebra logike / V. B. Kudrjavcev. - Ljubljana : ZOTKS, 2010. - 200 с. : ил. - (Zbirka Univerza za 21. stoletje). - На англ. яз. - Библиогр.: с. 198-199. - ISBN 978-961-6243-58-2 : 150.00 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ Доп.точки доступа: Kudrjavcev, Valeriy Borisovitch; Blohina, Galina Nikolayevna; Ziga, Knap; Kudrjavcev, Valeriy Valerievitch Экземпляры всего: 1 ОИЛ (1) Свободны: ОИЛ (1) |
51 Н 731 Новиков, Петр Сергеевич. Элементы математической логики / П. С. Новиков. - Москва : Физматлит, 1959. - 400 с. - 1.11 р., 1.11 р.
Кл.слова (ненормированные): Математическая логика -- Алгебра высказываний -- Исчисление высказываний -- Логика предикатов -- Аксиоматическая арифметика -- Теория доказательств Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
512 Я 297 Яглом, Исаак Моисеевич. Необыкновенная алгебра / И. М. Яглом. - Москва : Наука, 1968. - 70с. с. : ил., портр. ; 22 см. - Библиогр.: с. 68 (8 назв.). - 0.12 р.
Алгебра логики Кл.слова (ненормированные): Алгебры Буля -- Алгебра высказываний Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
517 Н 731 Новиков, Петр Сергеевич. Элементы математической логики / П. С. Новиков. - 2-е изд., испр. - Москва : Наука, 1973. - 400 с. - (Математическая логика и основания математики). - 1.43 р., 1.43 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- ЭЛЕМЕНТЫ ТЕОРИИ ДОКАЗАТЕЛЬСТВ Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
517 Н 731 Новиков, Петр Сергеевич. Конструктивная математическая логика с точки зрения классической / П. С. Новиков. - Москва : Наука, 1977. - 328 с. - (Математическая логика и основания математики). - Библиогр.: с. 318. - 1.43 р., 1.43 р.
Кл.слова (ненормированные): Математическая логика -- Алгебра высказываний -- Исчисление высказываний -- Логика предикатов -- Аксиоматическая арифметика Экземпляры всего: 3 АБН (2), Х (1) Свободны: АБН (2), Х (1) |
34675 Сухотин, А. М. Математика в вузе. Альтернативная методология и инновационное обучение [Электронный ресурс] : учебное пособие / Сухотин А. М. - Томск : Томский политехнический университет, 2012. - 224 с. - ISBN 978-5-4387-0117-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): алгебра высказываний -- архитектура математики -- высшая математика -- инновационное обучение Аннотация: В пособии введены основные понятия высшей математики в альтернативной методологии, инновационные понятия: С-пары натуральных переменных, е-расходящиеся и w-сходящиеся числовые последовательности и др. Дано описание дидактической системы активизации познавательной самостоятельной деятельности студентов, представленной методологическими, методическими, содержательно-организационными и иными педагогическими условиями. Предназначено для всех участников учебного процесса в техническом вузе: студентов, преподавателей, слушателей ФПК и иных пользователей высшей математики. Перейти: Перейти к просмотру издания Доп.точки доступа: Тарбокова, Т. В. Свободных экз. нет |
55636 Шмырин, А. М. Лекции по дискретной математике и математической логике [Электронный ресурс] : учебное пособие / Шмырин А. М. - Липецк : Липецкий государственный технический университет, ЭБС АСВ, 2014. - 160 с. - ISBN 978-5-88247-714-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): алгебра высказываний -- дискретная математика -- математическая логика -- транспортная сеть -- элемент графа Аннотация: Учебное пособие соответствует государственному образовательному стандарту дисциплин «Дискретная математика», «Математическая логика и теория алгоритмов». Пособие содержит краткий курс дискретной математики и математической логики. В каждом разделе приведены подробно разобранные примеры. Данное пособие предназначено для студентов направлений подготовки 010800.62 – «Механика и математическое моделирование», 220100.62 – «Системный анализ и управление», а также студентов других технических специальностей, изучающих дискретную математику. Перейти: Перейти к просмотру издания Доп.точки доступа: Седых, И. А. Свободных экз. нет |