The Education/MapiFc web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc Copyright 2020 by contributing authors 2020-10-29T15:24:36Z http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/WebStatistics 2020-10-29T15:24:36Z

Statistics for Education/MapiFc Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... (last changed by TWikiGuest)

TWikiGuest http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/WebHome 2012-09-27T17:01:05Z

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)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/WebSideBar 2011-04-12T09:25:57Z

WebHome Overview Recommended Books Syllabus and Course Material Assessment (last changed by JorgeSousaPinto)

JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/CourseAssessment 2011-04-12T09:24:48Z

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)

JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/Assessment0809 2010-12-07T22:42:59Z

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)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/Assessment0910 2010-12-07T17:02:40Z

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)

JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/1011 2010-12-07T16:58:04Z

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)

JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/0910 2010-09-24T17:02:53Z

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)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/0809 2010-09-24T16:39:02Z

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)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/Topics0809 2008-11-04T00:02:15Z

Assessment (last changed by JoseBacelarAlmeida)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/RecommendedBooks 2008-11-03T22:21:05Z

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)

NelmaMoreira http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/Syllabus0708 2008-09-27T11:45:31Z

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)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/Assessment0708 2008-09-27T11:44:49Z

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)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/0708 2008-09-27T11:43:58Z

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)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/WebPreferences 2008-09-27T11:39:23Z

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)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/MapiFc/Topics0708 2008-09-27T11:38:33Z

Assessment (last changed by JoseBacelarAlmeida)

JoseBacelarAlmeida