Бесценный, И. П. Математическая логика [Электронный ресурс] : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): вероятностная семантика -- исчисление высказывания -- исчисление предикатов -- математическая логика -- таблица истинности Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика». Доп.точки доступа: Бесценная, Е. В. Свободных экз. нет |
Довгий, П. С. Синтез комбинационных схем [Электронный ресурс] : учебное пособие к курсовой работе по дисциплине «Дискретная математика» / Довгий П. С. - Санкт-Петербург : Университет ИТМО, 2009. - 63 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): базис жегалкина -- булева функция -- двухразрядный сумматор -- импликантная таблица -- карта карно -- комбинационная схема -- таблица истинности Аннотация: В учебном пособии приводятся теоретические сведения, необходимые при решении задач синтеза и анализа комбинационных схем, реализующих заданную булеву функцию или систему булевых функций. Детально рассмотрен пример выполнения части курсовой работы, связанной с минимизацией, факторизацией и декомпозицией не полностью определенной булевой функции от пяти переменных, а также с построением комбинационных схем, реализующих заданную функцию в различных базисах, и последующим анализом этих схем. Для части работы, связанной с реализацией системы булевых функций, рассмотрено два примера: синтез двухразрядного комбинационного сумматора (система из трех булевых функций от четырех переменных) и синтез комбинационной схемы реверсивного счетчика по модулю 13 (система из пяти булевых функций от пяти переменных). В приложении приводится большое число вариантов разнообразных заданий, что позволяет в полной мере решить проблему индивидуализации ее выполнения. Пособие предназначено для использования в учебном процессе при подготовке бакалавров и магистров по направлению 230100.68 «Информатика и вычислительная техника», а также инженеров по специальности 230101.65 «Вычислительные машины, комплексы, системы и сети» и аспирантов. Доп.точки доступа: Поляков, В. И. Свободных экз. нет |
Гусев, Д. А. Логика [Электронный ресурс] : учебное пособие / Гусев Д. А. - Москва : Прометей, 2019. - 300 с. - ISBN 978-5-907100-51-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): закон противоречия -- индукция -- истинность суждения -- категорический силлогизм -- косвенное доказательство -- логика -- структура суждения -- таблица истинности -- умозаключение -- успешная дискуссия Аннотация: Что такое логика? Чем занимается эта древняя и в то же время всегда молодая наука? Зачем она нужна, можно ли без нее обойтись, и какую роль она играет в жизни человека? Что такое формы мышления и каковы основные законы мышления? К чему приводят многочисленные логические ошибки, которые мы непроизвольно или сознательно допускаем в мышлении и речи? Что такое доказательство и каковы его разновидности? Что представляют собой основные правила доказательства и ошибки, возникающие при их нарушении? Как сделать свои мысли ясными и отчетливыми, как надо их выражать, чтобы окружающие всегда понимали, что вы хотите сказать; как отстаивать свою точку зрения и убеждать собеседника? Как грамотно вести дискуссию и одерживать победу в споре? Что такое софизмы и логические парадоксы? Обо всем этом вы узнаете, прочитав книгу, которая отличается от многих других учебных пособий по логике тем, что читать ее будет нетрудно: автор, много лет преподающий логику студентам и школьникам, постарался сделать предлагаемый вашему вниманию материал простым и ясным, а по возможности - интересным и увлекательным. Книга адресована студентам и школьникам, изучающим логику, преподавателям - в качестве обмена педагогическим опытом - и всем, интересующимся логикой и другими гуманитарными науками. Свободных экз. нет |