Descripteurs
 > 1305 mathématiques > mathématique > logique mathématique
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (12)
Ajouter le résultat dans votre panier Affiner la recherche Interroger des sources externes
texte imprimé
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité 100 VER documentaire CDI 003349 Disponible Article : texte imprimé
Explication, en 2009, avec exemples à l'appui, du fonctionnement logique, appelé pyramide de Ponzi, à la base de l'escroquerie financière américaine de Bernard Madoff, condamné en 2009. Encadré : détails sur l'affaire Madoff.document électronique
Le point sur des techniques d'exclusion permettant de résoudre des grilles de Sudoku et sur leur formulation mathématiques : les règles du Sudoku et la contrainte fondamentale ; la technique d'exclusion naïve, l'utilisation de la loi de De Morga[...]document électronique
La logique mathématique : la négation, la conjonction, la disjonction, l'implication, l'équivalence, les tautologies (exemple classique du syllogisme).
texte imprimé
La logique, prise dans un sens large, a connu d'incroyables progrès depuis deux siècles. Divers thèmes ont été découverts : - l'infinie variété des infinis - les étranges hyperensembles - l'ensemble de tous les ensembles avec ses paradoxes [...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité 510.6 DEL documentaire CDI 021213 Disponible texte imprimé
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité 100 DUR documentaire CDI 003352 Disponible texte imprimé
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité 100 HAN documentaire CDI 002744 Disponible texte imprimé
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité 100 DUR fiction CDI 001829 Disponible Article : texte imprimé
Présentation (avec les solutions), par un mathématicien, de jeux mathématiques faisant appel au raisonnement logique, portant sur des chapeaux.Article : texte imprimé
Le point, en 2009, des recherches de mathématiciens logiciens, sur le concept d'incomplétude, suite à la découverte du théorème d'incomplétude de Kurt Gödel, en 1930 ; le lien avec la notion de hasard : l'incapacité de prévoir ce qui va arriver.[...]Article : texte imprimé
Présentation du travail de la chercheuse post-doctorante Amina Doumane qui a réussi à prouver un théorème de l'informatique théorique grâce à une preuve circulaire (ou infinitaire) : le lien entre théorie de la démonstration et logiques infinita[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives périodique CDI 027533 Disponible Article : texte imprimé
Antoine Chambert-Loir, Auteur | Sophia Publications |Présentation de la théorie de Ramsey, du nom du mathématicien britannique Franck Ramsey, en référence au théorème démontré en 1930. Encadré : le principe des tiroirs, outil inépuisable.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives périodique CDI 033275 Disponible
