http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc The Education/MapiFc web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2020 by contributing authors TWiki Administrator [webmaster@di.uminho.pt] The contributing authors of TWiki TWiki http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc http://wiki.di.uminho.pt/twiki/pub/Main/LocalLogos/um_eengP.jpg http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/WebHome RSD Rigorous Software Development (Program Semantics, Verification, and Construction) Overview. The reliability of computing systems plays an essential role in modern ... (last changed by JoseNunoOliveira) 2012-09-27T17:01:05Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/WebSideBar WebHome Overview Recommended Books Syllabus and Course Material Assessment (last changed by JorgeSousaPinto) 2011-04-12T09:25:57Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/CourseAssessment Results I II III Final Carlos Silva 16 15 13 15 Constantin Taivan 16 12 11 13 Frederico Valente 13 6 10 11 Henrique ... (last changed by JorgeSousaPinto) 2011-04-12T09:24:48Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/Assessment0809 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 ... (last changed by JoseBacelarAlmeida) 2010-12-07T22:42:59Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/Assessment0910 Assessment Part I Paper reading and presentations Part II Home assessment: December 13 to December 27 Part III JorgeSousaPinto 07 Dec 2010 (last changed by JorgeSousaPinto) 2010-12-07T17:02:40Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/1011 Program Semantics, Verification, and Construction (Previous instance: 2008/2009) 2010/2011 Course leader: Jorge Sousa Pinto ( jsp(AT)di(DOT)uminho(DOT)pt ) Lecture ... (last changed by JorgeSousaPinto) 2010-12-07T16:58:04Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/0910 Program Semantics, Verification, and Construction (Previous instance: 2008/2009) 2009/2010 Course coordinator: Nelma Moreira ( nam(AT)ncc(DOT)up(DOT)pt ) Lecture ... (last changed by JoseNunoOliveira) 2010-09-24T17:02:53Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/0809 Program Semantics, Verification, and Construction (Previous instance: 2007/2008) 2008/2009 Course coordinator: Nelma Moreira ( nam(AT)ncc(DOT)up(DOT)pt ) Lecture ... (last changed by JoseNunoOliveira) 2010-09-24T16:39:02Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/Topics0809 Assessment (last changed by JoseBacelarAlmeida) 2008-11-04T00:02:15Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/RecommendedBooks 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 ... (last changed by NelmaMoreira) 2008-11-03T22:21:05Z NelmaMoreira http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/Syllabus0708 Chapter I: Overview of Foundations (5 3 hours) 1. Intuitionistic logic 2. Natural deduction 3. lambda calculus (terms, reduction, the Church Rosser Theorem ... (last changed by JoseBacelarAlmeida) 2008-09-27T11:45:31Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/Assessment0708 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 ... (last changed by JoseBacelarAlmeida) 2008-09-27T11:44:49Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/0708 Program Semantics, Verification, and Construction 2007/2008 Lecture 1 Date: 15/10/07 Notes: psvc.pdf Lecture 2 Date: 22/10/07 Topics: Deduction ... (last changed by JoseBacelarAlmeida) 2008-09-27T11:43:58Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/WebPreferences Education/MapiFc Web Preferences The following settings are web preferences of the Education/MapiFc web. These preferences overwrite the site level preferences ... (last changed by JoseBacelarAlmeida) 2008-09-27T11:39:23Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/Topics0708 Assessment (last changed by JoseBacelarAlmeida) 2008-09-27T11:38:33Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/Syllabus0809 Chapter I: Overview of Foundations 1. Intuitionistic logic 2. Natural deduction 3. lambda calculus (terms, reduction, the Church Rosser Theorem) 4. ... (last changed by JoseBacelarAlmeida) 2008-09-27T11:31:35Z JoseBacelarAlmeida