|
所在平台: Udemy |
课程主页: https://www.udemy.com/course/matematika-diskrit-untuk-teknik-informatika/
课程评论：没有评论
课程名称：离散数学在计算机科学与技术领域的应用 课程概述： 本课程旨在教授离散数学的各项主题，该学科是计算机科学与技术（CS）领域至关重要的数学基础。本课程适合： * 寻求在信息技术领域成为计算机科学工程师的学生。 * 正在申请CS工程师职位的专业人士，掌握离散数学知识将在面试中脱颖而出。 * 在工作中需要运用离散数学解决各种问题的CS工程师。 课程特点： 课程内容通过丰富的图表、表格、示意图和流程图呈现，便于学习和理解。课程内容源自讲师多年在CS专业教授离散数学的教学经验。 课程主题： * **集合论**：集合的定义、符号、表示法、基数、集合的种类、集合相等、子集与超集、全集、幂集、文氏图、集合运算、集合性质、集合并集的基数。 * **关系**：关系的定义、关系表示、关系逆、关系组合、关系复合、关系性质（自反性、对称性、传递性）、等价关系、偏序集（poset）。 * **布尔代数**：布尔代数的定义、基本运算、布尔函数、布尔函数等价、逻辑门（缓冲器、非门、与门、或门、与非门、或非门、异或门、同或门）、布尔函数最小化、布尔代数定律。 * **命题逻辑**：命题逻辑入门、命题组合、命题逻辑运算符（否定、合取、析取（ inclusive or ）、异或（ exclusive or ））、命题表达式、真值表、条件命题（蕴含、双蕴含）、蕴含变体（逆否命题、逆命题、否命题）、命题等价、重言式（永真式）、矛盾式（永假式）、可满足式（ Contingent ）、命题代数定律、逻辑推理、推理规则（肯定前件、否定后件、假言三段论、吸收律、合取律、合取消去律、析取律、析取消去律、假言析取三段论、析取简化律、归结律、双条件命题推理、构造性二难推理、破坏性二难推理）、有效性（Validity）、可靠性（Soundness）。 讲师：Hendri Yanto Li - MathemaNesos
Kursus ini dirancang untuk memberikan pengetahuan tentang berbagai topik matematika diskrit yang merupakan landasan matematika pada bidang Teknik Informatika (TI).Kursus ini akan bermanfaat bagi:Mahasiswa yang ingin berkarir di bidang teknologi informasi sebagai engineer informatika.Engineer informatika saat melamar pekerjaan di bidangnya. Penguasaan pengetahuan tentang matematika diskrit akan memberikan keunggulan saat wawancara pekerjaan.Engineer informatika saat menjalani pekerjaannya yang akan berhadapan dengan berbagai permasalahan yang bisa diselesaikan dengan memakai pengetahuan tentang matematika diskrit.Topik-topik di dalam kursus ini disampaikan melalui berbagai gambar, tabel, diagram, dan skema; sehingga akan lebih mudah diserap peserta.Kursus ini dikembangkan dari pengalaman instruktur mengajarkan matakuliah Matematika Diskrit di program studi Teknik Informatika selama bertahun-tahun.Kursus ini membahas tentang:Teori Himpunan: pengertian himpunan, notasi, bentuk penulisan, kardinalitas, jenis himpunan, kesamaan himpunan, himpunan sub dan super, himpunan semesta, himpunan pangkat, diagram venn, operasi himpunan, properti himpunan, dan kardinalitas gabungan himpunan.Relasi: pengertian relasi, representasi relasi, inversi relasi, kombinasi relasi, komposisi relasi, properti relasi (kerefleksifan, kesimetrikan, ketransitifan), relasi ekuivalen, dan partially ordered set (poset).Aljabar Boolean: pengertian aljabar boolean, operasi dasar boolean, fungsi boolean, ekuivalensi fungsi boolean, gerbang logika (BUFFER, NOT, AND, OR, NAND, NOR, XOR, XNOR), minimasi fungsi boolean, dan hukum aljabar boolean.Logika Proposisi: pengantar logika proposisi, kombinasi proposisi, operator logika proposisi (negasi, konjungsi, disjungsi inklusif, disjungsi eksklusif), ekspresi logika proposisi, tabel kebenaran, proposisi bersyarat (implikasi, bi-implikasi), varian implikasi (kontrapositif, konvers, invers), ekuivalensi proposisi, tautologi, kontradiksi, kontijensi, hukum aljabar proposisi, penalaran logika, aturan inferensi (ponens, tollens, silogisme hipotesis, absorpsi, konjungsi, eliminasi konjungsi, disjungsi, eliminasi disjungsi, silogisme disjungtif, simplifikasi disjungtif, resolusi, bi-kondisional, dilema konstruktif, dilema destruktif), validitas, dan soundness.< Hendri Yanto Li - MathemaNesos >
