Зарипова, Э. Р. Лекции по дискретной математике. Математическая логика [Электронный ресурс] : учебное пособие / Зарипова Э. Р. - Москва : Российский университет дружбы народов, 2014. - 120 с. - ISBN 978-5-209-05455-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): булева алгебра -- дискретная математика -- исчисление высказываний -- исчисление предикатов -- математическая логика Аннотация: В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов. Пособие состоит из 3 разделов и включает в себя конспект лекций по дисциплине, фонды оценочных средств, а также программу дисциплины «Математическая логика и теория алгоритмов». Предназначено для студентов I и II курсов математических, экономических и компьютерных специальностей. Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов. Доп.точки доступа: Кокотчикова, М. Г.; Севастьянов, Л. А. Свободных экз. нет |
Малыхина, Г. И. Логика [Электронный ресурс] : учебник / Малыхина Г. И. - Минск : Вышэйшая школа, 2013. - 335 с. - ISBN 978-985-06-2297-6 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): исчисление высказываний -- исчисление предикатов -- логика -- структура суждения -- форма мышления Аннотация: В основе учебника – опыт преподавания общего курса логики студентам учреждений высшего образования. В оригинальной и последовательной форме изложено содержание дисциплины в контексте разнообразных форм человеческой деятельности. Обосновывается фундаментальное значение логических знаний для учебной практики и интеллектуального творчества, в том числе и технического. Для студентов учреждений высшего образования, учащихся гимназий, лицеев, колледжей и училищ. Может быть использовано магистрантами и аспирантами, а также изучающими логику самостоятельно. Свободных экз. нет |