HOL
Cette page d’homonymie répertorie les différents sujets et articles portant le même nom.
| Sigles de 2 caractères |
| ► Sigles de 3 caractères |
| Sigles de 4 caractères |
| Sigles de 5 caractères |
| Sigles de 6 caractères |
| Sigles de 7 caractères |
| Sigles de 8 caractères |
HOL est un code qui peut signifier :
- Hollande (code inusité, maintenant), selon la liste des codes pays du CIO.
HOL est un sigle qui peut signifier :
- Higher-order logic (en français, logique d'ordre supérieur), en informatique théorique, des logiques formelles permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats ;
- HOL (en) (où HOL signifie Higher Order Logic), une famille de systèmes interactifs de démonstration de théorèmes utilisant des logiques d'ordre supérieur ;
- Havas Online, un ancien FAI français.
Toponyme
[modifier | modifier le code]Hol est un nom de lieu notamment porté par :
- Hol, une commune du comté de Buskerud en Norvège ;
- Hol, une municipalité du comté de Nordland en Norvège.
Patronyme
[modifier | modifier le code]HOL est un nom de famille notamment porté par :
- Jacoba Hol (1886-1964) à Meerssen est une géographe néerlandaise ,
- Richard Hol (1825-1904), chef d'orchestre, compositeur, pédagogue et pianiste néerlandais.