Mathematical logic | Game theory | Logic in computer science | Quantifier (logic)
Game semantics (German: dialogische Logik, translated as dialogical logic) is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes. (Wikipedia).
Jules Hedges - compositional game theory - part I
Compositional game theory is an approach to game theory that is designed to have better mathematical (loosely “algebraic” and “geometric”) properties, while also being intended as a practical setting for microeconomic modelling. It gives a graphical representation of games in which the flo
From playlist compositional game theory
Computational Semantics: How Computers Know what Words Mean [Lecture]
This is a single lecture from a course. If you you like the material and want more context (e.g., the lectures that came before), check out the whole course: https://boydgraber.org/teaching/CMSC_723/ (Including homeworks and reading.) Music: https://soundcloud.com/alvin-grissom-ii/review
From playlist Computational Linguistics I
Paul-André Melliès - A gentle introduction to template games and linear logic
Game semantics is the art of interpreting formulas (or types) as games and proofs (or programs) as strategies. In order to reflect the interactive behaviour of pro- grams, strategies are required to follow specific scheduling policies. Typically, in the case of a sequential programming lan
From playlist Combinatorics and Arithmetic for Physics: Special Days 2022
An Overview of Relations and Functions for Linguists - Semantics in Linguistics
In this video on #semantics in #linguistics we introduce relations and functions, talk about properties of relations and types of functions. Join this channel to get access to perks: https://www.youtube.com/channel/UCGYSfZbPp3BiAFs531PBY7g/join Instagram: http://instagram.com/TrevTutorOf
From playlist Semantics in Linguistics
Jules Hedges - compositional game theory - part IV
Compositional game theory is an approach to game theory that is designed to have better mathematical (loosely “algebraic” and “geometric”) properties, while also being intended as a practical setting for microeconomic modelling. It gives a graphical representation of games in which the flo
From playlist compositional game theory
Game theory (1), prisoner's dilemma.
This video introduces game theory; an influential perspective used in both evolutionary biology and economics. The prisoner's dilemma model is described as well as the predictions it makes for optimal strategies when many interactions of this type are made.
From playlist TAMU: Bio 312 - Evolution | CosmoLearning Biology
Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
Jules Hedges - compositional game theory - part III
Compositional game theory is an approach to game theory that is designed to have better mathematical (loosely “algebraic” and “geometric”) properties, while also being intended as a practical setting for microeconomic modelling. It gives a graphical representation of games in which the flo
From playlist compositional game theory
An Overview of Set Theory for Linguists - Semantics in Linguistics
I introduce set theory for linguists. This focuses on language more-so than the technical details, but this is enough to get you started in understanding semantics. Join this channel to get access to perks: https://www.youtube.com/channel/UCGYSfZbPp3BiAFs531PBY7g/join Instagram: http://i
From playlist Semantics in Linguistics
Stanford Seminar - Learning to Code: Why we Fail, How We Flourish
Andy Ko University of Washington Dynamic professionals sharing their industry experience and cutting edge research within the human-computer interaction (HCI) field will be presented in this seminar. Each week, a unique collection of technologists, artists, designers, and activists will
From playlist Stanford Seminars
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory - Peter Dybjer
Peter Dybjer November 30, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Logic 1 - Overview: Logic Based Models | Stanford CS221: AI (Autumn 2021)
For more information about Stanford's Artificial Intelligence professional and graduate programs visit: https://stanford.io/ai This lecture covers logic-based models: propositional logic, first order logic Applications: theorem proving, verification, reasoning, think in terms of logical f
From playlist Stanford CS221: Artificial Intelligence: Principles and Techniques | Autumn 2021
Combining Semantics and Deep Learning for Intelligent Information Services
Antrittsvorlesung von Prof. Dr. Harald Sack, Karlsruhe
From playlist ISE Conference Talks
Jason Weston: "Situated Learning: Hidden Representations for Grounding Language"
Graduate Summer School 2012: Deep Learning, Feature Learning "Situated Learning: Hidden Representations for Grounding Language" Jason Weston, Google Research Institute for Pure and Applied Mathematics, UCLA July 24, 2012 For more information: https://www.ipam.ucla.edu/programs/summer-sc
From playlist GSS2012: Deep Learning, Feature Learning
Recorded: Spring 2014 Lecturer: Dr. Erin M. Buchanan Materials: created for Memory and Cognition (PSY 422) using Smith and Kosslyn (2006) Lecture materials and assignments available at statisticsofdoom.com. https://statisticsofdoom.com/page/other-courses/
From playlist PSY 422 Memory and Cognition with Dr. B
Proofs, Circuits, Communication, and Lower Bounds in Complexity Theory -Robert Robere
Computer Science/Discrete Mathematics Seminar II Topic: Proofs, Circuits, Communication, and Lower Bounds in Complexity Theory Speaker: Robert Robere Affiliation: Member, School of Mathematics Date: February 04, 2020 For more video please visit http://video.ias.edu
From playlist Mathematics
The Repeated Prisoner's Dilemma - Game Theory #SoME1
Published for 3Blue1Brown's SOME1 competition In this video, I want to introduce you to some of the mathematics behind game theory by delving deep into the prisoner's dilemma. Whether you’ve never heard about game theory or are an expert at it, I hope this video gives you some intuition f
From playlist Summer of Math Exposition Youtube Videos