| Topics in Education/MapiFc web: | Changed: now 18:53 | Changed by: |
| 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 ... | ||
| 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 ... | ||
| 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 ... | ||
| 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 ... | ||
| 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 ... | ||
| 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 | ||
| 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 ... | ||
| 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) | ||
| 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 ... | ||
| 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. ... | ||
| Topics0708 | 27 Sep 2008 - 11:38 - NEW | JoseBacelarAlmeida |
| Assessment | ||
| Topics0809 | 04 Nov 2008 - 00:02 - r2 | JoseBacelarAlmeida |
| Assessment | ||
| WebAtom | 24 Jan 2006 - 06:07 - r2 | TWikiContributor |
| TWiki's Education/MapiFc web | ||
| WebChanges | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
| 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 ... | ||
| 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 ... | ||
| WebIndex | 15 Nov 2006 - 19:43 - r4 | TWikiContributor |
| WebLeftBar | 28 Mar 2005 - 09:40 - r4 | TWikiContributor |
| " warn "off"}% | ||
| WebNotify | 28 Mar 2005 - 09:40 - r5 | TWikiContributor |
| TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration | ||
| 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 ... | ||
| WebRss | 28 Mar 2005 - 09:40 - r4 | TWikiContributor |
| " else "TWiki's Education/MapiFc web"}% /Education/MapiFc | ||
| WebSearch | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
| WebSearchAdvanced | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
| WebSideBar | 12 Apr 2011 - 09:25 - r7 | JorgeSousaPinto |
| WebHome Overview Recommended Books Syllabus and Course Material Assessment | ||
| 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 ... | ||
| WebTopicCreator | 15 Nov 2006 - 19:43 - r2 | TWikiContributor |
| WebTopicList | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |