Search for tag: "successor"

15.b duration 17 minutes 21 seconds 15.b 15.b	15.b The second video of the Inf2d lecture on Situation Calculus. inf2d reasoning and agents artificial intelligence situation calculus action situation block axioms actions goal frame knowledge proof base resolution constants axiom plan successor problem sentences From Claudia-Elena Chirita 0 likes 177 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 8 - Algebraic Data Types duration 42 minutes 36 seconds FP - Lecture 8 - Algebraic Data Types FP - Lecture 8 - Algebraic Data Types	FP - Lecture 8 - Algebraic Data Types This is the video for the FP lecture on Algebraic Data Types. inf1a introduction to computation informatics 1 functional programming haskell algebraic data types things functions numbers circle successor thing booleans letter width winter function rectangle types idea height spring point radius summer From Claudia-Elena Chirita 0 likes 472 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English