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
Concept
Material conditional
Formal sciences
Logic
Classical logic
First-order logic
Graph Chatbot
Related lectures (31)
Login to filter by course
Login to filter by course
Reset
Previous
Page 3 of 4
Next
Python: Weekday Exercises
Covers Python exercises related to weekdays, prompting user input and displaying days of the week.
Python Basics: Syntax, Variables, Functions
Covers Python basics such as syntax, variables, and functions, introducing the Renku platform for collaborative data science.
Introduction to Programming: Basics and Control Structures
Introduces programming basics and control structures, emphasizing hands-on practice for exam preparation and project work.
Differentiability: Continuous Strictly Monotone Functions
Explores continuous strictly monotone functions, differentiability, and linear function approximation.
Field Work: Safety and Will
Explores safety in field work and the impact of a will on career decisions.
Church Numerals and Conditionals
Explores Church numerals and encoding conditionals in lambda calculus.
Propositional Logic: Implication and Compound Propositions
Covers logical connectives, implication, biconditional, compound propositions, and truth tables.
Python Programming: Duplicates Detection
Covers the implementation of a Python function to detect duplicates in a list of integers.
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.
Propositional Logic: Summary of Week 1
Introduces propositional logic, logical connectives, implications, and equivalences, with examples and facts about tautology and contradiction.