MAP/i - Foundations of Computing

Option I: Program Semantics, Verification, and Construction
Education/MapiFc Web Changed 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 29 Oct 2020 - 15:24 - r2155 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
Found 29 topics.

See also the faster WebTopicList

r4 - 15 Nov 2006 - 19:43:52 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM