Search for tag: "successor"

2 Media

17:21 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 172 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
42:36 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 463 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English

17:21

15.b

The second video of the Inf2d lecture on Situation Calculus.

From Claudia-Elena Chirita 0 likes 172 plays 0

Course Code

INFR08010

Licence Type

Language

English

42:36

FP - Lecture 8 - Algebraic Data Types

This is the video for the FP lecture on Algebraic Data Types.

From Claudia-Elena Chirita 0 likes 463 plays 0

Course Code

INFR08025

Licence Type

Language

English

the university of edinburgh

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.

Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.