Méthodes mathématiques de l'Informatique I (cours avec exercices) / Mathematische Methoden der Informatik I (Vorlesung mit Übungen) / Mathematical Methods for Computer Science I (lecture with exercises)

  • Enseignement

    Détails

    Faculté Faculté des sciences et de médecine
    Domaine Mathématiques
    Code UE-SMA.07003
    Langues Français , Allemand, Anglais
    Type d'enseignement Exercice
    Cours
    Cursus Bachelor
    Semestre(s) SA-2023

    Titre

    Français Méthodes mathématiques de l'Informatique I (cours avec exercices)
    Allemand Mathematische Methoden der Informatik I (Vorlesung mit Übungen)
    Anglais Mathematical Methods for Computer Science I (lecture with exercises)

    Horaires et salles

    Horaire résumé Mercredi 17:15 - 19:00, Hebdomadaire (Semestre d'automne)
    Jeudi 10:15 - 12:00, Hebdomadaire (Semestre d'automne)
    Struct. des horaires 2h de cours et 2h d'exercices
    Heures de contact
    		56

    Enseignement

    Responsables
    • Kellerhals Ruth
    Enseignants
    • Liechti Livio
    Description Basic combinatorics: counting rules, binomial and multinomial coefficients, inclusion-exclusion principle.
    Graph theory. Propositional and predicate logic.
    Objectifs de formation Become familiar with mathematical notions that form the theoretical basis of computer science. Learn fundamentals of combinatorics and graph theory.
    Softskills Non
    Hors domaine Non
    BeNeFri Oui
    Mobilité Oui
    UniPop Non
  • Dates et salles
    Date Heure Type d'enseignement Lieu
    21.09.2023 10:15 - 12:00 Cours PER 07, salle 1.309
    27.09.2023 17:15 - 19:00 Exercice PER 08, salle 2.52
    28.09.2023 10:15 - 12:00 Cours PER 07, salle 1.309
    04.10.2023 17:15 - 19:00 Exercice PER 08, salle 2.52
    05.10.2023 10:15 - 12:00 Cours PER 07, salle 1.309
    11.10.2023 17:15 - 19:00 Exercice PER 08, salle 2.52
    12.10.2023 10:15 - 12:00 Cours PER 07, salle 1.309
    18.10.2023 17:15 - 19:00 Exercice PER 08, salle 2.52
    19.10.2023 10:15 - 12:00 Cours PER 07, salle 1.309
    25.10.2023 17:15 - 19:00 Exercice PER 08, salle 2.52
    26.10.2023 10:15 - 12:00 Cours PER 07, salle 1.309
    02.11.2023 10:15 - 12:00 Cours PER 07, salle 1.309
    08.11.2023 17:15 - 19:00 Exercice PER 08, salle 2.52
    09.11.2023 10:15 - 12:00 Cours PER 07, salle 1.309
    16.11.2023 10:15 - 12:00 Cours PER 07, salle 1.309
    22.11.2023 17:15 - 19:00 Exercice PER 08, salle 2.52
    23.11.2023 10:15 - 12:00 Cours PER 07, salle 1.309
    29.11.2023 17:15 - 19:00 Exercice PER 08, salle 2.52
    30.11.2023 10:15 - 12:00 Cours PER 07, salle 1.309
    06.12.2023 17:15 - 19:00 Exercice PER 08, salle 2.52
    07.12.2023 10:15 - 12:00 Cours PER 07, salle 1.309
    13.12.2023 17:15 - 19:00 Exercice PER 08, salle 2.52
    14.12.2023 10:15 - 12:00 Cours PER 07, salle 1.309
    20.12.2023 17:15 - 19:00 Exercice PER 08, salle 2.52
    21.12.2023 10:15 - 12:00 Cours PER 07, salle 1.309
  • Modalités d'évaluation

    Examen écrit - SA-2023, Session d'hiver 2024

    Date 13.02.2024 13:00 - 15:00
    Mode d'évaluation Par note
    Description examen écrit

    Examen écrit - SP-2024, Session d'automne 2024

    Date 27.08.2024 10:00 - 12:00
    Mode d'évaluation Par note
    Description examen écrit
  • Affiliation
    Valable pour les plans d'études suivants:
    Complément DEEM en informatique
    Version: 2022_1/V_01
    Complément DEEM pour Informatique 60 ou +30 > Programmes 60 ou +30 > Complément au programme Informatique 60 > Complément DEEM pour Informatique 60 (dès SA2020)
    Complément au MSc en mathématiques [MA]
    Version: 2022_1/V_01
    Complément au MSc en mathématiques > UE avancées en Mathématiques (niveau bachelor)

    Complément au MSc in Computer Science [MA]
    Version: 2022_1/V_01
    Complément au MSc en informatique > UE avancées en Mathématiques (niveau bachelor)

    Enseignement complémentaire en sciences
    Version: ens_compl_sciences
    Paquet indépendant des branches > UE avancées en Mathématiques (niveau bachelor)

    Informatique 120
    Version: 2022_1/V_01
    BSc en informatique, branche principale, 2-3ème années > Informatique 2e et 3e année, UE obligatoires (dès SA2021)
    Informatique 30
    Version: 2022_1/V_01
    Branche complémentaire en informatique 30 > Informatique br. compl. 30 ou 60 ECTS à choix (dès SA2019)
    Informatique 60
    Version: 2022_1/V_01
    Branche complémentaire en informatique 60 > Informatique br. compl. 30 ou 60 ECTS à choix (dès SA2019)
    Informatique [DEEM] 60
    Version: 2022_1/V_01
    Branche complémentaire en informatique (DEEM) 60 > Informatique branche complémentaire DEEM 60 ECTS à choix (dès SA2021)
    Mathématiques 50 [BSc/BA SI]
    Version: 2022_1/V_01
    BSc_SI/BA_SI, Mathématiques 50 ECTS, 1-3ème années > BSc_SI/BA_SI, Mathématiques, 2-3ème années, UE à choix pour 50 ECTS (dès SA2020)
    Mathématiques [3e cycle]
    Version: 2024_2/V_01
    Formation continue > UE avancées en Mathématiques (niveau bachelor)

    Mathématiques [POST-DOC]
    Version: 2015_1/V_01
    Formation continue > UE avancées en Mathématiques (niveau bachelor)

    Préalable au MSc en Mathématiques [PRE-MA]
    Version: 2022_1/V_01
    Préalable au MSc en mathématiques > UE avancées en Mathématiques (niveau bachelor)