Update ModelsComputation.md

teaching/ModelsComputation.md

@@ -15,10 +15,6 @@ The course focuses on teaching students the fundamental skills involved in deali
 This course provides a whirlwind tour of some of the key concepts in theoretical computer science. 
 In particular, we will study formal descriptions (models) of computational behaviour. 
 
-#### Course Outline
-
-The course comprises two hours a week for seven weeks. 
-
 #### General Information for 2018 autumn term
 
 Time: 	Wednesdays: 9am - 11am, Room 308.
@@ -27,11 +23,12 @@ Thursdays: 12 - 1pm, Room 311.
 
 Coursework Schedule: 
 
-Assesed coursework 1: published Wed 31st Oct, 9 AM / deadline for submission Fri 9th Nov, 4 PM
+Assesed coursework 1: published Wed 31st Oct, 9 AM / deadline for submission Fri 9th Nov, 4 PM.
 
-Assesed coursework 2: published Wed 28th Nov, 9 AM / deadline for submission Tue 11th Dec, 4 PM 
+Assesed coursework 2: published Wed 28th Nov, 9 AM / deadline for submission Tue 11th Dec, 4 PM. 
 
-Tutorials: Tutorial exercises will be posted online (here and on CATE) before the tutorial each week, printed copies will also be available. Tutorial solutions will be published online before the next week's tutorial.
+Tutorials: Tutorial exercises will be posted online (here and on CATE) before the tutorial each week, printed copies will also be available. 
+Tutorial solutions will be published online before the next week's tutorial.
 
 Recommended Reading: 	
 H.R. Nielson and F. Nielson (1999). Semantics with Applications: A Formal Introduction, originally published in 1992 by John Wiley and Sons.