南京大学人工智能专业学习笔记

02-05 14:43

#0

我在 Nanjing University 人工智能学院学习所做的笔记.
以 Markdown 为主, 在 Markdown 内部使用 Latex 的公式支持.

query2个子项

msccourse1个子项

query6个子项

owlapi1个子项

msccourse1个子项

query3个子项

20220517-关于KRP课程的内容梳理.pdf

KR&P-Week7-A Little Bit of Model Theory.pdf

KR&P-Lecture Notes-Week9-Reasoning in DLs with Tableau Algorithms.pdf

KR&P-Week10-A Little Bit of Computation Theory.pdf

KR&P-Week13-OBDA & OBQA-Handbook Version.pdf

KR&P-Week13-Ontology-based Data Access (OBDA) & Query Answering (OBQA).pdf

KR&P-Week14-Ontology Engineering.pdf

KR&P-Week16-Inseparability and Conservative Extension.pdf

KR&P-Week2-Part1-KRR Examples.pdf

KR&P-Week2-Part2-Moving to Formalization.pdf

KR&P-Week4-The Description Logic ALC and Extensions.pdf

KR&P-Week5-Reasoning over ALC knowledge bases.pdf

KR&P-Week6-The Description Logic EL.pdf

KR&P-Week7-8-A Bit of Model Theory.pdf

KR&P-Week9-Termination Soundness Completeness of Tableau.pdf

KRP-Slides-Week1.pdf

KRP-Slides-Week1.pptx

KRP-Slides-Week3-edited.pdf

KRP-Slides-Week3.pdf

KRP-Week11-A Little Bit of Complexity Theory.pdf

KRP-Week15-OWL API.pdf

[Lutz1999]-Complexity of Terminological Reasoning Revisited.pdf

introduction-owl-api-msc.pdf

KR&P-Modeling.pdf

KR&P-Week1-KR&AI.pdf

KR&P-Week1-Part I-Practical Information.pdf

Slides-Tableau Techniques for PL FOL DL.pdf

Slides-Week10-ALCreasoning.pdf

Slides-Week10-Tableau_OpenHPI.pdf

Slides-Week11-DLLite.pdf

Slides-Week11-Decidability and Complexity for DL.pdf

Slides-Week12-RDF and OWL.pdf

Slides-Week13-ABoxStoresData.pdf

Slides-Week13-FOLAsOL&Query.pdf

Slides-Week14-OBDA.pdf

Slides-Week15-Ontology Engineering.pdf

Slides-Week16-RDF&SPARQL.pdf

Slides-Week17-Ontology vs Database.pdf

Slides-Week17-The Story So Far.pdf

Slides_Week4-Part1-An Intro to Ontology.pdf

Slides_Week4-Part2_OWL-FOL-Patterns.pdf

Slides_Week5_OWL_FOL_Patterns.pdf

Slides_Week6-CQ.pdf

Slides_Week6_OWL_Patterns.pdf

Slides_Week8_Reasoning_in_ALC.pdf

Slides_Week9_DLs_Extending_ALC.pdf

Week2-Part1-Knowledge Acquisition.pdf

Week3-Part2-Description Logic EL.pdf

Week3-Part3-Description Logic ALC.pdf

Week3-Part1-Formalisation.pdf

Week7-OWLAPI.pdf

Week7_OWLAPI_Tutorial.pdf

[AI Magazine93]-What Is a Knowledge Representation.pdf

[AI100Report2016]-Stanford-AI and Life in 2030.pdf

Homework3个子项

201300035-方盛俊-HW1.pdf

第一二章作业题.pdf

slides11个子项

Homework78个子项

2020离散习题课_王斌.pptx

Problem Set 1 Answer.md

Problem Set 1 Answer.pdf

Problem Set 1.pdf

Problem Set 10 Ans.md

Problem Set 10 Ans.pdf

Problem Set 10.pdf

Problem Set 11 Ans.md

Problem Set 11 Ans.pdf

Problem Set 11.pdf

Problem Set 12 Ans.md

Problem Set 12 Ans.pdf

Problem Set 12.pdf

Problem Set 13 Ans.md

Problem Set 13 Ans.pdf

Problem Set 13.pdf

Problem Set 14 Ans.md

Problem Set 14 Ans.pdf

Problem Set 14.pdf

Problem Set 15 Ans.md

Problem Set 15 Ans.pdf

