Tutorial 5.1: Tomer Ullman - Church Programming Language Part 1
2,600 views · Published 3 April 2018 · 52:47 · Indexed 8 November 2026
Channel: MIT OpenCourseWare · 2018 · Education
MIT RES.9-003 Brains, Minds and Machines Summer Course, Summer 2015 View the complete course: https://ocw.mit.edu/RES-9-003SU15 Instructor: Tomer Ullman Learn the Church programming language, which facilitates the implementation and testing of generative models of physical and social worlds that enable probabilistic inferences about objects, agents and events. License: Creative Commons BY-NC-SA More information at https://ocw.mit.edu/terms More courses at https://ocw.mit.edu
More from this channel
-
2:12
Team 15: Pre-Flight Interview | MIT Unified Engineering, Fall 2005
-
1:36
Team 15: Post-Flight Interview | MIT Unified Engineering, Fall 2005
-
1:05
Team 5: Flight Attempt 2 | MIT Unified Engineering, Fall 2005
-
2:59
Team 5: Pre-Flight Interview | MIT Unified Engineering, Fall 2005
-
4:06
Two Guys, Two Girls and an Airplane: Flight Attempt 2 | MIT Unified Engineering, Fall 2005
-
2:16
Team 9: Pre-Flight Interview | MIT Unified Engineering, Fall 2005
-
1:49
Team Firebolt: Pre-Flight Interview | MIT Unified Engineering, Fall 2005
-
4:12
Team 15: Flight Attempt | MIT Unified Engineering, Fall 2005