INF1A: Week 1
Introductory Lecture
The slides for the introductory lecture are here.
Information about computing support in Informatics is here.
| Functional Programming | The first lecture will explain the basic concepts behind functional programming, including types, values and functions. Slides for the week:
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 on Thursday or Friday. The work for it is issued at 12:00 on Tuesday of Week 1, and must be submitted by 12:00 on Tuesday of Week 2.
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:
Note that you have to be already logged into Learn for these to work, and that the weekly folders are not published until 12:00 on Tuesday (after the previous tutorial submission deadline).