|
所在平台: Udemy |
课程主页: https://www.udemy.com/course/formale-logik/
课程评论：没有评论
课程名称：形式逻辑 课程概述： 本课程将带您深入了解形式逻辑。形式逻辑不仅在哲学领域有广泛应用，同样在数学和计算机科学领域也至关重要，包括机器学习、自动代码验证等众多前沿技术都离不开它。您将接触并学习多种不同的逻辑系统，掌握其运用方法。课程内容涵盖命题逻辑、谓词逻辑以及自动求解系统。课程中将提供丰富的信息、练习题，甚至还有一个用Java编写的逻辑数独求解器，让您在实践中巩固所学。
In diesem Kurs lernst du formale Logik kennen. Diese hat nicht nur eine Anwendung in der Philosophie, sondern auch in der Mathematik und der Informatik - Machine Learning, automatische Codeprüfunge und vieles mehr lebt davon. Lerne die verschiedenen Logiken kennen (ja es gibt mehrere!) und mit ihnen umzugehen. Aussagenlogik, Prädikatenlogik und automatische Lösungssysteme erwarten dich! Freue dich auf viele Informationen, Aufgaben und sogar einen logischen Sudokulöser in Java.
