Encoding recursion in the Lambda calculus, one of Professor Graham Hutton's favourite functions.

Lambda Calculus: [ Ссылка ]
Professor Brailsford on 'Pointers': Coming Soon!

Many thanks to Microsoft Research UK for their support with the 'Essentials' mini-series.

[ Ссылка ]
[ Ссылка ]

This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham: [ Ссылка ]

Computerphile is a sister project to Brady Haran's Numberphile. More at [ Ссылка ]

свернуть