Formal specification languages
Universal Systems Language (USL) is a systems modeling language and formal method for the specification and design of software and other complex systems. It was designed by Margaret Hamilton based on her experiences writing flight software for the Apollo program. The language is implemented through the 001 Tool Suite software by Hamilton Technologies, Inc. USL evolved from 001AXES which in turn evolved from AXES all of which are based on Hamilton's axioms of control. The 001 Tool Suite uses the preventive concept of Development Before the Fact (DBTF) for its life-cycle development process. DBTF eliminates errors as early as possible during the development process removing the need to look for errors after-the-fact. (Wikipedia).
Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org
From playlist The C language
Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org
From playlist The C language
Computer Basics: Understanding Operating Systems
Whether you have a laptop, desktop, smartphone, or tablet, your device has an operating system (also known as an "OS"). In this video we'll show you what an operating system is and talk about a few of the most common operating systems. We'll also talk about compatibility issues. Some soft
From playlist Starting out with Technology
Programming Languages - (part 6 of 7)
How source code becomes a running program, how languages are categorized, and a survey of important languages. Part of a larger series teaching programming. Visit http://codeschool.org
From playlist Programming Languages
In this lecture I delve a little deeper into the Distributions package used in Julia.
From playlist The Julia Computer Language
The C programming language (unit 2) - 4 of 5 (old version; watch new version instead)
A continuation of discussing the C programming language. This unit goes more into depths on pointers and arrays. Visit http://codeschool.org
From playlist The C language (unit 2)
How to write the system of equations from a word problem
👉Learn how to solve a system of linear equations from a word problem. A system of equations is a set of more than one equations which are to be solved simultaneously. A word problem is a real world simulation of a mathematical concept. The solution to a system of equation is the set of val
From playlist Solve a System Algebraically | Algebra 2
An introduction to the Go programming language. Assumes knowledge of Javascript. Part of a larger series at http://codeschool.org
From playlist The Go Language
GoGaRuCo 2013 - Impossible Programs by Tom Stuart
Every aspect of our lives has been transformed by the invention of general-purpose programmable computers. As a result, it's tempting to believe that computers can solve any logical or mathematical problem; that if we throw enough time, money and nerds at a question, we can produce a progr
From playlist GoGaRuCo 2013
Noam Chomsky on Theories of Linguistics (Part 2) | Closer To Truth Chats
Closer To Truth has just launched a new website! We can't wait for you to see what we've been working on. New seasons (including the web debut of Season 21), interviews, topic guides, curated playlists, candid conversations, book excerpts, essays, and announcements. Visit today: www.Closer
From playlist Closer To Truth Chats
Noam Chomsky on Linguistic Theories and the Evolution of Language (Part 3) | Closer To Truth Chats
Closer To Truth is proud to present this four-part miniseries with distinguished theoretical linguist, analytic philosopher, and cognitive scientist Noam Chomsky. In Part 3, Chomsky discusses linguistic theories for human sentience and cognition (most notably a Universal Grammar), the evol
From playlist Closer To Truth Chats
This E-Lecture discusses the main approaches towards the definition of language universals: empiricism and rationalism and lists the central parameters along which universals can be chracterized. Furthermore, it shows the central parameters along which languages can be typologized.
From playlist VLC108 - Language Typology
Wolfram Technology Conference 2020: Innovator Award Ceremony
Stephen Wolfram delivers his keynote for the Innovator Awards and hands them out virtually. Find out more about the conference here: https://www.wolfram.com/events/technology-conference/2020/ Follow us on our official social media channels. Twitter: https://twitter.com/WolframResearch Fa
From playlist Wolfram Technology Conference 2020
The Logical Structure of Human Civilization (John Searle)
The distinctive features of human civilization, as opposed to animal societies, are such things as money, property, marriage, government, etc. These are created and partly constituted by linguistic representations. For this reason, they all have logical, propositional structures. John Sear
From playlist Social & Political Philosophy
Mind Your Language: Thought, Metaphor and Imagination
#BrianGreene #NoamChomsky #StevenPinker #EvelinaFedorenko #DanielDor Noam Chomsky, Steven Pinker, Evelina Fedorenko, and Daniel Dor join Brian Greene to grapple with the foundations of language. Language ranks among the most powerful influences on human existence. Even so, language presen
From playlist WSF Latest Releases
History of Science and Technology Q&A (November 30, 2022)
Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Find the playlist of Q&A's here: https://wolfr.am/youtube-sw-qa Originally livestreamed at: https://twitch.tv/stephen_wolfram If you missed the original livestream of thi
From playlist Stephen Wolfram Ask Me Anything About Science & Technology
Language learning in humans and machines: making connections to make progress: Sharon Goldwater
Dr Goldwater is a Reader in the Institute for Language, Cognition and Computation at the University of Edinburgh’s School of Informatics. She received her PhD in 2007 from Brown University, supervised by Mark Johnson, and spent two years as a postdoctoral researcher at Stanford University
From playlist AI for Social Good
Computation and the Fundamental Theory of Physics - with Stephen Wolfram
Stephen Wolfram discusses his efforts to use what he's learned from exploring computational systems to build a new fundamental theory of all of physics. Watch the Q&A: https://youtu.be/uuQZ7iQH3Fg Stephen Wolfram is the creator of Mathematica, Wolfram|Alpha and the Wolfram Language; the a
From playlist Computing/Tech/Engineering
How to use a system of equations to solve a word problem
👉Learn how to solve a system of linear equations from a word problem. A system of equations is a set of more than one equations which are to be solved simultaneously. A word problem is a real world simulation of a mathematical concept. The solution to a system of equation is the set of val
From playlist Solve a System Algebraically | Algebra 2