Search for tag: "logic"

Webinar: Preparing for lecture recording: presentation design and media use

This webinar session outlines the rollout of the new Media Hopper Replay service across the University of Edinburgh and focuses on the design and accessibility of teaching materials, in recorded…

webaim.org/resources/contrastchecker/.web applicationsconsciousnessweb colorshypertextvirtual learning environmentsassistive technologysessionradiopeer-to-peer computingtheories of historynetworkslinguisticstechnical communicationcopyrightcontent management systemsglass plateclabroadcastingteachingpresentationpaper productsreusephotographymaterialvlegoogle serviceseffectssocial psychologygrammarvideo hostingresourcegroup processespackaging materialsuniversityphoto sharingmedia hopper replaycopyright literacyauxiliary sciences of historycontract lawsecuritysociology of cultureecologytelevision series by universal televisionradio formatsccbyinformation retrievalcla licensestreamingvideopersonal identification documentseducational softwaretraditional chinese objectsinstitutespsychologymultimediagoogle imagesresearchcopyleftsafetyinternetlectureevaluationsocial networking servicesvideo on demand servicesinternet protocolsparodiesmonopoly (economics)oermarketingcreative commons-licensed websitesmultilingual websitesdigital technologylatin alphabete-learningontologylicenseeducational stagesnew mediahistorypowerpointpolitical science termsstudentsystems sciencecolorcommunicationimagehearinggraphic designaestheticslearningcomputer lawtelecommunicationseducational facilitiescamerasimage hostingdigital televisionquestioninternet search enginesart mediainformation scienceaccountancymedia formatsopen methodologiesdidacticsopen content projectsgraphicscontemporary artsemanticsopen educational resourcescommercetelevisionwikimedia projectslibrary sciencerecordingprintinglegal termspedagogypropertyshort videopublic recordshigher educationaccessibilityengineeringcognitive scienceeducation terminologyeducational technologyeducational institutionsphilosophy disambiguationsocial information processingdocumentsinternet terminologymediafree softwareopen contentfilmwriting mediafilm and video technologyintellectual property lawcreative commonsvirtual communitieslogichigh-definition televisioncomputer graphicsphysical objectstime todaycreativitycopyright lawphpbusiness lawarchitectural designeducational psychologyartistic techniquesdisplay technologyinformation theorywebsitesmaterialsmass media
From  Stephanie Farley 2 Months ago 0   93    1  
Publisher
Stephanie (Charlie) Farley
Licence Type
Creative Commons - Attribution
Language
English
Date Created
25/07/2017

Kathabhidhana - an open toolkit for anyone to record their language in a human and machine readable form.

Kathabhidhana is an open toolkit for anyone to record their language in a human and machine readable form. It is a collection of open source tools, educational material, and open sample datasets.…

From  Ewan McAndrew 3 Months ago 0   29    0  
Publisher
Subhashish Panigrahi
Licence Type
Creative Commons - Attribution Share A Like
Language
English
Date Created
20/06/2017

Universal Derivation

Using universal derivation (ud)

From  Brian Rabern 7 Months ago 0   80    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Date Created
16/03/2017

Introducing L3 derivations

Talking through problem 3:5 introducing the quantifier inference rules.

From  Brian Rabern 7 Months ago 0   117    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Date Created
16/03/2017

De Morgan's Law T63

A derivation of a theorem for the derived rule dm.

From  Brian Rabern 8 Months ago 1   190    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Language
English
Date Created
10/02/2017

Assumptions for conditional derivation

A look at Week 3 exercise 1:18 and the multiple assumptions and show lines involved.

From  Brian Rabern 8 Months ago 0   260    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Language
English
Date Created
05/02/2017

Derivation dub

doing some derivations for fun

From  Brian Rabern 8 Months ago 1   196    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Language
English
Date Created
29/01/2017

Let's modus ponens

Explaination of exersice 1:2

From  Brian Rabern 8 Months ago 1   272    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Language
English
Date Created
26/01/2017

a simple derivation

The basics mechanics of derivations. How to do problem 1:1.

From  Brian Rabern 8 Months ago 2   345    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Language
English
Date Created
26/01/2017

elogic getting started

How to register with elogic.

From  Brian Rabern 8 Months ago 0   208    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Language
English
Date Created
26/01/2017