Search for tag: "logic"

Dr Torgny Roxå

Strong and weak ties – changing teaching cultures in higher education in programme Torgny Roxå Lund University, Sweden Learning & Teaching Conference 2018

computer sciencetrainingeffectsinterestingidentityeducation theoryschool terminologyhuman geographypolitical philosophycontrol theorypedagogycountries in europephilosophical terminologybehaviorconferencesnovels first published in serial formmanufacturingdecision theoryteachersociology of cultureforms of governmentsystems theoryuniversitycommunicationconstructionnetworksculturesemanticscultural anthropologypropertypsychologytheoretical computer scienceeducational psychologyliteraturelabour lawg20 nationscitiesacademicacademiamicroculturecognitive sciencecultural conventionsartificial intelligencetypes of organizationhippie movementeducational stagesorganizationinformation sciencestrong tiesstudentsresearch methodsnorthern europeteachingpublic relationscognitive psychologylinguisticsintelligencemanagementstudentinvestmenthuman rightsindividualpragmaticsacademic administrationindividualismhigher educationsocial groupssocial networking servicestruthpolitical science termsinstitutesconversationthingclubs and societiesdisciplinelearningbiologygovernmentinterpersonal relationshipsschool typesliberal democraciessocietylogicpeoplemotivationplaceorgansgermanic countries and territorieseducationwritingcreativitybusinesslanguagehumanitiesconstitutional monarchiescyberneticsanimal anatomypersonhoodinternet terminologysystems sciencedepartmentfamilyresponsibilitycommunityfictionconferenceconcepts in physicsanthropologistspeer recognitionpersonal developmentswedish wordsociology indexcolleaguetypes of university or collegeemotionapplied linguisticseconomic anthropologyhuman behaviorweak tiespublic commonslearning and teaching conference 2018education terminologypolitical terminology
From  Ileana Iacobescu A year ago 0 likes 80 views 0  

Learning Technology Showcase March 2018, Part 2

Lecture Technology Showcase (run by the Learning Teaching and Web division of Information Services, University of Edinburgh) of 29th March 2018 on the subject of lecture recording. Part 2. Speakers:…

From  Brendan Hill A year ago 0 likes 52 views 0  

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 2 Years ago 0 likes 41 views 0  

Universal Derivation

Using universal derivation (ud)

From  Brian Rabern 2 Years ago 0 likes 214 views 0  

Introducing L3 derivations

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

From  Brian Rabern 2 Years ago 0 likes 365 views 0  

De Morgan's Law T63

A derivation of a theorem for the derived rule dm.

From  Brian Rabern 2 Years ago 2 likes 498 views 0  

Assumptions for conditional derivation

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

From  Brian Rabern 2 Years ago 1 likes 586 views 0  

Derivation dub

doing some derivations for fun

From  Brian Rabern 2 Years ago 2 likes 493 views 0  

Let's modus ponens

Explaination of exersice 1:2

From  Brian Rabern 2 Years ago 1 likes 476 views 0  

a simple derivation

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

From  Brian Rabern 2 Years ago 2 likes 737 views 0  

elogic getting started

How to register with elogic.

From  Brian Rabern 2 Years ago 0 likes 557 views 0