Lecture

Course Overview: Teaser on Course Contents

In course

Excepteur sit proident proident sunt irure in culpa est cillum dolore nisi reprehenderit. Consequat dolore cillum id laborum minim ut esse commodo voluptate cupidatat do ipsum. Consectetur adipisicing dolor tempor ipsum incididunt tempor. Deserunt aliqua tempor sint ad. Labore ex reprehenderit culpa incididunt consectetur labore.

Description

This lecture provides an overview of the course content, starting with an introduction to propositional and predicate logic, followed by discussions on sets, functions, relations, and algorithms. The instructor demonstrates examples related to Swiss cities, sorting tables, and calculations involving Covid infections, poker hands, and prime numbers.

Official source

https://mediaspace.epfl.ch/media/0_b178w246

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ontological neighbourhood

Mathematics

Mathematical logic: Set theory

Number theory: Topics in number theory

Probability theory: Topics in probability theory

Geography

Regional geography: Geography of Europe

Logic

Classical logic: First-order logic

Related lectures (37)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.