Problem Set 15.pdf

Problem Set 16 Ans.md

Problem Set 16 Ans.pdf

Problem Set 16.pdf

Problem Set 17 Ans.md

Problem Set 17 Ans.pdf

Problem Set 17.pdf

Problem Set 18A Ans.md

Problem Set 18A Ans.pdf

Problem Set 18A.pdf

Problem Set 18B Ans.md

Problem Set 18B Ans.pdf

Problem Set 18B.pdf

Problem Set 19 Ans.md

Problem Set 19 Ans.pdf

Problem Set 19.pdf

Problem Set 2 Answer.md

Problem Set 2 Answer.pdf

Problem Set 2.pdf

Problem Set 20A Ans.md

Problem Set 20A Ans.pdf

Problem Set 20A.pdf

Problem Set 20B Ans.md

Problem Set 20B Ans.pdf

Problem Set 20B.pdf

Problem Set 21 Ans.md

Problem Set 21.pdf

Problem Set 22 Ans.md

Problem Set 22.pdf

Problem Set 3 Ans.md

Problem Set 3 Ans.pdf

Problem Set 3.pdf

Problem Set 4 Ans.md

Problem Set 4 Ans.pdf

Problem Set 4.pdf

Problem Set 5 Ans.md

Problem Set 5 Ans.pdf

Problem Set 5.pdf

Problem Set 6 Ans.md

Problem Set 6 Ans.pdf

Problem Set 6.pdf

Problem Set 7 Ans.md

Problem Set 7 Ans.pdf

Problem Set 7.pdf

Problem Set 8 Ans.md

Problem Set 8 Ans.pdf

Problem Set 8.pdf

Problem Set 9 Ans.md

Problem Set 9 Ans.pdf

Problem Set 9.pdf

Solution Set 21.pdf

Solution Set 22.pdf

images33个子项

2020-10-21-19-48-18.png

2020-10-21-19-58-08.png

2020-10-21-19-59-14.png

2020-12-07-20-01-59.png

2020-12-17-23-22-59.png

2020-12-17-23-33-31.png

2020-12-17-23-37-36.png

2020-12-17-23-39-43.png

2020-12-18-08-33-26.png

2020-12-21-23-54-53.png

2020-12-22-00-11-12.png

2020-12-22-16-24-38.png

2020-12-22-16-51-14.png

2020-12-22-21-06-16.png

2020-12-27-15-52-34.png

2020-12-27-16-55-33.png

2020-12-27-16-59-36.png

2020-12-27-20-03-22.png

2020-12-27-20-10-56.png

2020-12-27-20-39-04.png

2020-12-28-14-50-41.png

2020-12-28-15-34-25.png

2020-12-28-17-21-25.png

2020-12-28-19-52-04.png

2021-01-03-16-23-33.png

2021-01-03-19-51-17.png

2021-01-03-20-03-57.png

2021-01-03-20-09-06.png

2021-01-03-23-55-04.png

2021-01-05-16-14-09.png

2021-01-06-15-04-46.png

2021-01-06-15-08-11.png

2021-01-06-16-39-10.png

PPT24个子项

扩展阅读：扩大路径证明法.pdf

期末复习课.pdf

第10讲：数学归纳法与递归结构.pdf

第11讲：代数系统引论.pdf

第12讲：群论导引.pdf

第13讲：子群与群的分解.pdf

第14讲：循环群与群同构.pdf

第15讲：偏序与偏序格.pdf

第16讲：偏序格与代数格.pdf

第17讲：布尔代数引论.pdf

第18讲：图论导引.pdf

第19讲：图的连通性.pdf

第1讲命题逻辑初步.pdf

第20讲：欧拉图与哈密顿图.pdf

第21讲：树.pdf

第22讲：根树与二叉树.pdf

第2讲：命题逻辑的推理理论.pdf

第3讲：谓词逻辑引论.pdf

第4讲：证明方法概述.pdf

第5讲：集合论导引.pdf

第6讲：二元关系.pdf

第7讲：关系的性质.pdf

第8讲：函数.pdf

第9讲：集合的基数.pdf

images199个子项

2020-09-24-10-22-56.png

2020-09-24-10-22-38.png

2020-09-28-11-33-28.png

2020-10-10-10-24-24.png

2020-10-10-10-51-29.png

2020-10-10-11-14-52.png

2020-10-10-11-21-51.png

