Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
Animal sacrificeAnimal sacrifice is the ritual killing and offering of one or more animals, usually as part of a religious ritual or to appease or maintain favour with a deity. Animal sacrifices were common throughout Europe and the Ancient Near East until the spread of Christianity in Late Antiquity, and continue in some cultures or religions today. Human sacrifice, where it existed, was always much rarer. All or only part of a sacrificial animal may be offered; some cultures, like the ancient and modern Greeks, eat most of the edible parts of the sacrifice in a feast, and burnt the rest as an offering.
Sacrifice humainvignette|260px|Enfants de Llullaillaco, Sacrifice humain chez les Incas, Province de Salta (Argentine). Un sacrifice humain est un rite religieux qui a été pratiqué dans la plupart des civilisations, notamment au Néolithique et durant l'Antiquité, le plus souvent pour s'attirer les faveurs des dieux, par exemple pour conjurer la sécheresse, ou pour que les personnages importants tels que les souverains soient accompagnés dans l'au-delà par les sacrifiés.
Symbole (logique)alt=Ce diagramme montre les entités syntaxiques qui peuvent être construits à partir des langages formels. Les symboles et les chaînes de symboles peuvent être divisés en formules bien formées. Un langage formel peut être considéré comme identique à l'ensemble de ses formules bien formées. L'ensemble des formules bien formées peut être divisé en théorèmes et non-théorèmes.|vignette|Ce diagramme montre les entités syntaxiques qui peuvent être construits à partir des langages formels.
Théorie des modèlesLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
Formal specificationIn computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.
SécuritéPhysiquement, la sécurité est l'état d'une situation présentant le minimum de risque. Psychiquement, la sécurité est l'état d'esprit d'une personne qui se sent tranquille et confiante. Pour l'individu ou un groupe, c'est le sentiment (bien ou mal fondé) d'être à l'abri de tout danger et risque.
Hygiène des alimentsthumb|L'hygiène des ustensiles de cuisine est un premier pas (Chardin, La Fille de cuisine, vers 1736). L'hygiène des aliments comporte l'ensemble des pratiques visant à ce que les aliments mis sur le marché ne soient ni nocifs (préjudiciables à la santé) ni inacceptables pour la consommation en raison d'altérations par des micro-organismes sans caractère nocif. On dit par conséquent que l'hygiène a deux composantes, la sécurité et la salubrité. La sécurité des aliments est aussi appelée innocuité ou sécurité sanitaire des aliments.
Safety engineeringSafety engineering is an engineering discipline which assures that engineered systems provide acceptable levels of safety. It is strongly related to industrial engineering/systems engineering, and the subset system safety engineering. Safety engineering assures that a life-critical system behaves as needed, even when components fail. Analysis techniques can be split into two categories: qualitative and quantitative methods. Both approaches share the goal of finding causal dependencies between a hazard on system level and failures of individual components.
