OpenLLM-France/wikimedia huggingface dataset:
# Informatique et Sciences du Numérique au lycée : un pas plus loin/LANGAGES/Éléments de Logique

La logique mathématique ou méta-mathématique a été introduite en tant que discipline des mathématiques à la fin du xixe siècle, qui s'est donné comme objet la formalisation du raisonnement. Cette question a été également abordée par la philosophie.
Les objets fondamentaux de la logique mathématique sont les formules modélisant les énoncés mathématiques, les dérivations ou démonstrations formelles modélisant les raisonnements mathématiques et les sémantiques ou modèles qui définissent le « sens » des formules (et parfois même des démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats dans les structures permet de leur affecter une valeur de vérité.
Le Calcul des Propositions permet d'exprimer des propriétés d'objets. Elles peuvent êtres des propriétés élémentaires et dites alors propriétés atomiques ou être des propriétés construites à partir de propriétés élémentaires et des opérateurs appelés connecteurs permettant d'exprimer la conjonction (le ET), la disjonction (le OU), la négation (le NON) et l'implication (le =>) de propriétés. Le calcul des propositions définit les règles de déduction qui relient les propositions entre elles, sans en examiner le contenu ; il est ainsi une première étape dans la construction du calcul des prédicats, qui lui s'intéresse au contenu des propositions.
La théorie des ensembles reconstruit à partir des notions d'ensemble et d'appartenance les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes…
# Informatique et Sciences du Numérique au lycée : un pas plus loin/LANGAGES/Eléments de syntaxe et de sémantique/Structuration des programmes

Polymorphisme
Modules et foncteurs,
Classes et objets, vus comme outils de structuration
Chargement dynamique de code.
# Informatique et Sciences du Numérique au lycée : un pas plus loin/LANGAGES/Eléments de syntaxe et de sémantique/Styles de Programmation

Niveaux de langages
Programmation séquentielle
Programmation synchrone
Programmation concurrente
Programmation distribuée
La Programmation Dynamique est un style de programmation qui n'est pas associé à un langage particulier. C'est une méthode algorithmique pour résoudre des problèmes d'optimisation. Le concept a été introduit au début des années 1950 par Richard Bellman. Le terme « programmation » signifiait à l’époque plus planification et ordonnancement. La programmation dynamique s'applique avec succès lorsque le problème d'optimisation est composé de plusieurs sous-problèmes de même nature, et qu'une solution optimale du problème global s'obtient à partir de solutions optimales des sous-problèmes.
# Informatique et Sciences du Numérique au lycée : un pas plus loin/LANGAGES/Théorie des Types et Assistants de Preuve

Page en cours de construction, à partir de fragments des pages citées dans le texte ci-dessous.
L'intuitionnisme est une position philosophique vis-à-vis des mathématiques proposée par le mathématicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative à l'approche dite classique. Elle a été ensuite formalisée, sous le nom de logique intuitionniste, par ses élèves V. Glivenko et Arend Heyting. Kurt Gödel a montré que l'on pouvait représenter la logique classique dans la logique intuitionniste et ceci bien que l'ensemble des formules valides de la logique intuitionniste soit strictement inclus dans l'ensemble des formules valides de la logique classique. Gerhard Gentzen en a formulé les règles de déduction dans le cadre de la déduction naturelle.
Les travaux récents, notamment la correspondance de Curry-Howard, lui ont donné un statut central dans la logique et dans l'informatique, en faisant d'elle historiquement la première des logiques constructives. Des travaux la concernant, effectués par Gödel et Andreï Kolmogorov au sujet de la « non-non interprétation » (interprétation de la double négation) ont ouvert la porte de l’interprétation de la logique classique dans les termes de la logique intuitionniste. L'étude de la logique intuitionniste est la clé pour bien comprendre la logique classique et ses subtilités.
Les assistants de preuve sont des logiciels qui permettent de démontrer des théorèmes énoncés dans la logique (en général d'ordre supérieur) qui constitue leur fondement. Ils sont utilisés en informatique pour démontrer la validité de propriétés de programmes ou de systèmes. Par exemple, certaines propriétés de résistance à des intrusions de systèmes embarqués ont été démontrées en utilisant de tels systèmes.
# DotClear/Différences avec DotClear 1

Cette page est considérée comme une ébauche à compléter . Si vous possédez quelques connaissances sur le sujet, vous pouvez les partager en éditant dès à présent cette page (en cliquant sur le lien « »).
Ressources suggérées : Aucune (vous pouvez indiquer les ressources que vous suggérez qui pourraient aider d'autres personnes à compléter cette page dans le paramètre « ressources » du modèle engendrant ce cadre)
← Historique | Installation de DotClear 2 →
Comme signalé dans l’historique), les différences avec DotClear 1 sont si importantes qu’il est impossible d’en faire le tour. Cependant, voici certaines des plus notables :

## Avancées

* abstraction de la couche BDD ; ainsi, DotClear peut fonctionner sous MySQL (la plus répandue), SQLite (convient pour de petits blogs) ou PostgreSQL (relationnelle ; puissante et conseillée, mais rarement disponible chez les hébergeurs).
* multiblog.
* UTF-8 en entier (y compris la base de données).
* Génère des IRI (des « caractères accentués » dans les adresses Web).
* Possibilité de permutter simplement l’attribut nofollow. nofollow avait fait son apparition dans DotClear 1.2.3, mais il fallait alors modifier le code du programme pour le supprimer.
* Traitement par lot et c’est très bien. Cependant, il n’est pas possible de changer par lot le nom d’un auteur de commentaire (ni même sans lot) ; ce n’est pas important, mais parfois utile.
* Il n’est plus nécessaire d’afficher le numéro du billet dans l’URI. Si vous avez deux billets avec la même URI (parce qu’ils ont le même titre), le second sera automatiquement suivi d’un nombre (machin, machin2, machin3…), ce qui évite tout risque de conflit d’adresse.

## Neutre

* réécriture complète du code.
* décision de ne plus faire de concessions pour plaire à un hébergeur (lire : Free)
* entièrement en anglais (code compris). La localisation en français est cependant obligatoire pour l’interface.
* quand les commentaires et rétroliens sont désactivés, il n’est plus possible de s’abonner aux fils de syndication des commentaires.
* une URI est pleinement signifiante. Dans DotClear 1, seul le numéro d’identifiant l’était (/?10-mon-blog-est-parfait amenait à la même adresse que /?10-mon-blog-est-presque-parfait)

## Régressions

* Il n’est plus possible d’obtenir l’adresse d’un billet hors-ligne (utile pour ceux qui écrivent des billets si à l’avance qu’ils référencent d’autres billets eux aussi hors-ligne)
* ↑ Pour les différences entre MySQL et PostgreSQL en ce qui concerne DotClear, lire Différence entre MySQL et PostgreSQL ? sur le forum DotClear.
# Documentation en ligne de OsiriX/Système minimum nécessaire pour OsiriX

Pour obtenir les meilleures performances:
OsiriX
# DotClear/Historique

| Différences avec DotClear 1 →
L’histoire de DotClear remonte à 2003. À cette époque, le créateur du logiciel, Olivier Meunier (O.M.), « cherchait quelque chose à coder pour [s]’amuser ! » et avait dû ouvrir « dans l’urgence ».
Depuis DotClear s’est imposé chez les blogueurs francophones. Il n’a finalement connu que quelques incarnations, preuve, au vu de son succès, que son code orienté objet était très bon dès le départ.
* DotClear 1.2.5 : mise à jour de sécurité, correction d’un bogue, dernière version de DotClear 1 (source).
* DotClear 1.2.4 : mise à jour de sécurité, correction de bogues, petites améliorations (source).
* DotClear 1.2.3 : mise à jour de sécurité, correction de bogues, petites améliorations (source).
* DotClear 1.2.2 : mise à jour de sécurité (source).
* DotClear 1.2.1 :
* DotClear 1.2 : Version finale de DotClear 1. Il n’y a pas eu de versin 1.0
* DotClear 0.9 :
Loin d’être le seul logiciel de blog en France, DotClear est un outil très répandu, très apprécié tant pour la qualité de son code que pour sa puissance et sa facilité de prise en main.
DotClear 1 (ainsi que ses versions bêta) est responsable de cette large adoption. Fin 2006 apparaissait DotClear2. Comme le signale l’auteur, DotClear 2 n’est pas DotClear 2.0 : c’est un logiciel complètement différent, tant au niveau du code, totalement réécrit, que celui de l’interface. On retrouve certes nombre des fonctionnalités qui ont fait la réputation du logiciel, mais bien plus encore. Alors que DotClear 1 était un logiciel fait « pour s’amuser », DotClear 2 est beaucoup plus ambitieux.
Le présent livre traite de DotClear 2 (et d’éventuelles prochaines versions). Bien des informations sont également valables pour DotClear 1, cependant ; quand c’est le cas, ce sera mentionné.
* ↑ Toolinux
* ↑ archive.org
* ↑ Ou du moins français. Ce livre n’utilise pas le terme « blogosphère », trop sujet à caution.
* ↑ « je ne suis pas bon pour les numérotations », O.M.
* ↑ (citons pour information [[w:Wordpress|]], [[w:TextPattern|]], voire [[w:SPIP|]] et [[w:Xwiki|]]).
* ↑ Ou DotClear 2, le nom exact n’est pas clair.
* ↑ Olivier Meunier disait alors, sur le ton de la plaisanterie « le meilleur au monde. Au moins ».
# Documentation en ligne de OsiriX/Utiliser OsiriX comme station PACS

Oui, vous pouvez utiliser OsiriX comme station d'interprétation du PACS ! Vous n'avez pas besoin de d'acheter des stations de travail et des licences à plusieurs milliers d'euros ! Gardez votre argent pour acheter des Macintosh à la place. Vous avez seulement à configurer votre station de travail et/ou votre archive PACS pour qu'elle envoie automatiquement les examens sur votre Macintosh et sur OsiriX. : il faut configurer précisément l'AETitle et le numéro de Port dans OsiriX après avoir déclaré le nom de votre station de travail dans l'archive PACS. (voir le chapitre Importer des images DICOM dans OsiriX).
# Documentation en ligne de OsiriX/Télécharger et installer OsiriX
## Téléchargements

Vous pouvez télécharger les éléments suivants depuis Le site OsiriX:
* Paquet d'installation + Manuel succint (OsiriX.pkg.sit)
* présentation keynote d'OsiriX
* Plusieurs Plug-ins OsiriX optionels
* OsiriXBroadcasting.sit
* Le code source d'OsiriX en entier
* Plusieurs séries d'images test

## Installation

Double-cliquer sur OsiriX.pkg et suivre les indications qui aparaissent à l'écran.
OsiriX
# DotClear/Installation de DotClear 2

Cette page est considérée comme une ébauche à compléter . Si vous possédez quelques connaissances sur le sujet, vous pouvez les partager en éditant dès à présent cette page (en cliquant sur le lien « »).
Ressources suggérées : Aucune (vous pouvez indiquer les ressources que vous suggérez qui pourraient aider d'autres personnes à compléter cette page dans le paramètre « ressources » du modèle engendrant ce cadre)
* Téléchargez DotClear 2 sur fr.dotclear.org/download. Choisissez le tar.gz, c’est très bien.
* Il faut ensuite choisir l'hebergeur où installer son blog. Celui-ci doit prendre en charge le php 5 et fournir une base MySQL 4.1+ pour faire fonctionner votre blog. Voici une liste d'hébergeurs reconnus comme fonctionnels avec Dotclear 1 et une pastille indiquant leur support ou non de Dotclear 2 :
   * APINC <http://www.apinc.org> Oui
   * Amen <http://www.amen.fr> Non
   * Aquaray <http://www.aquaray.com> ?
   * Berlios <http://www.berlios.de> ?
   * Celeonet <http://www.celeonet.fr> Oui
   * Cledunet <http://www.cledunet.com> Oui
   * Cliranet <http://www.cliranet.com> Oui
   * Din'Hosting <http://dinhosting.fr> Oui
   * Free <http://www.free.fr> Non
   * Host-Gratuit <http://www.host-gratuit.net> Oui
   * Jaguar Network <http://www.jn-hebergement.com> ?
   * Jexiste <http://www.jexiste.fr> Oui
   * LCI <http://www.lacentraleinternet.com/fra/index.php> ?
   * Lost Oasis <http://www.lost-oasis.fr> Non
   * Lycos WebCenter <http://hebergement.lycos.fr> Oui
   * Multimania <http://www.multimania.lycos.fr> ?
   * Nukeparty <http://www.nukeparty.com> Oui
   * Online <http://www.online.fr> Non
   * OVH <http://www.ovh.fr> Oui
   * Ouvaton <http://www.ouvaton.coop> Non
   * Planet-Work <http://www.planet-work.com> MySQL ?
   * Verio <http://www.veriowebsites.com> ?
   * WDmedia <http://www.wdmedia-hebergement.net> Non
   * Webdynamit <http://www.webdynamit.net> Non
   * Yellis <http://www.yellis.net> Oui
   * SourceForge <http://www.sourceforge.net> Oui sous réserve de validation
   * 1and1 <http://www.1and1.com> Oui
   * EBSD <http://www.ebsd.net> Oui
   * Tuxfamily <http://www.tuxfamily.org> Oui
# Documentation en ligne de OsiriX/À propos d'OsiriX

OsiriX est un logiciel de rendu d'images dédié aux images DICOM (suffixes ".dcm" / ".DCM") produites par les équipements médicaux de type (MRI, CT, PET, PET-CT, ...) et la microscopie confocale (formats LSM and BioRAD-PIC). OsiriX peut aussi lire d'autres formats de fichiers : TIFF (8,16, 32 bits), JPEG, PDF, AVI, MPEG et Quicktime. Il se conforme absolument au standard DICOM en ce qui concerne le format de fichier et la communication d'image. OsiriX est capable de recevoir des images transférées suivant le protocole de communication DICOM depuis n'importe quels PACS ou modalité d'imagerie médicale (STORE SCP - fournisseur d'espace de stockage, STORE SCU - utilisateur d'espace de stockage, et Query/Retrieve - sélection/import de copie) .
OsiriX a été spécialement conçu pour la navigation et visualisation d'images multimodales et multidimensions: fenêtre 2D, fenêtre 3D, fenêtre 4D (séries 3D avec une dimension temporelle, par exemple: (CT cardiaque) et fenêtre 5D (séries 3D series avec une dimension temporelle et une dimension fonctionnelle, par exemple: PET-CT cardiaque). La fenêtre 3D offre tous les modes de rendu modernes : Reconstruction multiplan (MPR), Rendu de surface, Rendu de volume et Projection de l'intensité maximum (MIP). Tous ces modes supportent les données 4D et peuvent fusionner les images de deux séries différentes (par exemple: PET-CT).
Osirix est à la fois une station de travail PACS DICOM d'imagerie médicale et une plateforme logicielle d'analyse d'image pour la recherche médicale imagerie radiologique et nucléaire, imagerie fonctionnelle, imagerie 3D, microscopie confocale et imagerie moléculaire.
Osirix supporte une architecture complète de plug-ins qui vous permet d'étendre les capacités d'OsiriX en fonction de vos besoins personnels ! Cette architecture de plugins vous donne accès à la puissante bibliothèque d'objets Cocoa grâce à un langage orienté objet et dynamique : Objective-C.
OsiriX
# Livre de cuisine/Boissons/Cocktails/Monkey gland

Le Monkey Gland est un cocktail nommé d'après une technique chirurgicale de greffe de tissus de testicule de singe chez l'homme .

## Ingrédients

* 3 cl de gin
* 1,5 cl d'alccol d'absinthe
* 3 cl de jus d'orange
* un trait de grenadine

## Préparation

* Frapper tous les élements dans un shaker
* Verser dans un verre à cocktail

## Histoire

The Monkey Gland a été créé dans les années 1920 par Harry MacElhone, propriétaire de Harry's New York Bar, à Paris, en France.

## Referencess

* ↑ Hirst, Christopher. (October 8, 2005) The Independent 101 cocktails that shook the world #37: The Monkey Gland. Section: Features; Page 57
* ↑ Rob Chirico, Field Guide to Cocktails p. 189, 2005 by Quirk Productions. ISBN 1-59474-063-1
# Livre de cuisine/Boissons/Cocktails/Paradise

Le paradise est un cocktail.

## Ingrédients

* 4 cl de rye
* 2 cl de liqueur d'abricot
* 2 cl de jus d'orange

## Préparation

* Frapper rapidement
* Servir dans un petit tumbler
# Livre de cuisine/Boissons/Cocktails/Negroni

Le negroni est un cocktail dit long drink.

## Ingrédients

* 3 ou 4 cl de gin
* 3 cl de vermouth Italien
* 3 cl de Campari

## Préparation

* Dans un tumbler rempli de glace verser les ingrédients
* Remuer

## Décoration

* 1/2 tranche d'orange ou d'orange sanguine

## Variantes

* Verser les ingrédients dans un verre à cocktail

## Histoire

Selon les histoires populaires, le Negroni a été inventée à Florence, en Italie, en 1919, au Café Casoni. Il a été nommé pour le comte Camillo Negroni.
Le mot Negroni n'apparaît pas dans les guides de cocktails anglais avant 1947.

## Anecdote

En Italie, le Negroni est aussi un produit prêt à l'emploi appelé "Antico Negroni 1919".
# Livre de cuisine/Boissons/Cocktails/OpenCola

* Wikipédia propose un article sur : « OpenCola ».
OpenCola est une marque de cola unique dans le fait que sa recette est disponible librement. N’importe qui est libre de reconstituer cette boisson ou modifier sa recette, à la condition que celle-ci soit sous Licence publique générale GNU.

## Ingrédients

La recette originale est disponible sous licence GNU GPL. Elle mêle les ingrédients suivants :

### Mélange sapide

* 3,0 ml d’eau,
* 10 g de gomme arabique alimentaire,
* huiles :
** 3,5 ml d’orange,
** 2,75 ml de lime (citron vert),
** 1,25 ml de casse ou cannelle de Chine (Cinnamomum cassia (L.) Presl),
** 1,0 ml de citron,
** 1,0 ml de muscade,
** 0,25 ml de coriandre,
** 0,25 ml de néroli (extrait de la fleur de bigaradier),
** 0,2 ml de lavande.

### Concentré

* 2 cuillères à café (soit 10 ml) de mélange sapide,
* 3,5 cuillères à café (soit 17,5 ml) d’acide phosphorique ou d’acide citrique,
* 30,0 ml de caramel colorant,
* 2,36 kg de sucre cristal blanc,
* 2,28 litres d’eau,
* il est possible d’ajouter $^1$⁄$_2$ cuillère à café = 2,5 ml de caféine, si désiré.

### Formule de la boisson

Mélangez le concentré avec 5 parts d’eau filtrée et ajoutez du gaz carbonique, ou utilisez une fontaine à soda qui fait le mélange au robinet.

## Autres projets Opendrink

Il existe aussi une bière appelée Vores Øl.

## Liens externes

* (anglais) Recette de l’OpenCola
* danois OpenBeer
* (anglais) Recette de l’OpenCola en anglais [pdf]
* italien Internet Archive du site officiel de l’OpenCola italien
# Livre de cuisine/Boissons/Cocktails/Picon biére

Le picon bière est un cocktail très répandu.

## Ingrédients

* 4 cl picon
* 1 cl sirop de citron
* 2 cl cointreau
* Bière

## Préparation

* Verser le picon, le sirop de citron et le cointreau dans un verre à bière ;
* Remuer ;
* Compléter de bière.

## Décoration

* une rondelle de citron dans le verre.
# Livre de cuisine/Boissons/Cocktails/Monaco

Le monaco est un cocktail.

## Ingrédients

* 8 cl de limonade
* 2 cl de sirop de grenadine
* 15 cl de bière

## Préparation

* Verser dans un verre à bière la grenadine puis la limonade
* Compléter à la bière

## Variante

* Le sirop peut être changé, en fonction des goûts
# Livre de cuisine/Boissons/Cocktails/Nixon

Le Nixon est un cocktail, il doit son nom a l'ancien président Américain Richard Nixon.

## Ingrédients

* 3 cl de whisky
* 3 cl de liqueur de prune
* 0,5 cl d'alcool de pêche

## Préparation

* Mélanger les ingrédients
* Servir dans un verre à cocktail

## Décoration

* un morceau de pêche
* une cerise

## Histoire

Cocktail crée en l'honneur de Nixon, il lui était préparé dans de nombreux bars Américain.
# Livre de cuisine/Boissons/Cocktails/Pansy Blossom
## Ingrédients

* 3 cl de liqueur d'anis
* 2 traits de sirop de grenadine
* 1 trait d'angostura
* eau

## Préparation

* Verser dans un verre à aperitif le sirop, l'angostura et l'anis
* Ajouter de l'eau

## Décoration

* Génèralement servit avec des glaçons
# Livre de cuisine/Boissons/Cocktails/Perroquet
## Ingrédients

* 2,5 cl de liqueur d'anis
* 1,5 cl de sirop de menthe
* eau

## Préparation

* Verser dans un verre à apéritif le sirop et l'anis
* Ajouter de l'eau

## Décoration

* Généralement servi avec des glaçons.
# Livre de cuisine/Boissons/Cocktails/Old fashioned

Le Old fashioned est un cocktail.

## Ingrédients

* 4 cl de Bourbon
* 0,5 cl d'Angostura
* 1 sucre
* 1 cl d'eau gazeuse

## Préparation

* Imbiber le sucre d'angostura, le dissoudre avec l'eau dans un verre à Old Fashioned
* Ajouter le bourbon et de la glace

## Décoration

* 1 rondelle d'orange
* 1 zeste de citron
* 2 cerises au marasquin

## Note

Une controverse existe sur l'utilisation d'eau ou non dans ce cocktail et plus généralement dans les cocktails

## Variantes

* Remplacement du sucre par du sirop de sucre
* Le Bourbon peu être remplacé par tout autre whisky

## Anecdote

"Old-fashioned" est une nouvelle d'Isaac Asimov de 1976
# Algorithmique impérative/Tri
## Problématique

Voici un problème fondamental d'informatique.
Supposons qu'il soit déclaré tab, un tableau.
Pour écrire le programme on prendra la déclaration suivante
Pour simplifier le problème, vous pourrez considérer que T = entier.
Note : sachez toutefois que les opérateurs <, <=, >, >= sont génériques et permettent de comparer toutes données tant qu'elles font partie du même ensemble ordonné (Par exemple : l'alphabet).
Question subsidiaire : considérez le cas particulier où les éléments sont distincts. L'algorithme fonctionne-t-il ?

## Solution

Il est tout d'abord important de savoir qu'il existe de nombreuses façon de procéder. Pour connaitre ces algorithmes de tri, élément important de la culture de tout algorithmicien, nous vous invitons à consulter l'article « Algorithme de tri » sur Wikipédia ainsi que les articles sur les différents algorithmes de tri existants.
Pour vous corriger : vérifiez que votre algorithme ne tombe pas sur une erreur courante en supposant que tous les entiers sont distincts. En effet, il est facile de faire un algorithme qui, voulant inverser deux éléments pour les remettre en ordre, boucle sans fin en voulant inverser sans fin : lorsqu'il tombe sur deux éléments égaux.

### Une solution "simple"

Le tri par sélection est un des plus simples algorithmes de tri. Il consiste à rechercher le plus petit (ou le plus grand) élément du tableau et de le placer à sa place définitive : au début (ou à la fin du tableau). Une fois un tel élément placé à sa place définitive, on recommence avec le reste du tableau. Lorsqu'on place un élément, on n'écrase pas ce qui était là (on perdrait un élément du tableau) mais on le déplace à la position qu'on vient de libérer (ce qui revient à faire une permutation).

#### Une implémentation testable en Pascal

Voici un exemple d'exécution :