Computational problems | Problems in computer science

Dining philosophers problem

In computer science, the dining philosophers problem is an example problem often used in concurrent algorithm design to illustrate synchronization issues and techniques for resolving them. It was originally formulated in 1965 by Edsger Dijkstra as a student exam exercise, presented in terms of computers competing for access to tape drive peripherals.Soon after, Tony Hoare gave the problem its present form. (Wikipedia).

Dining philosophers problem
Video thumbnail

The Mind Body Problem

The Mind-Body problem is one of the greatest conundrums of philosophy and of our everyday lives too. If you like our films, take a look at our shop (we ship worldwide): https://goo.gl/BxHqGF Join our exclusive mailing list: http://bit.ly/2e0TQNJ Or visit us in person at our London HQ

From playlist SELF

Video thumbnail

Problem of Other Minds

Do we know what others are thinking or feeling? Indeed, do we even know that others have thoughts or feelings at all? If so, how? Jack Reynolds gives an introductory talk on this topic and considers two main types of response to the “problem of other minds”: those that are inferential in n

From playlist Philosophy of Mind

Video thumbnail

Why do physicists try to understand time?

Subscribe to our YouTube Channel for all the latest from World Science U. Visit our Website: http://www.worldscienceu.com/ Like us on Facebook: https://www.facebook.com/worldscienceu Follow us on Twitter: https://twitter.com/worldscienceu

From playlist Science Unplugged: Time

Video thumbnail

Italian Vocabulary: At the Restaurant

If you're going to Italy, you'd better believe you are going to be eating at lots of restaurants! I mean, why else are you going? So we have to learn all the things you will say and hear at a restaurant, so that you know how to be seated, and order, and pay, and everything that happens whe

From playlist Italian

Video thumbnail

Socrates

A clip about Socrates doing what he does... #Philosophy #Socrates

From playlist Socrates & Plato

Video thumbnail

Top 10 Philosophers You Need to Know

10 philosophers you need to know if you want to engage with the world today - we're talking politics, race, trans rights, ethics metaphysics, art, culture, and more! Subscribe! http://tinyurl.com/pr99a46 Patreon: http://www.patreon.com/PhilosophyTube Audible: http://tinyurl.com/jn6tpup

From playlist TV, FILMS, & BOOKS

Video thumbnail

On Socrates - with Raphael Woolf & Peter Adamson

Peter Adamson and Raphael Woolf discuss the figure of Socrates in an episode of Peter Adamson's podcast on the History of Philosophy from a few years back. They discuss Socrates as he was presented by Plato, that is, as the gadfly of Athens. They also consider whether Socrates was an ascet

From playlist Socrates & Plato

Video thumbnail

19.2.5 Deadlock

MIT 6.004 Computation Structures, Spring 2017 Instructor: Chris Terman View the complete course: https://ocw.mit.edu/6-004S17 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP62WVs95MNq3dQBqY2vGOtQ2 19.2.5 Deadlock License: Creative Commons BY-NC-SA More information at

From playlist MIT 6.004 Computation Structures, Spring 2017

Video thumbnail

16. Nondeterministic Parallel Programming

MIT 6.172 Performance Engineering of Software Systems, Fall 2018 Instructor: Charles Leiserson View the complete course: https://ocw.mit.edu/6-172F18 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP63VIBQVWguXxZZi0566y7Wf Prof. Leiserson discusses nondeterministic paral

From playlist MIT 6.172 Performance Engineering of Software Systems, Fall 2018

Video thumbnail

The problem with `functions' | Arithmetic and Geometry Math Foundations 42a

[First of two parts] Here we address a core logical problem with modern mathematics--the usual definition of a `function' does not contain precise enough bounds on the nature of the rules or procedures (or computer programs) allowed. Here we discuss the difficulty in the context of funct

From playlist Math Foundations

Video thumbnail

PROG2006 - Introduction 2022

2022 PROG2006 Introduction to the course. Core logistics.

From playlist PROG2006 - Programming

Video thumbnail

Racism, Law, & Politics (Race Part 1) | Philosophy Tube

Time for some postcolonial philosophy: let’s look at the concepts of race and racism and how they fit into law and politics. Part 2: http://tinyurl.com/gulhspc Subscribe! http://tinyurl.com/pr99a46 Patreon: http://www.patreon.com/PhilosophyTube Audible: http://www.audibletrial.com/Philo

From playlist POLITICS AND LAW

Video thumbnail

Oxford 5c Of the Ancient and Modern Philosophies

A course by Peter Millican from Oxford University. Course Description: Dr Peter Millican gives a series of lectures looking at Scottish 18th Century Philosopher David Hume and the first book of his Treatise of Human Nature. Taken from: https://podcasts.ox.ac.uk/series/introduction-david

From playlist Oxford: Introduction to David Hume's Treatise of Human Nature Book One | CosmoLearning Philosophy

Video thumbnail

Food, the Brain and Us: Exploring our historical, cultural and sensory perceptions of food

Tasting food and drinks is a familiar, everyday experience. But how much do we really know about taste? Barry Smith, Founding Director of the Centre for the Study of the Senses is joined by a historian, a neuroscientist, an artist and a chef in order to explore the many dimensions of food

From playlist Ri Talks

Video thumbnail

Introduction to Religion: Lecture 4 - Existence of God

Investigates what religion is and does, compares religious ideas and practices, and explores how religion influences the relationship between individual and community. Learn more about Missouri State iCourses at http://outreach.missouristate.edu/icourses.htm

From playlist Missouri State: REL 100: Introduction to Religion | CosmoLearning Religious Studies

Video thumbnail

Hugh McCann - Big Questions in Free Will

Free will seems obvious, simple, common; but it's subtle, profound, maddening. Free will probes the deep nature of human existence. But big questions have big problems. How to make progress? Can bringing together scientists, philosophers and theologians help? That's what the 'Big Questions

From playlist Understanding Free Will - Closer To Truth - Core Topic

Video thumbnail

Moral Skepticism - Philippa Foot (1970)

A criticism of moral skepticism in which expressions of form is analyzed and found to be other than skeptics have maintained. Moral concepts are suggested to have primary and dependent uses. The skeptics have latched on to the dependent; hence, their error. #Philosophy #Ethics #Metaethics

From playlist Ethics & Moral Philosophy

Video thumbnail

Dehn Twists Exact Sequences Through Lagrangian Cobordism - Weiwei Wu

Weiwei Wu University of Montreal October 23, 2015 https://www.math.ias.edu/seminars/abstract?event=85044 In this talk we first introduce a new "singularity-free" approach to the proof of Seidel's long exact sequence, including the fixed-point version. This conveniently generalizes to Deh

From playlist PU/IAS Symplectic Geometry Seminar

Related pages

Directed acyclic graph | Edsger W. Dijkstra | State variable | Deadlock | Partially ordered set | Mutual exclusion | Sleeping barber problem | Resource contention | Semaphore (programming)