Week 1 Flashcards

1
Q

What are sets

A

Collections of objects (usually homogenous) written {e1..en}
If x is an element of S, we write 𝑥 ∈ 𝑆. The set of elements of 𝑆 that have property 𝑃, may be written
{𝑥 ∈ 𝑆 | 𝑃(𝑥)}.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

What is a total function

A

A total function 𝑓 : 𝐴 → 𝐵 always returns a defined value

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

What is a partial function

A

A partial function 𝑓 : 𝐴 → 𝐵⊥ returns a defined value, or ⊥ (bottom, non-determination)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

What is a problem?

A

A uniform class of questions that has a clearly defined input parameter
Something with a definite and finite answer representing the solution
Solved by providing a function or deciding membership of a set.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

What is a Turing machine?

A

Made up of an infinite tape, with marked-off squares capable of holding symbols from a finite alphabet. A sensing read-write head can travel along the tape, one square at a time.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

How might a turing machine program be represented?

A

Transition function or state transition diagram.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Examples of imperative programming languages

A

Fortran, C, Pascal, Ada, Rust

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

What is the lambda calculus?

A

Formal system for expressing computation through abstraction and application using variable binding and substitution

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

What are constants in lambda calculus?

A

Constants are integers, characters booleans and operators and strictly speaking, are unnecessary. (e.g. +)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

What are variables in lambda calculus?

A

A variable is a name e.g. (x)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

What are applications of functions to an argument

A

Applications of functions to an argument are written by juxtaposition. Parenthesis disambiguate. (e.g. (fa))

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

What is a function in lambda calculus?

A

Described by lambda-abstraction. A lambda-abstraction binds a variable, if there is no lambda abstraction, then the variable is free.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

What is the church turing thesis?

A

The church turing thesis is that the set of functions that are effectively computable are exactly the set computable by the lambda-calculus or the Turing machine.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

What is a method? (copeland)

A

A method 𝑀 is set out in terms of a finite number of
exact instructions (each instruction being expressed by
means of a finite number of symbols);
∙ A method 𝑀 will, if carried out without error, always
produce the desired result in a finite number of steps;
A method 𝑀 can (in practice or in principle) be carried out
by a human being unaided by any machinery save paper
and pencil;
∙ A method 𝑀 demands no insight or ingenuity on the part
of the human being carrying it out.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly