Introduction à la logique informatique - Partie 1 : calcul propositionnel

A Universidade de Paris-Saclay foi concebida em 2019 para desenvolver a continuidade dos conhecimentos, das ciências fundamentais às ciências aplicadas, a um nível sem precedentes em França, privilegiando a interdisciplinaridade e a abertura ao mundo. É a sucessora da Universidade de Paris-Sud-XI, fundada em 1 de janeiro de 1971, e o seu objetivo é fazer progredir o conhecimento das grandes questões que se colocam à sociedade através de uma investigação do mais alto nível internacional. A Université Paris-Saclay oferece aos estudantes um enquadramento e um conteúdo pedagógico virados para o futuro. A interação permanente entre os laboratórios e os actores socioeconómicos permite transformar os resultados da investigação de ponta em inovações.

As dezanove instituições fundadoras trazem à Université Paris-Saclay os pontos fortes pelos quais são reconhecidas: uma ligação estreita entre o ensino e a investigação, laboratórios e grandes instalações de investigação de nível internacional, uma reputação internacional de formação em engenharia e gestão e uma vasta gama de cursos de alto nível.

Este programa, financiado pelo IDEX Paris-Saclay, para além dos recursos fornecidos pelos parceiros, apoiará a criação de MOOC e SPOC para os estudantes da Universidade, bem como de cursos de formação contínua para o mundo socioeconómico, com o qual já existem fortes contactos.

France Université Numérique est le diffuseur des cours en ligne des établissements d’enseignement supérieur français et de leurs partenaires.

Il opère plusieurs plateformes de diffusion, dont la plus connue, FUN MOOC, est la première plateforme académique francophone mondiale. Grâce à de nombreux établissements partenaires, cette plateforme propose un vaste catalogue de cours s’enrichissant de jour en jour avec des thématiques variées et d’actualité.