Skip to main content
Graph
Search
fr
|
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Church Numerals and Conditionals
Graph Chatbot
Related lectures (32)
Previous
Page 3 of 4
Next
Dependent Types in Programming Languages
Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.
Conditionals: Basics and Examples
Covers the basics of conditionals and their implementation in programming.
Python Basics: Functions and Lists
Introduces Python basics, functions, lists, and lambda functions for concise coding.
Common Errors in Type Bool
Addresses common mistakes with the bool type in C++, explaining its use for conditions and providing examples of correct usage.
Functional Programming Basics in Scala
Covers the basics of functional programming in Scala, including evaluation strategies, conditionals, and value definitions, with a focus on computing square roots with Newton's method.
STL Essentials
Covers the essential concepts of the Standard Template Library (STL) in C++ for efficient data manipulation.
Python Programming: Loops and Functions
Introduces loops, functions, and debugging in Python programming, covering basic concepts and practical examples.
Big-step semantics: Defining arithmetic expressions and commands
Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.
Lambda Functions: Syntax and Examples
Covers the syntax and examples of lambda functions, including parameters, types, bodies, and environments.
Python Programming: Lists and Functions Overview
Introduces Python programming concepts, focusing on lists, functions, and their applications in problem-solving.
