Gallery Items tagged Lecture Notes
Demonstratie
DemonstrATie.
IA
INF 424 Logique
Ceci est le polycopié de cours du module INF424, qui fait partie la majeure Informatique de la formation d'ingénieurs de Télécom Bretagne ainsi que du Master of Science CSDS (Computer Science & Decision Systems). Il comporte trois parties :
Logique du premier ordre, : systèmes formels, théorie des modèles, satisfaisabilité, normalisation, résolution.
Logiques de description, et en particulier SROIQ.
Sémantique et vérification des langages de programmation.
Yannis Haralambous
Mathematical Rings
Mathematical Rings
YOGESH MALIK
PRE-INFORME
pre-informe L5, laboratorio de fisica
Daniela Duarte
IUST Student Course Note Template
Template for students to take lecture notes.
Sauleh Eetemadi
RESORTE
Spring-Mass
Adrian Avalos
TP d'initiation à Python3 et à la programmation
Tutoriel d'initiation à python3
Laurent Guéguen
SCD - Sitemas de Controle Dinâmicos: Função de Transferência
Trabalho apresentado na Disciplina: Modelagem de Modelos Matemáticos no CEFET-MG Unidade Timóteo/MG
Egmon Pereira e Igor Otoni
Math Notes and Homeworks Template
General notes/homework template with several command shortcuts
Scott Hootman-Ng