2020-10-10-11-25-32.png

2020-10-10-11-28-25.png

2020-10-10-11-30-07.png

2020-10-10-11-37-01.png

2020-10-10-11-43-39.png

2020-10-10-11-49-19.png

2020-10-12-10-44-19.png

2020-10-12-10-44-32.png

2020-10-12-11-24-31.png

2020-10-12-11-24-47.png

2020-10-12-11-34-29.png

2020-10-12-11-47-01.png

2020-10-12-11-47-46.png

2020-10-13-21-26-54.png

2020-10-19-10-44-10.png

2020-10-19-10-53-17.png

2020-10-19-10-53-46.png

2020-10-19-11-01-57.png

2020-10-19-11-31-39.png

2020-10-19-11-34-18.png

2020-10-19-11-41-00.png

2020-10-19-11-49-43.png

2020-10-19-11-54-14.png

2020-10-22-10-40-10.png

2020-10-22-11-56-59.png

2020-10-22-12-00-52.png

2020-10-26-11-50-15.png

2020-10-26-11-50-48.png

2020-10-26-11-51-13.png

2020-10-30-15-01-15.png

2020-10-30-15-03-26.png

2020-10-30-15-06-18.png

2020-11-02-10-49-02.png

2020-11-02-10-49-49.png

2020-11-02-10-50-19.png

2020-11-02-10-50-31.png

2020-11-02-11-24-11.png

2020-11-02-11-32-22.png

2020-11-02-11-33-41.png

2020-11-02-11-43-59.png

2020-11-09-10-27-40.png

2020-11-09-10-30-53.png

2020-11-09-10-34-48.png

2020-11-09-10-49-45.png

2020-11-09-10-50-22.png

2020-11-09-10-50-57.png

2020-11-09-10-58-56.png

2020-11-09-11-24-47.png

2020-11-09-11-27-28.png

2020-11-09-11-34-06.png

2020-11-09-11-39-02.png

2020-11-09-11-59-28.png

2020-11-12-10-45-33.png

2020-11-12-11-13-27.png

2020-11-12-11-13-45.png

2020-11-19-10-49-51.png

2020-11-23-11-11-51.png

2020-11-23-11-42-27.png

2020-11-23-11-42-41.png

2020-11-23-11-58-53.png

2020-11-26-10-21-39.png

2020-11-26-10-55-38.png

2020-11-26-10-56-12.png

2020-11-26-10-56-29.png

2020-11-26-11-23-53.png

2020-11-26-11-25-11.png

2020-11-26-11-25-47.png

2020-11-26-11-31-13.png

2020-11-26-11-43-22.png

2020-11-26-11-43-31.png

2020-11-26-11-55-08.png

2020-11-26-11-56-18.png

2020-11-26-11-58-09.png

2020-12-03-10-30-54.png

2020-12-03-10-31-29.png

2020-12-03-10-53-49.png

2020-12-03-10-56-19.png

2020-12-03-11-21-48.png

2020-12-03-11-24-06.png

2020-12-03-11-32-11.png

2020-12-03-11-35-26.png

2020-12-03-11-37-47.png

2020-12-03-11-53-11.png

2020-12-03-11-54-44.png

2020-12-07-10-31-34.png

2020-12-07-10-49-16.png

2020-12-07-10-49-29.png

2020-12-07-11-18-55.png

2020-12-07-11-22-22.png

2020-12-07-11-26-55.png

2020-12-07-11-39-37.png

2020-12-07-11-54-45.png

2020-12-07-11-55-03.png

2020-12-10-10-24-58.png

2020-12-10-10-31-50.png

2020-12-10-10-45-14.png

2020-12-10-10-59-15.png

2020-12-10-11-12-22.png

2020-12-10-11-21-31.png

2020-12-10-11-23-47.png

2020-12-10-11-31-01.png

2020-12-10-11-34-42.png

2020-12-10-11-37-17.png

2020-12-10-11-40-38.png

2020-12-10-11-43-32.png

2020-12-10-11-46-30.png

2020-12-10-11-47-00.png

2020-12-14-10-17-58.png

2020-12-14-10-31-55.png

2020-12-14-10-46-36.png

2020-12-14-10-49-19.png

2020-12-14-10-56-25.png

2020-12-14-10-58-50.png

2020-12-17-10-15-09.png

2020-12-17-11-00-39.png

2020-12-17-11-13-20.png

