60 résultats : Logique

Exo 7(vidéos)

Description : Ces vidéos Exo 7 viennent en complément de la correction écrite des fiches. Les vidéos durent 5 à 15 minutes (en moyenne) et sont composées de deux parties. Tout d'abord la correction proprement dite et ensuite une partie « Bonus » qui approfondie, complète, reprend un résultat du cours ou donne ...

Mots clés : logique et ensemble, espaces vectoriels, matrices

Date : 2013

Droits : Licence creative commons de type 3:http://creativecommons.org/licenses/by-nc-sa/3.0/deed.fr - pour plus d'information contacter l'auteur

Exo 7(vidéos)

Exo 7(cours et exercices)

Exo 7(cours et exercices)

Description : Le site internet Exo 7 destiné aux étudiants regroupe des fiches corrigées de niveau licence. Ces fiches sont regroupées par niveau et par module.

Mots clés : logique et ensemble, espaces vectoriels, matrices

Date : 2013

Droits : Licence creative commons de type 3:http://creativecommons.org/licenses/by-nc-sa/3.0/deed.fr - pour plus d'information contacter l'auteur

Circuits et architecture des ordinateurs

Circuits et architecture des ordinateurs

Description : Ce cours présente les éléments constituants l'architecture des ordinateurs et leurs interactions. L'architecture d'un ordinateur se décompose en plusieurs parties : une unité centrale composée d'un microprocesseur, d'une mémoire centrale, d'interfaces d'entrées-sorties, de bus et d'un décodeur d ...

Mots clés : ordinateur, codage données, représentation données, transitor, porte logique, circuit, mémoire, micro-processeur, instruction, programmation, pipeline, fuscia

Date : 09-07-2010

Droits : Ce cours est diffusé sous licence Creative common "Paternité - Pas d'utilisation Commerciale - Pas de Modification", ce qui signifie que vous pouvez communiquer, reproduire, distribuer l'œuvre au public à condition de citer l'auteur et le titre. Par contre, vous avez interdiction de modifier l'œuvre ...

De la chimie de synthèse à la biologie de synthèse (4)

De la chimie de synthèse à la biologie de synthèse (4)

Description : De la chimie de synthèse à la biologie de synthèse From Synthetic Chemistry to Synthetic Biology Conférence internationale mardi 5 mai 2009 amphithéâtre Maurice Halbwachs Collège de France 11 place Marcelin-Berthelot - 75005 Paris 10h40 Jacques REISSE (Université Libre de Bruxelles) La chimie ...

Mots clés : matière vivante, chimie de synthèse, biologie synthétique, chimie prébiotique, espèce, évolution chimique, indice de vie, logique floue, système moléculaire

Date : 05-05-2009

Droits : Droits réservés à l'éditeur et aux auteurs.

De la chimie de synthèse à la biologie de synthèse (9)

De la chimie de synthèse à la biologie de synthèse (9)

Description : De la chimie de synthèse à la biologie de synthèse From Synthetic Chemistry to Synthetic Biology Conférence internationale mardi 5 mai 2009 amphithéâtre Maurice Halbwachs Collège de France 11 place Marcelin-Berthelot - 75005 Paris 15h00 François KÉPÈS (Genopole, Evry) Biologie synthétique et i ...

Mots clés : génie génétique, chimie de synthèse, biotechnologies, biologie synthétique, biologie intégrative, biologie systèmique, ingénierie de la biologie, logique du vivant

Date : 05-05-2009

Droits : Droits réservés à l'éditeur et aux auteurs.

Relations (Module : Logique et langage des ensembles)

Relations (Module : Logique et langage des ensembles)

Description : Dans ce chapitre seront vu les relations. Une relation est définie par son graphe. Ce chapitre propose une étude des relations, via la relation d'équivalence et la relation d'ordre

Mots clés : ensembles, logique des ensembles, relation d'ordre, relation d'équivalence, application croissante

Date : 2000

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

Logique et langage des ensembles (Module complet)

Logique et langage des ensembles (Module complet)

Description : Les notions abordées dans ce module sont des notions de base qui interviennent dans tous les domaines des mathématiques. Souvent considérées comme acquises par les étudiants après un cours d'introduction rapide, elles sont susceptibles ...

Mots clés : connecteurs, ensembles, quantificateurs, implications, logique, relations

Date : 2000

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

Rédaction (Module : Logique et langage des ensembles)

Rédaction (Module : Logique et langage des ensembles)

Description : L'usage des signes logiques est source de beaucoup d'erreurs. Dans ce chapitre, on précise les règles pour utiliser le formalisme de façon sûre.

Mots clés : ensembles, signes, logique des ensembles, langage mathématique

Date : 2000

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

Démonstrations (Module : Logique et langage des ensembles)

Démonstrations (Module : Logique et langage des ensembles)

Description : Dans une démonstration, on a des objets donnés dans l'énoncé, des hypothèses c'est-à-dire de propriétés de ces objets qui sont supposées vraies, et il s'agit de démontrer un but, qui est une propriété que l'on doit établir et qui concerne ces mêmes objets, à l'aide ...

Mots clés : ensembles, logique des ensembles, démonstration, implication, disjonction, conjonction

Date : 2000

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html