Introductory Lecture
The slides for the introductory lecture are here.
Functional Programming | The first lecture will explain the basic concepts behind functional programming, including types, values and functions. The second lecture will introduce lists and the use of list comprehensions to define lists. Slides for the week:
The functions toLower and isAlpha are in the library Data.Char, not in the Haskell Prelude. To try the examples involving these functions in Lecture 2, you need to first do import Data.Char FP required reading: Textbook
Optional reading:
|
Computation and Logic | Binary data & questions. A small universe. Categorical propositions In the first two lectures, we introduce the basic framework for our discussion of propositional logic. This includes a universe of things, and a collection of predicates, which are properties a thing might have. We look at a chess set as a first example of a universe, and then introduce an even simpler example, which we use to introduce propositions, which are statements we may make about the universe. We briefly mention predicate logic, before pulling back to something simpler. Slides for the week: Required reading: Textbook
|
Mathematics for Computing | Introduction to Set Theory. This is a link to the Mathematics for Computing study guide. You will need to have opened the study guide via Learn first, in order for this link to work. Please open the section 'Introduction to Set Theory'. This section covers the basic concepts of sets and subsets; proper subsets and the empty set; set operations of union and intersection; complements of sets and cartesian products. Please watch the video, do the recommended reading, and attempt solving the exercises if you think you need a refresh of the above notions. |
Tutorial 1 - tutorial pack
Tutorial 1 is held in Week 2. Check your personalised timetable to see which tutorial group you are in. It will be a Thursday or a Friday.
Instructions, sample solutions, and submission dropboxes will be available on Learn only. You can find them in the weekly folders or via these direct search links: