Search for tag: "a small universe"

2 Media

12:07 CL - Lecture 1.h - A Small Universe in Haskell CL - Lecture 1.h - A Small Universe in Haskell	CL - Lecture 1.h - A Small Universe in Haskell We represent our small universe in Haskell. If this doesn't yet make sense, don't worry; come back to this once you're a bit more familiar with Haskell. There is a slight… inf1a introduction to computation informatics 1 computation and logic logic haskell a small universe things thing color universe triangle predicates function disk functions values colors booleans disc types size shape features instance declaration From Claudia-Elena Chirita on September 11th, 2020 0 likes 648 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
02:35 CL - Lecture 1.d - A Small Universe CL - Lecture 1.d - A Small Universe	CL - Lecture 1.d - A Small Universe We introduce a very small universe, and some examples of propositions — statements we may make about the universe. inf1a introduction to computation informatics 1 computation and logic logic a small universe propositions triangle universe statements things answers questions amber triangles earth meantime problem moment thing disk disc launch desks nba From Claudia-Elena Chirita on September 11th, 2020 0 likes 467 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English

12:07

CL - Lecture 1.h - A Small Universe in Haskell

We represent our small universe in Haskell. If this doesn't yet make sense, don't worry; come back to this once you're a bit more familiar with Haskell. There is a slight…

From Claudia-Elena Chirita on September 11th, 2020 0 likes 648 plays 0

Course Code

INFR08025

Licence Type

Language

English

02:35

CL - Lecture 1.d - A Small Universe

We introduce a very small universe, and some examples of propositions — statements we may make about the universe.

From Claudia-Elena Chirita on September 11th, 2020 0 likes 467 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.

Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2019. Course specific materials are created by University of Edinburgh staff for you to use in your studies. You should not share, publish or sell these outside the University