51 Г 474 Гильберт, Д. Основы теоретической логики [Текст] : пер.с нем. / Ред.С.А.Яновский. - Биробиджан : Тривиум, 2000. - 304с. - ISBN 5-1251-0180-X : 129 р.
Рубрики: Математическая логика Кл.слова (ненормированные): Исчисление высказываний -- Математическая логика -- Исчисление предикатов Доп.точки доступа: Аккерман, В. Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Е 804 Ершов, Юрий Леонидович. Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 195.80 р., 195.80 р.
Кл.слова (ненормированные): Математическая логика -- Исчисление высказываний -- Исчисление предикатов -- Алгоритмы Доп.точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 19 Х (1), ЧЗЕ (1), АБУ (17) Свободны: Х (1), ЧЗЕ (1), АБУ (17) |
517 К 493 Клини, Стивен Коул. Математическая логика / С. К. Клини ; ред. Г. Е. Минц ; пер. Ю. А. Гастев. - Москва : Ком Книга, 2007. - 480 с. - ISBN 5-484-00802-6. - ISBN 978-5-484-00802-5 : 244.00 р., 244.00 р., 244 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- РАЗРЕШИМОСТЬ Доп.точки доступа: Минц, Г. Е. \ред.\; Гастев, Ю. А. \пер.\ Экземпляры всего: 3 Х (1), ЧЗЕ (1), АБУ (1) Свободны: Х (1), ЧЗЕ (1), АБУ (1) |
517 Л 136 Лавров, Игорь Андреевич. Математическая логика : учебное пособие для вузов / И. А. Лавров ; . - Москва : Академия, 2006. - 240 с. - (Университетский учебник. Прикладная математика и информатика.). - Библиогр.: с. 230. - ISBN 5-7695-2735-8 : 151.50 р., 151.50 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- алгебраические системы -- исчисление предикатов -- исчисление высказываний -- ИСЧИСЛЕНИЕ ФУНКЦИЙ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ Доп.точки доступа: Максимова, Лариса Львовна Экземпляры всего: 2 Х (1), ЧЗЕ (1) Свободны: Х (1), ЧЗЕ (1) |
517 Е 804 Ершов, Юрий Леонидович. Математическая логика : учебное пособие для студентов математических специальностей вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - Москва : Наука , 1987. - 336 с. - Предм. указ.: с. 335-336. - 0.95 р., 1.10 р.
Кл.слова (ненормированные): ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ТЕОРИЯ МНОЖЕСТВ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ТЕОРИЯ МОДЕЛЕЙ -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- АЛГОРИТМЫ -- РЕКУРСИВНЫЕ ФУНКЦИИ Доп.точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 10 Х (1), АБЗ (9) Свободны: Х (1), АБЗ (9) |
53 И 547 Имре, Шандор. Квантовые вычисления и связь: инженерный подход / Ш. Имре, Ф. Балаж ; пер. с англ. А. А. Калачёва [и др.] ; под ред. В. В. Самарцева. - Москва : Физматлит, 2008. - 319 с. : ил., табл. + 21 см. - Библиогр.: с. 306-315. - ISBN 978-5-9221-0993-2 : 230 р.
Кл.слова (ненормированные): КВАНТОВЫЙ ВЗЛОМ КОДА -- ВЕБ-ТЕХНОЛОГИИ -- КВАНТОВЫЕ ВЫЧИСЛЕНИЯ -- ОБРАБОТКА СИГНАЛОВ -- ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ (МАТЕМАТИКА) -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ Доп.точки доступа: Балаж, Ференц; Калачев, А. А. \пер.\; Самарцев, В. В. \ред.\ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Г 474 Гильберт, Давид. Основания математики. Теория доказательств / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорный ; ред. С. И. Адян. - Москва : Наука, 1982. - 652 с. - (Математическая логика и основания математики). - 3.40 р., 3.40 р.
Кл.слова (ненормированные): ЛОГИЧЕСКИЙ ФОРМАЛИЗМ -- МАТЕМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО (ТЕОРИЯ) -- ТЕОРЕМЫ О ПОЛНОТЕ (НЕПОЛНОТЕ) -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ТЕОРЕМА ЧЁРЧА -- АРИФМЕТИЧЕСКИЙ ФОРМАЛИЗМ (ДОКАЗАТЕЛЬСТВО КАЛЬМАРА) Доп.точки доступа: Бернайс, Пауль; Нагорный, Н. М. \пер.\; Адян, С.И. \ред.\ Экземпляры всего: 3 АБН (2), Х (1) Свободны: АБН (2), Х (1) |
517 К 493 Клини, Стивен Коул. Математическая логика / пер. с англ. Ю. А. Гастева, под ред. Г. Е. Минца. - Москва : Мир, 1973. - 480 с. - Библиогр.: с. 451. - 2.50 р., 2.50 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- РАЗРЕШИМОСТЬ Доп.точки доступа: Минц, Г. Е. \ред.\; Гастев, Ю. А. \пер.\ Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
7003 Аверченков, В. И. Основы математического моделирования технических систем [Электронный ресурс] : учебное пособие / Аверченков В. И. - Брянск : Брянский государственный технический университет, 2012. - 271 с. - ISBN 5-89838-126-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): генетический алгоритм -- исчисление предикатов -- математическое моделирование -- нейрокомпьютерное моделирование -- теория графов -- теория множеств -- теория нечетких множеств -- техническая система -- учебное пособие Аннотация: Изложены основы современных методов математического моделирования технических объектов, широко используемых в инженерной практике и научных исследованиях. Рассмотрены общие понятия и определения математического моделирования, приведены классификации моделей и даны рекомендации по их использованию при решении различных задач. Особое внимание уделено построению математических моделей с использованием матриц, теорией множеств и графов, алгебры логики и исчисления предикатов. Рассмотрены элементы и направления применения таких современных средств моделирования и оптимизации, как теория нечетких множеств, нейрокомпьютерное моделирование и генетические алгоритмы. Приведены сведения о современных подходах и оптимизации при математическом моделировании технических систем. Учебное пособие предназначено для студентов инженерных специальностей всех форм обучения, магистров направления 552900 – «Технология, оборудование и автоматизация машиностроительных производств» и аспирантов, выполняющих исследования в области технологии машиностроения, математического моделирования, САПР и автоматизации и управления технологическими процессами и производствами (в машиностроении) (научные специальности 05.02.08, 05.13.18, 05.13.12 и 05.13.06 соответственно). Перейти: Перейти к просмотру издания Доп.точки доступа: Федоров, В. П.; Хейфец, М. Л. Свободных экз. нет |
22190 Зарипова, Э. Р. Лекции по дискретной математике. Математическая логика [Электронный ресурс] : учебное пособие / Зарипова Э. Р. - Москва : Российский университет дружбы народов, 2014. - 120 с. - ISBN 978-5-209-05455-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): булева алгебра -- дискретная математика -- исчисление высказываний -- исчисление предикатов -- математическая логика Аннотация: В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов. Пособие состоит из 3 разделов и включает в себя конспект лекций по дисциплине, фонды оценочных средств, а также программу дисциплины «Математическая логика и теория алгоритмов». Предназначено для студентов I и II курсов математических, экономических и компьютерных специальностей. Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов. Перейти: Перейти к просмотру издания Доп.точки доступа: Кокотчикова, М. Г.; Севастьянов, Л. А. Свободных экз. нет |
24064 Малыхина, Г. И. Логика [Текст] : учебник / Малыхина Г. И. - Минск : Вышэйшая школа, 2013. - 335 с. - ISBN 978-985-06-2297-6 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): исчисление высказываний -- исчисление предикатов -- логика -- структура суждения -- форма мышления Аннотация: В основе учебника – опыт преподавания общего курса логики студентам учреждений высшего образования. В оригинальной и последовательной форме изложено содержание дисциплины в контексте разнообразных форм человеческой деятельности. Обосновывается фундаментальное значение логических знаний для учебной практики и интеллектуального творчества, в том числе и технического. Для студентов учреждений высшего образования, учащихся гимназий, лицеев, колледжей и училищ. Может быть использовано магистрантами и аспирантами, а также изучающими логику самостоятельно. Перейти: Перейти к просмотру издания Свободных экз. нет |
59613 Бесценный, И. П. Математическая логика [Электронный ресурс] : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): вероятностная семантика -- исчисление высказывания -- исчисление предикатов -- математическая логика -- таблица истинности Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика». Перейти: Перейти к просмотру издания Доп.точки доступа: Бесценная, Е. В. Свободных экз. нет |