信息 Automatentheorie(普罗塞米纳) 本研讨会首次介绍了计算机科学学科的科学工作。本次研讨会的重点是以演讲者和参与者的身份进行演讲。与会学生将详细介绍自动机理论的基本概念。 课程类型 普罗塞米纳 讲师 Andreas Podelski教授 文森特·兰恩菲尔德 尼科·豪夫(组织事务联系人) 启动 星期二,18日。2023年4月14日14:00-16:00 c.t。052号楼,SR 02 017室 会议 2023年5月9日,星期二,14:00-16:00 c.t。052号楼,SR 02 017室 第1组2023年7月24日星期一,上午10:00-17:00。106号楼,SR 00 007室 第2组2023年7月25日星期二,上午10:00-17:00。106号楼,SR 00 007室 教学语言 德国的 信用 三 课程目录 Prosminar am Lehrstuhl软件技术 伊利亚斯球场 学生注册日期HISinOne公司将自动添加到课程中。 新闻 2023-05-20:上传启动幻灯片。 2023-03-31:网站在线。 话题 研讨会的主题基于课堂讲稿自动机理论:一种算法方法哈维尔·埃斯帕尔扎。 登记处 在启动会议上,我们将详细阐述促进民主的目标、结构和规则。 如果研讨会已全部预定,我们将优先录取参加启动会议并提交了他们最喜欢的主题的学生。 幻灯片 2023-05-18: 启动