Бесценный, И. П. Математическая логика [Электронный ресурс] : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): вероятностная семантика -- исчисление высказывания -- исчисление предикатов -- математическая логика -- таблица истинности Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика». Доп.точки доступа: Бесценная, Е. В. Свободных экз. нет |
Зарипова, Э. Р. Лекции по дискретной математике. Математическая логика [Электронный ресурс] : учебное пособие / Зарипова Э. Р. - Москва : Российский университет дружбы народов, 2014. - 120 с. - ISBN 978-5-209-05455-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): булева алгебра -- дискретная математика -- исчисление высказываний -- исчисление предикатов -- математическая логика Аннотация: В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов. Пособие состоит из 3 разделов и включает в себя конспект лекций по дисциплине, фонды оценочных средств, а также программу дисциплины «Математическая логика и теория алгоритмов». Предназначено для студентов I и II курсов математических, экономических и компьютерных специальностей. Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов. Доп.точки доступа: Кокотчикова, М. Г.; Севастьянов, Л. А. Свободных экз. нет |
Малыхина, Г. И. Логика [Электронный ресурс] : учебник / Малыхина Г. И. - Минск : Вышэйшая школа, 2013. - 335 с. - ISBN 978-985-06-2297-6 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): исчисление высказываний -- исчисление предикатов -- логика -- структура суждения -- форма мышления Аннотация: В основе учебника – опыт преподавания общего курса логики студентам учреждений высшего образования. В оригинальной и последовательной форме изложено содержание дисциплины в контексте разнообразных форм человеческой деятельности. Обосновывается фундаментальное значение логических знаний для учебной практики и интеллектуального творчества, в том числе и технического. Для студентов учреждений высшего образования, учащихся гимназий, лицеев, колледжей и училищ. Может быть использовано магистрантами и аспирантами, а также изучающими логику самостоятельно. Свободных экз. нет |
Аверченков, В. И. Основы математического моделирования технических систем [Электронный ресурс] : учебное пособие / Аверченков В. И. - Брянск : Брянский государственный технический университет, 2012. - 271 с. - ISBN 5-89838-126-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): генетический алгоритм -- исчисление предикатов -- математическое моделирование -- нейрокомпьютерное моделирование -- теория графов -- теория множеств -- теория нечетких множеств -- техническая система -- учебное пособие Аннотация: Изложены основы современных методов математического моделирования технических объектов, широко используемых в инженерной практике и научных исследованиях. Рассмотрены общие понятия и определения математического моделирования, приведены классификации моделей и даны рекомендации по их использованию при решении различных задач. Особое внимание уделено построению математических моделей с использованием матриц, теорией множеств и графов, алгебры логики и исчисления предикатов. Рассмотрены элементы и направления применения таких современных средств моделирования и оптимизации, как теория нечетких множеств, нейрокомпьютерное моделирование и генетические алгоритмы. Приведены сведения о современных подходах и оптимизации при математическом моделировании технических систем. Учебное пособие предназначено для студентов инженерных специальностей всех форм обучения, магистров направления 552900 – «Технология, оборудование и автоматизация машиностроительных производств» и аспирантов, выполняющих исследования в области технологии машиностроения, математического моделирования, САПР и автоматизации и управления технологическими процессами и производствами (в машиностроении) (научные специальности 05.02.08, 05.13.18, 05.13.12 и 05.13.06 соответственно). Доп.точки доступа: Федоров, В. П.; Хейфец, М. Л. Свободных экз. нет |