WebStatistics | 30 Oct 2020 - 14:39 - r2156 | TWikiGuest |
Statistics for Education/MapiFc Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... |
WebHome | 27 Sep 2012 - 17:01 - r10 | JoseNunoOliveira |
RSD Rigorous Software Development (Program Semantics, Verification, and Construction) Overview. The reliability of computing systems plays an essential role in modern ... |
WebSideBar | 12 Apr 2011 - 09:25 - r7 | JorgeSousaPinto |
WebHome Overview Recommended Books Syllabus and Course Material Assessment |
CourseAssessment | 12 Apr 2011 - 09:24 - r3 | JorgeSousaPinto |
Results I II III Final Carlos Silva 16 15 13 15 Constantin Taivan 16 12 11 13 Frederico Valente 13 6 10 11 Henrique ... |
Assessment0809 | 07 Dec 2010 - 22:42 - r14 | JoseBacelarAlmeida |
Assessment Part I Write and present a short report in one of the topics. Bibliography. Formulae as types as a notion of control Groups: 1. Bruno Oliveira and ... |
Assessment0910 | 07 Dec 2010 - 17:02 - NEW | JorgeSousaPinto |
Assessment Part I Paper reading and presentations Part II Home assessment: December 13 to December 27 Part III JorgeSousaPinto 07 Dec 2010 |
1011 | 07 Dec 2010 - 16:58 - r13 | JorgeSousaPinto |
Program Semantics, Verification, and Construction (Previous instance: 2008/2009) 2010/2011 Course leader: Jorge Sousa Pinto ( jsp(AT)di(DOT)uminho(DOT)pt ) Lecture ... |
0910 | 24 Sep 2010 - 17:02 - NEW | JoseNunoOliveira |
Program Semantics, Verification, and Construction (Previous instance: 2008/2009) 2009/2010 Course coordinator: Nelma Moreira ( nam(AT)ncc(DOT)up(DOT)pt ) Lecture ... |
0809 | 24 Sep 2010 - 16:39 - r23 | JoseNunoOliveira |
Program Semantics, Verification, and Construction (Previous instance: 2007/2008) 2008/2009 Course coordinator: Nelma Moreira ( nam(AT)ncc(DOT)up(DOT)pt ) Lecture ... |
Topics0809 | 04 Nov 2008 - 00:02 - r2 | JoseBacelarAlmeida |
Assessment |
RecommendedBooks | 03 Nov 2008 - 22:21 - r3 | NelmaMoreira? |
Recommended Books 1. Samson Abramsky and Achim Jung. Domain theory. In Handbook of Logic in Computer Science (vol. 3): Semantic Structures, pages 1?168. Oxford ... |
Syllabus0708 | 27 Sep 2008 - 11:45 - r3 | JoseBacelarAlmeida |
Chapter I: Overview of Foundations (5 3 hours) 1. Intuitionistic logic 2. Natural deduction 3. lambda calculus (terms, reduction, the Church Rosser Theorem ... |
Assessment0708 | 27 Sep 2008 - 11:44 - r18 | JoseBacelarAlmeida |
Final Grades Nome Part I Part II Part III Final Andreia Sofia da Costa Teixeira 16 16 16 16 Arif Rahman 10 14 14 13 Daniela ... |
0708 | 27 Sep 2008 - 11:43 - r15 | JoseBacelarAlmeida |
Program Semantics, Verification, and Construction 2007/2008 Lecture 1 Date: 15/10/07 Notes: psvc.pdf Lecture 2 Date: 22/10/07 Topics: Deduction ... |
WebPreferences | 27 Sep 2008 - 11:39 - r15 | JoseBacelarAlmeida |
Education/MapiFc Web Preferences The following settings are web preferences of the Education/MapiFc web. These preferences overwrite the site level preferences ... |
Topics0708 | 27 Sep 2008 - 11:38 - NEW | JoseBacelarAlmeida |
Assessment |
Syllabus0809 | 27 Sep 2008 - 11:31 - NEW | JoseBacelarAlmeida |
Chapter I: Overview of Foundations 1. Intuitionistic logic 2. Natural deduction 3. lambda calculus (terms, reduction, the Church Rosser Theorem) 4. ... |
Documentation | 23 Oct 2007 - 23:37 - NEW | JoseBacelarAlmeida |
COQ Proof Assistant Web Site: http://coq.inria.fr/ Online Documentation (local mirror) Manual (also available in PDF) Library Tutorial (PDF) |
WebCss | 16 Aug 2007 - 02:44 - NEW | JoseBacelarAlmeida |
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .twikiToc { padding top:0px; padding bottom:0px ... |
WebTopicList | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
WebSearchAdvanced | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
WebTopicCreator | 15 Nov 2006 - 19:43 - r2 | TWikiContributor |
WebIndex | 15 Nov 2006 - 19:43 - r4 | TWikiContributor |
WebSearch | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
WebChanges | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
WebAtom | 24 Jan 2006 - 06:07 - r2 | TWikiContributor |
TWiki's Education/MapiFc web |
WebRss | 28 Mar 2005 - 09:40 - r4 | TWikiContributor |
" else "TWiki's Education/MapiFc web"}% /Education/MapiFc |
WebNotify | 28 Mar 2005 - 09:40 - r5 | TWikiContributor |
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration |
WebLeftBar | 28 Mar 2005 - 09:40 - r4 | TWikiContributor |
" warn "off"}% |