Teaching materials on Kovacsics Robert

Foundations of Computer Science

Sun, 22 Dec 2024 00:13:44 +0000

This is my Foundations of Computer Science course supervision notes.

Supervision 1 questions only, questions and answers;

Supervision 2 questions only, questions and answers;

Supervision 3 questions only, questions and answers.

Register machine visualiser & emulator

Sat, 09 Feb 2019 20:52:24 +0000

This is a visualiser and evaluator for register machines (the theoretical kind, not a specific CPU). The model is the Lambek/Minsky register machine from 1961 with increment and decrement-with-test instructions.

The example is the same as on slide 30 of the Cambridge Computer Science course, Computation Theory lecture notes.

Lambda-Calculus Evaluator

Fri, 04 Jan 2019 22:57:40 +0000

Type an expression into the following text area (using the fn x => body syntax), click parse, then click on applications to evaluate them. Also have a look at the examples section below, where you can click on an application to reduce it (e.g. click on pow 2 3 to get 3 2, then fn x => 2 (2 (2 x))).

(fn n m f x => n f (m f x)) 2 3

Display type λ x . x fn x => x

Maximum single steps

Evaluation strategy

Strict/Eager

Non-strict/Call-by-name

This is ported from my original one at my alma mater webpage, somewhat updated with better diagrams and more modern code.