1st lesson free
The profile of Olivier and their contact details have been verified by our experts
Olivier
- Rate £15
- Response 24h
£15/hr
See Maths tutors
Unfortunately, this tutor is unavailable
1st lesson free
- Maths
- Statistics
- Logic
The Calculus of Lambda Expressions: The First Model of Computation Devised
- Maths
- Statistics
- Logic
Methodology
- Primary
- Secondary
- GCSE
- +9
levels :
Primary
Secondary
GCSE
AS Level
A Level
BTEC
Adult Education
Undergraduate
Masters
Diploma
Doctorate
MBA
- French
- English
All languages in which the lesson is available :
French
English
Price : £3.00 - Place : London1. What is a lambda expression and what does it have to with Computation?
2. Church Numerals.
3. Useful Lambda expressions.
4. Create a calculator using only Lambda expressions.
5. Turing Machines and Lambda Calculus - Equivalence.
6. How Lambda Calculus compares with it's descendant Programming Languages.
See more
Course setup
This masterclass aims to give appreciation to the origins of modern computation by learning about the brilliant idea of the logician Alonzo Church at the beginning of the 20th Century in trying to solve the problem of Decidability in foundational Mathematics.
Namely, does there exist a problem where one cannot say whether there exists a strategy (algorithm) to solve it?
See more
Practical information
- Price of the workshop : £3.00
- Place : London
- Maximum number of students during the training course : 10
- Audience concerned : all
- Course materials are provided to each participant
- A training course certificate is awarded to each student
- Validity of the workshop : all year around
Rates
Rate
- £15
Pack prices
- 5h: £75
- 10h: £150
online
- £15/h
free lessons
The first free lesson with Olivier will allow you to get to know each other and clearly specify your needs for your next lessons.
- 1hr
