Journal télévisévignette|Plateau d'enregistrement d'un journal télévisé de . Un journal télévisé (terme utilisé principalement en France et en Belgique et abrégé en JT), ou téléjournal (principalement au Canada et en Suisse, abrégé en TJ), dit également bulletin d'information, est une émission d'information diffusée à la télévision et généralement animée par un journaliste présentateur unique ou un couple de présentateurs récurrents, qui introduit des reportages ou des séquences sur des sujets locaux, nationaux ou internationaux et des chroniques comme la météo.
Programmation structuréeLa programmation structurée constitue un sous-ensemble de la programmation impérative. C'est un paradigme important de la programmation, apparu vers 1970. Elle dérive de travaux de Nicklaus Wirth pour son Algol W et reçut son coup d'envoi avec l'article fondateur de Dijkstra dans Communications of the ACM nommé GO TO statement considered harmful (L'instruction GOTO est considérée nocive). Elle est en effet célèbre pour avoir tenté d’éliminer l'instruction goto, ou, du moins, de limiter son usage à des cas inhabituels et graves .
Langage de programmation de haut niveauEn programmation informatique, un langage de programmation à haut niveau d'abstraction généralement appelé langage de haut niveau est un langage de programmation orienté autour du problème à résoudre, qui permet d'écrire des programmes en utilisant des mots usuels des langues naturelles (très souvent de l'anglais) et des symboles mathématiques familiers. Un langage de haut niveau fait abstraction des caractéristiques techniques du matériel utilisé pour exécuter le programme, tels que les registres et les drapeaux du processeur.
ConnaissanceLa connaissance est une notion aux sens multiples, à la fois utilisée dans le langage courant et objet d'étude poussée de la part des sciences cognitives et des philosophes contemporains. Les connaissances, leur nature et leur variété, la façon dont elles sont acquises, leur processus d'acquisition, leur valeur et leur rôle dans les sociétés humaines, sont étudiés par une diversité de disciplines, notamment la philosophie, l'épistémologie, la psychologie, les sciences cognitives, l'anthropologie et la sociologie.
Déduction naturelleEn logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner. C'est une étape importante de l'histoire de la théorie de la démonstration pour plusieurs raisons : contrairement aux systèmes à la Hilbert fondés sur des listes d'axiomes logiques plus ou moins ad hoc, la déduction naturelle repose sur un principe systématique de symétrie : pour chaque connecteur, on donne une paire de règles duales (introduction/élimination) ; elle a conduit Gentzen à inventer un autre formalisme très important en théorie de la démonstration, encore plus « symétrique » : le calcul des séquents ; elle a permis dans les années 1960 d'identifier la première instance de l'isomorphisme de Curry-Howard.
Structure de donnéesEn informatique, une structure de données est une manière d'organiser les données pour les traiter plus facilement. Une structure de données est une mise en œuvre concrète d'un type abstrait. Pour prendre un exemple de la vie quotidienne, on peut présenter des numéros de téléphone par département, par nom, par profession (comme les Pages jaunes), par numéro téléphonique (comme les annuaires destinés au télémarketing), par rue et/ou une combinaison quelconque de ces classements.
Deduction theoremIn mathematical logic, a deduction theorem is a metatheorem that justifies doing conditional proofs from a hypothesis in systems that do not explicitly axiomatize that hypothesis, i.e. to prove an implication A → B, it is sufficient to assume A as an hypothesis and then proceed to derive B. Deduction theorems exist for both propositional logic and first-order logic. The deduction theorem is an important tool in Hilbert-style deduction systems because it permits one to write more comprehensible and usually much shorter proofs than would be possible without it.
CNNCable News Network (CNN) est une chaîne de télévision d'information en continu américaine fondée en 1980 par Ted Turner. La société est rachetée en 1996 par WarnerMedia. La chaîne est connue pour sa couverture en direct dramatique (et parfois sensationnaliste) de breaking news, ou édition spéciale en français, qui peut durer des jours voire des semaines. Son audience est principalement progressiste. Elle appartient à une entité commerciale dénommée CNN News Group, qui se compose de plusieurs chaînes incluant CNN/U.
Raisonnement déductifEn logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière. La déduction est une opération par laquelle on établit au moyen de prémisses une conclusion qui en est la conséquence nécessaire, en vertu de règles d'inférence logiques. Ces règles sont notamment l'objet des Premiers Analytiques d'Aristote. On l'oppose généralement à l'induction, qui consiste au contraire à extraire d'un nombre fini de propositions données par l'observation, une conclusion ou un petit nombre de conclusions plus générales.
Schéma narratifLe schéma narratif est un concept de narratologie. C'est l'ensemble des blocs sémantiques qui composent un récit. Le schéma classique est constitué de 5 éléments qui séquencent le récit. Situation initiale ou incipit : il présente les éléments nécessaires à la mise en route du récit et à la compréhension de celui-ci. Dans un récit au passé, les verbes y sont souvent à l'imparfait. La situation des héros n'y évolue pas, elle reste stable. Élément déclencheur ou élément perturbateur : confronté à la situation initiale, il rompt l'équilibre de l'histoire.
Structure de données persistanteEn informatique, une structure de données persistante est une structure de données qui préserve ses versions antérieures lorsqu'elle est modifiée ; une telle structure est immuable, car ses opérations ne la modifient pas en place (de manière visible) mais renvoient au contraire de nouvelles structures. Une structure est partiellement persistante si seule sa version la plus récente peut être modifiée, les autres n'étant accessibles qu'en lecture. La structure est dite totalement persistante si chacune de ses versions peut être lue ou modifiée.
Knowledge-based systemsA knowledge-based system (KBS) is a computer program that reasons and uses a knowledge base to solve complex problems. The term is broad and refers to many different kinds of systems. The one common theme that unites all knowledge based systems is an attempt to represent knowledge explicitly and a reasoning system that allows it to derive new knowledge. Thus, a knowledge-based system has two distinguishing features: a knowledge base and an inference engine.
Calcul des propositionsLe calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts.
Validité (logique)En logique, la validité est la manière dont les prémisses et la conclusion concordent logiquement dans les arguments réussis. La forme d'une argumentation déductive est dite valide si et seulement si elle utilise des règles d’inférence par lesquelles il est impossible d’obtenir une conclusion fausse à partir de prémisses vraies. Un argument est valide si et seulement si la vérité de ses prémisses entraîne celle de sa conclusion. Il serait contradictoire d'affirmer les prémisses et de nier la conclusion.
Knowledge acquisitionKnowledge acquisition is the process used to define the rules and ontologies required for a knowledge-based system. The phrase was first used in conjunction with expert systems to describe the initial tasks associated with developing an expert system, namely finding and interviewing domain experts and capturing their knowledge via rules, objects, and frame-based ontologies. Expert systems were one of the first successful applications of artificial intelligence technology to real world business problems.
Streamingvignette|Une configuration de pour la télédiffusion. Le (du verbe anglais transitif , « transférer en mode continu »), flux, lecture en continu, lecture en transit, diffusion en continu ou diffusion en mode continu, est un procédé de diffusion d'un flux audio ou vidéo en « direct » ou en léger différé. Très utilisé sur Internet et sur les réseaux de téléphonie mobile, le permet la lecture d'un flux audio ou vidéo (cas de la vidéo à la demande) à mesure qu'il est diffusé.
Diffusion en direct sur InternetLa diffusion en direct sur Internet (en anglais : live streaming), parfois appelé live est la diffusion sur Internet de contenus vidéo au moment de leur production. C'est une nouvelle forme de communication qui s’inscrit dans la révolution Web 2.0 : c’est un outil simple d’utilisation, accessible au moyen d'une webcam et d'un micro et qui permet à l’internaute de devenir un éditeur. L’une des tendances les plus lourdes de ce phénomène est le lifecasting ou la diffusion quotidienne sans interruption de sa propre vie.
RécitUn récit (ou intrigue) est forme littéraire consistant en la mise dans un ordre arbitraire et spécifique des faits d’une histoire. Pour une même histoire, différents récits sont donc possibles. Un célèbre exemple est le mythe, dont la pièce dŒdipe roi constitue l’un des multiples récits possibles. Le récit s'oppose à l'histoire, qui est parfois définie comme la succession chronologique de faits se rapportant à un sujet donné.
Extraction de connaissancesL'extraction de connaissances est le processus de création de connaissances à partir d'informations structurées (bases de données relationnelles, XML) ou non structurées (textes, documents, images). Le résultat doit être dans un format lisible par les ordinateurs. Le groupe RDB2RDF W3C est en cours de standardisation d'un langage d'extraction de connaissances au format RDF à partir de bases de données. En français on parle d'« extraction de connaissances à partir des données » (ECD).
CBS NewsCBS News est le département de l'information du réseau de télévision et de radio américain CBS. La chaîne d'information CBSN a été créée le . (depuis 2015) (depuis 1982) CBS This Morning (1987-1999 ; depuis 2012) CBS This Morning Saturday (1987-1999 ; depuis 2012) (depuis 1979) Face the Nation (depuis 1954) CBS Evening News (depuis 1948) 60 Minutes (depuis 1963) (depuis 2012) West 57th (1985-1989) 60 Minutes II (1999-2005) America Tonight(1990-1991) Street Stories (1992-1993) Eye to Eye with Connie Chung (1
