答案集编程入门 · 英文大学课程PDF课件

内容与使用说明

介绍答案集编程的语法、语义、推理、语言与变量，面向计算机相关大学课程备课或专业自学。 内容与版本 作者：Torsten Schaub，University of Potsdam。语言：英文。原页日期：2023-11-11。原PDF共330页，包含逐步显示的叠加页面与参考文献；这不是330张互不重复的幻灯片。PDF中的幻灯片编号沿用完整课程编号，可能与当前文件页数不同。 使用方法 用PDF阅读器打开，按章节顺序阅读或逐页演示。网页展示原PDF的实际页面，不包含可编辑PPT、课程视频或完整配套软件。内容属于大学计算机课程，不能直接当作中小学教材配套课件或教资考试资料。旧版本的软件语法与示例请结合当前Potassco文档核对。 许可与来源 Torsten Schaub / University of Potsdam / Potassco；保留原文件作者、日期及引用说明；CC0 1.0。 https://github.com/potassco-asp-course/course/blob/f50b003a7ded937281fcbf6ab741c9a67879f438/slides/introduction.pdf 收录文件（2份，共0.73 MiB）： • introduction.pdf • LICENSE.txt 上游原文件与许可一并保留。

来源与许可

课程仓库及PDF标题页均明确使用CC0 1.0；固定提交的LFS指针Git对象与原PDF SHA-256、大小逐项核对。文件原样保留。

CC 0 1.0

Torsten Schaub / University of Potsdam / Potassco；保留原文件作者、日期及引用说明；CC0 1.0。