2020-12-17-11-25-20.png

2020-12-17-11-29-33.png

2020-12-17-11-33-36.png

2020-12-17-11-43-28.png

2020-12-17-11-46-21.png

2020-12-17-11-49-13.png

2020-12-17-11-52-26.png

2020-12-17-11-53-30.png

2020-12-17-11-54-45.png

2020-12-17-11-55-12.png

2020-12-17-11-58-36.png

2020-12-21-10-12-46.png

2020-12-21-10-19-28.png

2020-12-21-10-19-41.png

2020-12-21-10-25-02.png

2020-12-21-10-26-25.png

2020-12-21-10-49-19.png

2020-12-21-11-04-24.png

2020-12-21-11-27-35.png

2020-12-21-11-33-10.png

2020-12-21-11-35-18.png

2020-12-21-11-39-34.png

2020-12-21-11-46-08.png

2020-12-21-11-49-49.png

2020-12-21-11-53-15.png

2020-12-21-12-00-31.png

2020-12-24-10-27-36.png

2020-12-24-10-27-58.png

2020-12-24-10-28-32.png

2020-12-24-10-28-55.png

2020-12-24-11-00-35.png

2020-12-24-11-13-35.png

2020-12-24-11-41-58.png

2020-12-24-11-43-09.png

2020-12-28-10-34-15.png

2020-12-28-10-38-19.png

2020-12-28-10-41-37.png

2020-12-28-10-46-53.png

2020-12-28-10-53-49.png

2020-12-28-10-54-52.png

2020-12-28-11-13-24.png

2020-12-28-11-20-11.png

2020-12-28-11-20-28.png

2020-12-28-11-29-35.png

2020-12-28-11-29-44.png

2020-12-28-11-41-13.png

2020-12-28-11-41-35.png

2020-12-28-11-43-16.png

2020-12-28-11-48-37.png

2020-12-28-11-56-49.png

2020-12-28-11-58-34.png

2020-12-31-10-05-10.png

2020-12-31-10-08-57.png

2020-12-31-10-13-19.png

2020-12-31-10-21-49.png

2020-12-31-10-29-28.png

2020-12-31-10-35-05.png

2020-12-31-10-35-17.png

2020-12-31-10-48-03.png

2020-12-31-10-55-51.png

2020-12-31-11-03-23.png

2020-12-31-11-06-48.png

2020-12-31-11-09-21.png

2020-12-31-11-16-22.png

2020-12-31-11-20-29.png

2020-12-31-11-23-44.png

2020-12-31-11-30-50.png

2020-12-31-11-36-42.png

2020-12-31-11-39-43.png

2020-12-31-11-42-13.png

2020-12-31-11-53-01.png

2020-12-31-11-55-52.png

2020-12-31-11-56-07.png

Homework13个子项

images3个子项

PPT12个子项

第一章计算机系统概论.ppt

第七章异常控制流.pdf

第七章异常控制流.ppt

第三章程序的转换与机器级表示 [兼容模式].pdf

第三章程序的转换与机器级表示.ppt

第二章数据的机器级表示与处理.ppt

第五章程序的执行-简化版.pdf

第五章程序的执行-简化版.ppt

第八章输入输出操作的实现.pdf

第八章输入输出操作的实现.ppt

第六章层次结构存储系统.pdf

第六章层次结构存储系统.ppt

RISC-V-Reader-Chinese-v2p1.pdf

riscv-privileged.pdf

计算机系统基础试卷（样卷，仅供参考）.pdf

计算机系统基础试卷（答案，仅供参考）.pdf

images89个子项

2023-02-15-10-20-24.png

2023-03-01-10-18-36.png

2023-03-01-10-24-15.png

2023-03-01-10-26-50.png

2023-03-01-10-43-30.png

2023-03-01-11-04-47.png

2023-03-01-11-14-18.png

2023-03-01-11-28-02.png

2023-03-01-11-35-34.png

2023-03-01-11-52-04.png

2023-03-01-11-56-19.png

2023-03-08-10-36-03.png

2023-03-08-10-43-10.png

2023-03-08-11-17-51.png

2023-03-08-11-28-52.png

2023-03-08-11-40-27.png

slides9个子项

人工智能导论.md

机器学习.md

机器学习算法.md

模式识别.md

模式识别.pdf

矩阵计算.md

首页上一页7下一页末尾

点赞回复