semantique:学士学位课程

时间:2024-06-03 11:30:17
【文件属性】:

文件名称:semantique:学士学位课程

文件大小:119.5MB

文件格式:ZIP

更新时间:2024-06-03 11:30:17

teaching Prolog

编程语言语义学 该存储库包含有关此课程的重要信息。 不要忘记它,因为它可以使我们发送事件通知,例如新练习,作业,幻灯片或修复。 重要信息和链接 课程为星期一16:00-18:00 练习时间为星期二10:00-12:00 环境 本课程要求以下强制性环境。 我们已竭尽全力使其变得尽可能简单。 检查您是否已在“Sémantique”教室中注册; 我们以后将不再使用它。 :我们将用于练习和家庭作业的源代码托管平台。 创建一个帐户,不要忘记用您的全名和大学电子邮件地址填写您的个​​人资料。 向GitHub索取以获取免费的私有存储库。 在虚拟机中使用或,例如使用 ,或直接使用双引导。 您还必须: 课程页面以获取有关课程的通知。 (完全)创建一个名为semantique的私有存储库。 克隆课程库 git clone https://github.com/cui-unige/semant


【文件预览】:
semantique-master
----git-basics.pdf(4.07MB)
----Ch1.pdf(312KB)
----.gitignore(58B)
----Sources()
--------semantique()
----Ch2.pdf(430KB)
----Ch7.pdf(153KB)
----rules.pl(6KB)
----Ch2bis.pdf(212KB)
----Ch4.pdf(278KB)
----vm-key.pub(745B)
----vm-key(3KB)
----install(2KB)
----Ch5.pdf(242KB)
----runvm(1KB)
----Ch3 Syntaxe.pdf(203KB)
----Ch9.pdf(173KB)
----resolution.pl(2KB)
----lang_a4.pdf(51KB)
----Examjune2017.pdf(52KB)
----README.md(8KB)
----Ch11.pdf(271KB)
----rulesrev.pl(6KB)
----Ch2new.pdf(207KB)
----rundocker(164B)
----rulesrevtyped.pl(9KB)
----Package.swift(1KB)
----Ch8.pdf(203KB)
----Tests()
--------LinuxMain.swift(101B)
--------semantiqueTests()
----Ch6.pdf(226KB)
----Ch10.pdf(306KB)
----anno()
--------Ch7.pdf(14.19MB)
--------Ch4.pdf(23.25MB)
--------Ch5.pdf(22.65MB)
--------Ch3 Syntaxe.pdf(11.51MB)
--------Ch9.pdf(13.53MB)
--------ACh2.pdf(5.39MB)
--------Ch11.pdf(1.13MB)
--------ACh10.pdf(4.76MB)
--------readme.md(40B)
--------Ch8.pdf(20.66MB)
--------Ch6.pdf(17.54MB)
--------28.05.2018 161709.pdf(5.33MB)

网友评论