Formal methods | Recurrence relations

McCarthy 91 function

The McCarthy 91 function is a recursive function, defined by the computer scientist John McCarthy as a test case for formal verification within computer science. The McCarthy 91 function is defined as The results of evaluating the function are given by M(n) = 91 for all integer arguments n ≤ 100, and M(n) = n − 10 for n > 100. Indeed, the result of M(101) is also 91 (101 - 10 = 91). All results of M(n) after n = 101 are continually increasing by 1, e.g. M(102) = 92, M(103) = 93. (Wikipedia).

Video thumbnail

Introduction to Discrete and Continuous Functions

This video defines and provides examples of discrete and continuous functions.

From playlist Introduction to Functions: Function Basics

Video thumbnail

Working with Functions (1 of 2: Notation & Terminology)

More resources available at www.misterwootube.com

From playlist Working with Functions

Video thumbnail

Represent a Discrete Function Using Ordered Pairs, a Table, and Function Notation

This video explains how to represent a discrete function given as points as ordered pairs, a table, and using function notation. http://mathispower4u.com

From playlist Introduction to Functions: Function Basics

Video thumbnail

Introduction to Relations and Functions (L9.1)

This lesson introduces functions and explains how to determine if a relations is a function. The vertical line also used. Video content created by Jenifer Bohart, William Meacham, Judy Sutor, and Donna Guhse from SCC (CC-BY 4.0)

From playlist Introduction to Functions: Function Basics

Video thumbnail

Using the vertical line test to determine if a graph is a function or not

👉 Learn how to determine whether relations such as equations, graphs, ordered pairs, mapping and tables represent a function. A function is defined as a rule which assigns an input to a unique output. Hence, one major requirement of a function is that the function yields one and only one r

From playlist What is the Domain and Range of the Function

Video thumbnail

Wolfram Physics Project: Working Session Tuesday, Dec. 1, 2020 [Combinators]

This is a Wolfram Physics Project working session on Combinators and treelike hypersurfaces in the Wolfram Model. Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the announcement post

From playlist Wolfram Physics Project Livestream Archive

Video thumbnail

What are bounded functions and how do you determine the boundness

👉 Learn about the characteristics of a function. Given a function, we can determine the characteristics of the function's graph. We can determine the end behavior of the graph of the function (rises or falls left and rises or falls right). We can determine the number of zeros of the functi

From playlist Characteristics of Functions

Video thumbnail

What is Artificial Intelligence | Artificial Intelligence Tutorial For Beginners | Edureka

( TensorFlow Training - https://www.edureka.co/ai-deep-learning-with-tensorflow ) This video on Artificial Intelligence gives you a brief introduction to AI discussing how it can be a threat as well as useful. The video covers the following topics: 1. AI as a threat 2. What is AI? 3. His

From playlist Deep Learning With TensorFlow Videos

Video thumbnail

Introduction to Function Notation (L9.2)

This lesson introduces function notation and emphasizes the relationship between ordered pairs and function notation. Function inputs and outputs are found. Video content created by Jenifer Bohart, William Meacham, Judy Sutor, and Donna Guhse from SCC (CC-BY 4.0)

From playlist Introduction to Functions: Function Basics

Video thumbnail

History of Science and Technology Q&A (Apr. 7, 2021)

Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Originally livestreamed at: https://twitch.tv/stephen_wolfram/ Outline of Q&A 0:00 Stream starts 2:28 Stephen begins the stream 3:00 History of Lisp 40:40 What was ctrl+en

From playlist Stephen Wolfram Ask Me Anything About Science & Technology

Video thumbnail

History of Science and Technology Q&A for Kids and Others (Jan. 14, 2021)

Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Originally livestreamed at: https://twitch.tv/stephen_wolfram Outline of Q&A: 0:00 Stream starting 2:33 Stephen begins the Q&A 3:33 Begin discussing the history of LISP 8

From playlist Stephen Wolfram Ask Me Anything About Science & Technology

Video thumbnail

Hunting the Communists! - Joseph McCarthy l THE COLD WAR

Joseph McCarthy rose to fame during the 1950s fighting communism on American soil. The ever lingering fear of Soviet spies spreading un-Americanism in the US during the cold war hit a nerve and quickly made him popular in the republican political field. With time though more and more incon

From playlist THE COLD WAR - All Episodes

Video thumbnail

Claire Colebrook, “Fragility, Globalism, and the End of the World,” November 6

The Shulman Lectures in Science and the Humanities Claire Colebrook, “Fragility, Globalism, and the End of the World,” November 6 Claire Colebrook is Edwin Erle Sparks Professor of English, Philosophy, and Women's and Gender Studies at Pennsylvania State University. She has written extensi

From playlist Whitney Humanities Center

Video thumbnail

How to Make (Define) a Function in Python

This video shows the basics of making and calling functions in Python and supplying functions with default arguments. Code available in the pinned comment below!

From playlist Python Basics

Video thumbnail

When is a function bounded below?

👉 Learn about the characteristics of a function. Given a function, we can determine the characteristics of the function's graph. We can determine the end behavior of the graph of the function (rises or falls left and rises or falls right). We can determine the number of zeros of the functi

From playlist Characteristics of Functions

Video thumbnail

RailsConf 2018: Ruby: A Family History by Geoffrey Litt

Ruby: A Family History by Geoffrey Litt Rails is made possible by Ruby’s unique combination of deep dynamism and pragmatic elegance. In turn, Ruby inherited many of its core ideas from older languages including Lisp, Smalltalk, and Perl. In this talk, we’ll take a tour of these languages

From playlist RailsConf 2018

Video thumbnail

Sound Smart: Joseph McCarthy | History

Historian Yohuru Williams talks about Senator Joseph McCarthy and his role in stoking fears of communism and its sympathizers during the 1950s. Subscribe for more from HISTORY on YouTube: http://histv.co/SubscribeHistoryYT Newsletter: https://www.history.com/newsletter Website - http://w

From playlist Sound Smart: Crash Courses in History | HISTORY

Video thumbnail

Thomas Nikolaus : Equivariant homotopy theory for infinite groups and THH with coefficients

CONFERENCE Recording during the thematic meeting : « Chromatic Homotopy, K-Theory and Functors» the January 24, 2023 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Jean Petit Find this video and other talks given by worldwide mathematicians on CIR

From playlist Topology

Video thumbnail

18. Cormac McCarthy, Blood Meridian (cont.)

The American Novel Since 1945 (ENGL 291) In this second lecture on Blood Meridian, Professor Hungerford builds a wide-ranging argument about the status of good and evil in the novel from a small detail, the Bible the protagonist carries with him in spite of his illiteracy. This detail i

From playlist The American Novel Since 1945 with Amy Hungerford

Video thumbnail

5.3 Functions - Evaluating Expressions with Function Notation

More resources available at www.misterwootube.com

From playlist Working with Functions

Related pages

John McCarthy (computer scientist) | Formal methods | Mutual recursion | Formal verification | ACL2 | Extensionality | Single recursion | Termination proof | Amir Pnueli | Recursion (computer science) | Tail recursion