Tri :
Date
Editeur
Auteur
Titre
|
|
Langages logiques
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
Voir le résumé
Voir le résumé
Ce cours est le premier d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités.
Il présente les aspects syntaxiques des langages logiques Mot(s) clés libre(s) : langage logique, logique des propositions, calcul prédicat, langage sans variable, formule atomique, quantificateur, formule logique avec variables, substitution dans une formule
|
Accéder à la ressource
|
|
Interprétation : variables et quantificateurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
Voir le résumé
Voir le résumé
Ce cours est la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités.
Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et quantificateurs du premier ordre et définit l'ensemble des formules valides de ce langage. Mot(s) clés libre(s) : interprétation d'un langage logique avec variables, règle d'introduction du quantificateur, interprétation des termes, schéma d'interprétation des formules, formule valide, relation de conséquences
|
Accéder à la ressource
|
|
Intégration
/ SILLAGES
/ 23-09-2011
/ Unisciel
Laidebeure Catherine
Voir le résumé
Voir le résumé
Intégrales de fonctions en escalier et de fonctions continues, primitives, propriétés des intégrales Mot(s) clés libre(s) : intégrale, primitive, intégration par parties, changement de variable, somme de Riemann
|
Accéder à la ressource
|
|
SB1 - Variables aléatoires et distributions théoriques
/ François KOHLER
/ 06-09-2006
/ Canal-U - OAI Archive
KOHLER François
Voir le résumé
Voir le résumé
Dans le cadre du MASTER SVS-SPE et plus particulièrement du module SB1, vous pouvez suivre ici, le cours de François Kohler, concernant les variables aléatoires et distributions théoriques.OrigineSPI-EAO Canal-U Médecine et SantéGénériqueRéalisation : SPI-EAO - François KOHLER Mot(s) clés libre(s) : distribution théorique, MASTER SVS-SPE, statistique, variable aléatoire
|
Accéder à la ressource
|
|
Cfacile : Introduction au langage C
/ Université de Technologie de Compiègne, UNIT
/ 11-01-2010
/
Boufflet Jean-Paul, Trigano Philippe, Benmimoun Amir
Voir le résumé
Voir le résumé
Cfacile est un support interactif de cours pour l'apprentissage des concepts de base de l’algorithmique et de la programmation en C, à destination des débutants. Il comporte quatre parties : une base théorique structurée sous la forme de 9 chapitres de cours, un ensemble d'exercices interactifs, deux jeux éducatifs interactifs et des simulations pédagogiques.
Les chapitres abordent les bases de la programmation en C : introduction au langage C, algorithmes et langages, structure d'un programme, premiers pas en C, les boucles, les tableaux ainsi que les chaînes de caractères et les pointeurs, les fonctions, les structures et les bases de l'allocation dynamique.
Les exercices interactifs et simulations sont intégrés au cours concerné tout en étant accessibles indépendamment. L'étudiant a la possibilité de revenir sur les points de son parcours à l'issue des tests de connaissances.
Les simulations pédagogiques assurent une compréhension à base d?exemples sur les tests (if, switch), les conversions explicite et implicite, les structures itératives (for, do, while), les fonctions, les tableaux (à une et deux dimensions), les chaînes de caractère et les structures. Elles assurent une meilleure compréhension de nouvelles notions ou concepts.
Les jeux permettent de tester de façon ludique les connaissances acquises.
Nous mettons à la disposition de l'apprenant un ensemble de liens utiles vers d'autres ressources afin de lui permettre d'approfondir ses connaissances. Mot(s) clés libre(s) : langage C, algorithmique, programmation, norme ANSI, code source, compilation, identificateur, instruction, type de donnée, constante, variable, structure, déclaration, fonction, fonction sizeof, opérateur, instruction break, conversion, instruction switch, boucle, chaine de caractère, tableau, allocation dynamique, fonction malloc, fonction free, itération
|
Accéder à la ressource
|
|
Approche multifactorielle de la réussite en première année: motivation, intégration sociale, intégration académique
/ 17-12-2015
/ Canal-u.fr
FRENAY Mariane
Voir le résumé
Voir le résumé
Tant en Belgique qu’à l’étranger, les phénomènes d’échec et d’abandon dans l’enseignement supérieur, en première année d’études en particulier, interpellent par leur ampleur. Comment expliquer ces taux d’échec et d’abandon ? Quels facteurs ont le plus d’impact ? Que mettre en place pour y remédier ? De nombreuses recherches ont tenté d’apporter des réponses à ces questions. Cependant, au fil des études, l’échec et l’abandon dans les études supérieures se révèlent des phénomènes complexes dont aucun facteur pris isolément ne suffit à rendre compte. En m’appuyant notamment sur les travaux menés à la Chaire UNESCO de pédagogie universitaire depuis de nombreuses années, je présenterai la manière dont cette question a été traitée en rapportant et en discutant les résultats de recherches empiriques (approches quantitatives et qualitatives), dans lesquelles les phénomènes d’échec et d’abandon sont lus comme les résultantes d’interactions multiples et variées entre, d’une part, les variables individuelles des étudiants et, d’autre part, les facteurs contextuels qu’ils sont amenés à rencontrer. <br> Mot(s) clés libre(s) : intégration sociale, variables individuelles, facteurs d'abandon et d'échec, intégration académique, recherche, échec, transformation pédagogique, réussite, motivation, conférence de consensus, enseignement supérieur, facteurs contextuels
|
Accéder à la ressource
|
|
Questionnaires sur les sections planes de surfaces (spécialité)
/ Pascale Boudière, Frédéric Raymond, Cédric Tondeur, Jacques Queyrut, Geneviève Bretenoux, Université Bordeaux-I, Unisciel
/ 2009
/ Unisciel
Felloneau Claude, Sorbe Xavier, Bordas Mirentxu, Dauriac Chantal, Delahaye Xavier, Dubos Jean-Pierre, Gagné Myriam, Lachapèle Antoine, Perrin Ghyslaine
Voir le résumé
Voir le résumé
Cette ressource propose cinq questionnaires de géométrie dans l'espace en spécialité. Mot(s) clés libre(s) : RAMSES, géométrie dans l'espace, section plane des surfaces, surfaces, fonctions à 2 variables
|
Accéder à la ressource
|
|
Sujets d'examen
/ Université Paris-VI, Université Lille-I, Unisciel, SMAI, SMF
/ 2010
/ Unisciel
de Bièvre Stephan, Huebschmann Johannes
Voir le résumé
Voir le résumé
Cette série comprend 9 exercices, des indications et les corrigés. Mot(s) clés libre(s) : fonction de plusieurs variables, topologie, Exo7
|
Accéder à la ressource
|
|
Plans tangents à un graphe, différentiabilité
/ Université Paris-VI, Université Lille-I, Unisciel, SMAI, SMF
/ 2010
/ Unisciel
de Bièvre Stephan, Huebschmann Johannes
Voir le résumé
Voir le résumé
Cette série comprend 7 exercices, des indications et les corrigés. Mot(s) clés libre(s) : fonction de plusieurs variables, différentiabilité, Exo7
|
Accéder à la ressource
|
|
Limites de suites et de fonctions
/ Université Paris-VI, Université Lille-I, Unisciel, SMAI, SMF
/ 2010
/ Unisciel
de Bièvre Stephan, Huebschmann Johannes
Voir le résumé
Voir le résumé
Cette série comprend 5 exercices, des indications et les corrigés. Mot(s) clés libre(s) : Fonction de plusieurs variables, Limite, Exo7
|
Accéder à la ressource
|
|