Дискретная математика. Часть II. Математическая логика

دسته بندی: منطق
ویرایش:  
نویسندگان: Зарипова Э.Р.,  Кокотчикова М.Г.,  Севастьянов. Л.А.  
سری:  
 
ناشر:  
سال نشر:  
تعداد صفحات: 117 
زبان: Ukrainian 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

قیمت کتاب (تومان) : 39,000

آموزش. - M.: RUDN، 2013. - 116 p. — ISBN 978-5209-04949 این کتابچه راهنمای مبانی منطق ریاضی، جبر بولی، حساب گزاره ای، و حساب محمولی را تشریح می کند.
برای دانشجویان سال اول و دوم رشته های تخصصی ریاضی، اقتصادی و کامپیوتر در نظر گرفته شده است.
تهیه شده در گروه سیستم های مخابراتی دانشگاه دوستی مردم روسیه.
منطق ریاضی بخشی از علم ریاضیات گسسته است. ریاضیات گسسته شامل بخش های زیر است: ترکیبات، منطق ریاضی، نظریه گراف عمومی، نظریه مجموعه ها و جبر عمومی، نظریه الگوریتم ها، نظریه خودکار و نظریه کدگذاری. مطالب.< br/ >فهرست محتویات تعاملی یادداشت های سخنرانی در مورد این رشته.
مقدمه ای بر جبر منطق.
اطلاعات تاریخی. محصول مستقیم مجموعه ها. مکاتبات و کارکردها. جبرها
توابع جبر منطق. نمونه هایی از توابع منطقی
افراد و فرمول ها. جبر بولی.
اصل دوگانگی. SDNF. بسط توابع بولی به متغیرها.
ساخت SDNF برای یک تابع مشخص شده توسط جدول SCNF. تبدیل های معادل اساسی
به حداقل رساندن توابع بولی.
مشکل کمینه سازی. تولید ایمپلیکنت های ساده الگوریتم کواین و مک‌کلاسکی
جدول های ایمپلیکانت اول.
کامل بودن و بسته بودن سیستم های توابع منطقی.
تعاریف اساسی. کلاس های تعطیل پایه
حساب گزاره ای.
اصول کلی برای ساختن نظریه رسمی. تفسیر، اعتبار کلی، ناسازگاری، نتیجه منطقی.
روش قطعنامه برای محاسبه اظهارات.
حساب محمول.
مفهوم محمول. کمیت کننده ها الفبا. فرمول ها. تفسیر فرمول ها
فرم عادی پیشوند. الگوریتم تبدیل فرمول ها به فرم پیش عادی
فرم استاندارد Skolem. جایگزینی و یکسان سازی. الگوریتم یکسان سازی
روش تفکیک در محاسبات محمول. وجوه ابزارهای ارزیابی.
فرهنگ لغت (واژه نامه) اصطلاحات و مفاهیم اساسی.
دستورالعمل های روش شناختی برای معلمان، دانش آموزان، شنوندگان.
مجموعه مسائل و تمرینات.
کارگاه آزمایشگاهی این رشته.
شرح سیستم امتیاز دهی.
سوالاتی برای خودآزمایی و بحث در مورد موضوعات.
وظایف برای کار مستقل روی موضوعات.
فهرست چکیده ها و/یا مقالات ترم بر اساس موضوع.
تکلیف را بر اساس موضوع (برای خودکنترلی فعلی و متوسط) آزمایش کنید.
وظایف آموزشی.
لیست سوالات گواهینامه نهایی دوره. برنامه رشته.
اهداف و مقاصد این رشته.
جایگاه نظم و انضباط در ساختار OOP.
شرایط لازم برای نتایج تسلط بر رشته.
حوزه رشته و انواع کار دانشگاهی.
محتوای رشته
کارگاه آزمایشگاه.
کلاس های عملی.
موضوعات تقریبی پروژه های درسی (کارها).
پشتیبانی آموزشی، روش شناختی و اطلاعاتی رشته.
پشتیبانی مادی و فنی رشته.
توصیه های روش شناختی برای سازماندهی مطالعه این رشته. © دانشگاه دوستی مردم روسیه، انتشارات خانه، 2013
© E.R. زریپووا، ام.جی. کوکوچیکووا، ال. سواستیانوف، 2013.

Учебное пособие. — М.: РУДН, 2013. — 116 с. — ISBN 978-5209-04949 В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов.
Предназначено для студентов I, II курсов математических, экономических и компьютерных специальностей.
Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов.
Математическая логика является частью науки дискретной математики. Дискретная математика состоит из следующих разделов: комбинаторика, математическая логика, общая теория графов, теория множеств и общая алгебра, теория алгоритмов, теория автоматов и теория кодирования. Содержание.
Интерактивное оглавление Конспект лекций по дисциплине.
Введение в алгебру логики.
Историческая справка. Прямое произведение множеств. Соответствия и функции. Алгебры.
Функции алгебры логики. Примеры логических функций.
Суперпозиции и формулы. Булева Алгебра.
Принцип двойственности. СДНФ. Разложение булевых функций по переменным.
Построение СДНФ для функции, заданной таблицей СКНФ. Основные эквивалентные преобразования.
Минимизация булевых функций.
Проблема минимизации. Порождение простых импликантов. Алгоритм Куайна и Мак-Клоски.
Таблицы простых импликантов.
Полнота и замкнутость систем логических функций.
Основные определения. Основные замкнутые классы.
Исчисление высказываний.
Общие принципы построения формальной теории. Интерпретация, общезначимость, противоречивость, логическое следствие.
Метод резолюций для исчисления высказываний.
Исчисление предикатов.
Понятие предиката. Кванторы. Алфавит. Формулы. Интерпретация формул.
Предваренная нормальная форма. Алгоритм преобразования формул в предваренную нормальную форму.
Скулемовская стандартная форма. Подстановка и унификация. Алгоритм унификации.
Метод резолюций в исчислении предикатов. Фонды оценочных средств.
Словарь (глоссарий) основных терминов и понятий.
Методические указания для преподавателя, студента, слушателя.
Сборник задач и упражнений.
Лабораторный практикум по дисциплине.
Описание балльно-рейтинговой системы.
Вопросы для самопроверки и обсуждений по темам.
Задания для самостоятельной работы по темам.
Перечень рефератов и/или курсовых работ по темам.
Тестовые задания по темам (для текущего и промежуточного самоконтроля).
Тренинговые задания.
Перечень вопросов итоговой аттестации по курсу. Программа дисциплины.
Цели и задачи дисциплины.
Место дисциплины в структуре ООП.
Требования к результатам освоения дисциплины.
Объем дисциплины и виды учебной работы.
Содержание дисциплины.
Лабораторный практикум.
Практические занятия.
Примерная тематика курсовых проектов (работ).
Учебно-методическое и информационное обеспечение дисциплины.
Материально-техническое обеспечение дисциплины.
Методические рекомендации по организации изучения дисциплины. © Российский университет дружбы народов, Издательство, 2013
© Э.Р. Зарипова, М.Г. Кокотчикова, Л.А. Севастьянов, 2013.