Abstraction, Abstract data type, Abstract data type

Abstraction: L'abstraction dans son sens principal est un processus conceptuel où les règles et les concepts généraux sont dérivés de l'utilisation et de la classification d'exemples spécifiques, de signifiants littéraux, de premiers principes ou d'autres méthodes.
Type de données abstrait: En informatique, un type de données abstrait ( ADT ) est un modèle mathématique pour les types de données. Un type de données abstrait est défini par son comportement (sémantique) du point de vue d'un utilisateur , des données, notamment en termes de valeurs possibles, d'opérations possibles sur des données de ce type et du comportement de ces opérations. Ce modèle mathématique contraste avec les structures de données, qui sont des représentations concrètes de données, et sont le point de vue d'un réalisateur et non d'un utilisateur.
Type de données abstrait: En informatique, un type de données abstrait ( ADT ) est un modèle mathématique pour les types de données. Un type de données abstrait est défini par son comportement (sémantique) du point de vue d'un utilisateur , des données, notamment en termes de valeurs possibles, d'opérations possibles sur des données de ce type et du comportement de ces opérations. Ce modèle mathématique contraste avec les structures de données, qui sont des représentations concrètes de données, et sont le point de vue d'un réalisateur et non d'un utilisateur.
Type de données abstrait: En informatique, un type de données abstrait ( ADT ) est un modèle mathématique pour les types de données. Un type de données abstrait est défini par son comportement (sémantique) du point de vue d'un utilisateur , des données, notamment en termes de valeurs possibles, d'opérations possibles sur des données de ce type et du comportement de ces opérations. Ce modèle mathématique contraste avec les structures de données, qui sont des représentations concrètes de données, et sont le point de vue d'un réalisateur et non d'un utilisateur.
Type de données abstrait: En informatique, un type de données abstrait ( ADT ) est un modèle mathématique pour les types de données. Un type de données abstrait est défini par son comportement (sémantique) du point de vue d'un utilisateur , des données, notamment en termes de valeurs possibles, d'opérations possibles sur des données de ce type et du comportement de ces opérations. Ce modèle mathématique contraste avec les structures de données, qui sont des représentations concrètes de données, et sont le point de vue d'un réalisateur et non d'un utilisateur.
Type de données abstrait: En informatique, un type de données abstrait ( ADT ) est un modèle mathématique pour les types de données. Un type de données abstrait est défini par son comportement (sémantique) du point de vue d'un utilisateur , des données, notamment en termes de valeurs possibles, d'opérations possibles sur des données de ce type et du comportement de ces opérations. Ce modèle mathématique contraste avec les structures de données, qui sont des représentations concrètes de données, et sont le point de vue d'un réalisateur et non d'un utilisateur.
Art abstrait: L'art abstrait utilise un langage visuel de forme, de forme, de couleur et de ligne pour créer une composition qui peut exister avec un degré d'indépendance par rapport aux références visuelles du monde. L'art occidental avait été, de la Renaissance au milieu du XIXe siècle, sous-tendu par la logique de la perspective et une tentative de reproduire une illusion de réalité visible. À la fin du 19e siècle, de nombreux artistes ont ressenti le besoin de créer un nouveau type d'art qui engloberait les changements fondamentaux en cours dans la technologie, la science et la philosophie. Les sources à partir desquelles les artistes individuels tiraient leurs arguments théoriques étaient diverses et reflétaient les préoccupations sociales et intellectuelles de tous les domaines de la culture occidentale à cette époque.
Abstrait et concret: En métaphysique, la distinction entre abstrait et concret renvoie à une division entre deux types d'entités. De nombreux philosophes soutiennent que cette différence a une signification métaphysique fondamentale. Des exemples d'objets concrets incluent les plantes, les êtres humains et les planètes, tandis que des choses comme les nombres, les ensembles et les propositions sont des objets abstraits . Il n'y a pas de consensus général sur ce que sont les marques caractéristiques du concret et de l'abstrait. Les suggestions populaires incluent la définition de la distinction en termes de différence entre (1) l'existence à l'intérieur ou à l'extérieur de l'espace-temps, (2) avoir des causes et des effets ou non, (3) avoir une existence contingente ou nécessaire, (4) être particulière ou universelle et (5) appartenant au domaine physique ou mental ou à aucun des deux. Malgré cette diversité de points de vue, il existe un large consensus concernant la plupart des objets quant à savoir s'ils sont abstraits ou concrets. Ainsi, dans la plupart des interprétations, tous ces points de vue conviendraient que, par exemple, les plantes sont des objets concrets tandis que les nombres sont des objets abstraits.
Équation différentielle abstraite: En mathématiques, une équation différentielle abstraite est une équation différentielle dans laquelle la fonction inconnue et ses dérivés prennent des valeurs dans un espace abstrait générique. Des équations de ce type se présentent par exemple dans l'étude des équations aux dérivées partielles: si l'une des variables se voit attribuer une position privilégiée et que toutes les autres sont réunies, une équation «différentielle» ordinaire par rapport à la variable mise en évidence est obtenu. L'ajout de conditions aux limites peut souvent se traduire par la prise en compte de solutions dans certains espaces fonctionnels pratiques.
Géométrie différentielle abstraite: L'adjectif abstrait a souvent été appliqué à la géométrie différentielle auparavant, mais la géométrie différentielle abstraite (ADG) de cet article est une forme de géométrie différentielle sans la notion de calcul de la douceur, développée par Anastasios Mallios et Ioannis Raptis à partir de 1998.
Liste des sujets relatifs aux systèmes dynamiques et aux équations différentielles: Voici une liste de sujets relatifs aux systèmes dynamiques et aux équations différentielles , par page Wikipédia. Voir aussi la liste des sujets relatifs aux équations aux dérivées partielles, la liste des équations.
Économie abstraite: En économie théorique, une économie abstraite est un modèle qui généralise à la fois le modèle standard d'une économie d'échange en microéconomie et le modèle standard d'un jeu en théorie des jeux. Un équilibre dans une économie abstraite généralise à la fois un équilibre walrasien en microéconomie et un équilibre de Nash en théorie des jeux.
Classe élémentaire abstraite: En théorie des modèles, une discipline dans la logique mathématique, une classe élémentaire abstraite , ou AEC en abrégé, est une classe de modèles avec un ordre partiel similaire à la relation d'une sous-structure élémentaire d'une classe élémentaire dans la théorie des modèles du premier ordre. Ils ont été présentés par Saharon Shelah.
Intégration: En mathématiques, une incorporation est une instance d'une structure mathématique contenue dans une autre instance, telle qu'un groupe qui est un sous-groupe.
L'imagination sociologique: The Sociological Imagination est un livre de 1959 du sociologue américain C. Wright Mills publié par Oxford University Press. Il y développe l'idée d'imagination sociologique, moyen par lequel la relation entre soi et la société peut être comprise.
Abstrait et concret: En métaphysique, la distinction entre abstrait et concret renvoie à une division entre deux types d'entités. De nombreux philosophes soutiennent que cette différence a une signification métaphysique fondamentale. Des exemples d'objets concrets incluent les plantes, les êtres humains et les planètes, tandis que des choses comme les nombres, les ensembles et les propositions sont des objets abstraits . Il n'y a pas de consensus général sur ce que sont les marques caractéristiques du concret et de l'abstrait. Les suggestions populaires incluent la définition de la distinction en termes de différence entre (1) l'existence à l'intérieur ou à l'extérieur de l'espace-temps, (2) avoir des causes et des effets ou non, (3) avoir une existence contingente ou nécessaire, (4) être particulière ou universelle et (5) appartenant au domaine physique ou mental ou à aucun des deux. Malgré cette diversité de points de vue, il existe un large consensus concernant la plupart des objets quant à savoir s'ils sont abstraits ou concrets. Ainsi, dans la plupart des interprétations, tous ces points de vue conviendraient que, par exemple, les plantes sont des objets concrets tandis que les nombres sont des objets abstraits.
Existentialisme: L'existentialisme (ou) est une forme d'enquête philosophique qui explore le problème de l'existence humaine et se concentre sur l'expérience vécue de l'individu pensant, sentant, agissant. Du point de vue de l'existentialiste, le point de départ de l'individu a été appelé «l'angoisse existentielle», un sentiment de terreur, de désorientation, de confusion ou d'anxiété face à un monde apparemment dénué de sens ou absurde. Les penseurs existentialistes explorent fréquemment les questions liées au sens, au but et à la valeur de l'existence humaine.
Expressionisme abstrait: L'expressionnisme abstrait est un mouvement artistique post-Seconde Guerre mondiale dans la peinture américaine, développé à New York dans les années 1940. Ce fut le premier mouvement spécifiquement américain à atteindre une influence internationale et à placer New York au centre du monde de l'art occidental, un rôle autrefois occupé par Paris. Bien que le terme «expressionnisme abstrait» ait été appliqué pour la première fois à l'art américain en 1946 par le critique d'art Robert Coates, il avait été utilisé pour la première fois en Allemagne en 1919 dans le magazine Der Sturm , concernant l'expressionnisme allemand. Aux États-Unis, Alfred Barr a été le premier à utiliser ce terme en 1929 en relation avec des œuvres de Wassily Kandinsky.
Expressionisme abstrait: L'expressionnisme abstrait est un mouvement artistique post-Seconde Guerre mondiale dans la peinture américaine, développé à New York dans les années 1940. Ce fut le premier mouvement spécifiquement américain à atteindre une influence internationale et à placer New York au centre du monde de l'art occidental, un rôle autrefois occupé par Paris. Bien que le terme «expressionnisme abstrait» ait été appliqué pour la première fois à l'art américain en 1946 par le critique d'art Robert Coates, il avait été utilisé pour la première fois en Allemagne en 1919 dans le magazine Der Sturm , concernant l'expressionnisme allemand. Aux États-Unis, Alfred Barr a été le premier à utiliser ce terme en 1929 en relation avec des œuvres de Wassily Kandinsky.
Expressionisme abstrait: L'expressionnisme abstrait est un mouvement artistique post-Seconde Guerre mondiale dans la peinture américaine, développé à New York dans les années 1940. Ce fut le premier mouvement spécifiquement américain à atteindre une influence internationale et à placer New York au centre du monde de l'art occidental, un rôle autrefois occupé par Paris. Bien que le terme «expressionnisme abstrait» ait été appliqué pour la première fois à l'art américain en 1946 par le critique d'art Robert Coates, il avait été utilisé pour la première fois en Allemagne en 1919 dans le magazine Der Sturm , concernant l'expressionnisme allemand. Aux États-Unis, Alfred Barr a été le premier à utiliser ce terme en 1929 en relation avec des œuvres de Wassily Kandinsky.
Expressionisme abstrait: L'expressionnisme abstrait est un mouvement artistique post-Seconde Guerre mondiale dans la peinture américaine, développé à New York dans les années 1940. Ce fut le premier mouvement spécifiquement américain à atteindre une influence internationale et à placer New York au centre du monde de l'art occidental, un rôle autrefois occupé par Paris. Bien que le terme «expressionnisme abstrait» ait été appliqué pour la première fois à l'art américain en 1946 par le critique d'art Robert Coates, il avait été utilisé pour la première fois en Allemagne en 1919 dans le magazine Der Sturm , concernant l'expressionnisme allemand. Aux États-Unis, Alfred Barr a été le premier à utiliser ce terme en 1929 en relation avec des œuvres de Wassily Kandinsky.
Modèle d'usine abstrait: Le modèle d'usine abstrait fournit un moyen d'encapsuler un groupe d'usines individuelles qui ont un thème commun sans spécifier leurs classes concrètes. En utilisation normale, le logiciel client crée une implémentation concrète de la fabrique abstraite puis utilise l'interface générique de la fabrique pour créer les objets concrets qui font partie du thème. Le client ne sait pas quels objets concrets il obtient de chacune de ces usines internes, car il n'utilise que les interfaces génériques de ses produits. Ce modèle sépare les détails de l'implémentation d'un ensemble d'objets de leur utilisation générale et repose sur la composition d'objets, car la création d'objet est implémentée dans les méthodes exposées dans l'interface d'usine.
Modèle d'usine abstrait: Le modèle d'usine abstrait fournit un moyen d'encapsuler un groupe d'usines individuelles qui ont un thème commun sans spécifier leurs classes concrètes. En utilisation normale, le logiciel client crée une implémentation concrète de la fabrique abstraite puis utilise l'interface générique de la fabrique pour créer les objets concrets qui font partie du thème. Le client ne sait pas quels objets concrets il obtient de chacune de ces usines internes, car il n'utilise que les interfaces génériques de ses produits. Ce modèle sépare les détails de l'implémentation d'un ensemble d'objets de leur utilisation générale et repose sur la composition d'objets, car la création d'objet est implémentée dans les méthodes exposées dans l'interface d'usine.
Modèle d'usine abstrait: Le modèle d'usine abstrait fournit un moyen d'encapsuler un groupe d'usines individuelles qui ont un thème commun sans spécifier leurs classes concrètes. En utilisation normale, le logiciel client crée une implémentation concrète de la fabrique abstraite puis utilise l'interface générique de la fabrique pour créer les objets concrets qui font partie du thème. Le client ne sait pas quels objets concrets il obtient de chacune de ces usines internes, car il n'utilise que les interfaces génériques de ses produits. Ce modèle sépare les détails de l'implémentation d'un ensemble d'objets de leur utilisation générale et repose sur la composition d'objets, car la création d'objet est implémentée dans les méthodes exposées dans l'interface d'usine.
Famille abstraite d'accepteurs: Une famille abstraite d'accepteurs (AFA) est un groupement d'accepteurs généralisés. De manière informelle, un accepteur est un appareil avec un contrôle d'état fini, un nombre fini de symboles d'entrée et une mémoire interne avec une fonction de lecture et d'écriture. Chaque accepteur a un état de départ et un ensemble d'états d'acceptation. L'appareil lit une séquence de symboles, passant d'un état à l'autre pour chaque symbole d'entrée. Si l'appareil se termine dans un état d'acceptation, on dit que l'appareil accepte la séquence de symboles. Une famille d'accepteurs est un ensemble d'accepteurs avec le même type de magasin interne. L'étude de l'AFA fait partie de la théorie AFL.
Famille abstraite de langues: En informatique, en particulier dans le domaine de la théorie des langues formelles, une famille abstraite de langues est une notion mathématique abstraite généralisant des caractéristiques communes aux langues régulières, aux langues sans contexte et aux langues récursivement dénombrables, et aux autres familles de langues formelles étudiées. dans la littérature scientifique.
Film non narratif: Le film non narratif est une esthétique du film cinématographique qui ne raconte ni ne raconte «un événement, réel ou imaginaire». Il s'agit généralement d'une forme de film d'art ou de film expérimental, non destiné au divertissement de masse.
Film non narratif: Le film non narratif est une esthétique du film cinématographique qui ne raconte ni ne raconte «un événement, réel ou imaginaire». Il s'agit généralement d'une forme de film d'art ou de film expérimental, non destiné au divertissement de masse.
Abstrait: Le résumé peut faire référence à: Résumé (album) , album 1962 de Joe Harriott Résumé (loi), résumé d'un document juridique Résumé (résumé), dans l'édition académique Art abstrait, œuvres artistiques qui ne tentent pas de représenter la réalité ou des sujets concrets Résumé: The Art of Design , série documentaire Netflix 2017 Musique abstraite, musique non représentative Objet abstrait en philosophie Structure abstraite en mathématiques Type abstrait en informatique La propriété d'une abstraction Q-Tip (musicien), également connu sous le nom de "The Abstract"
Jeu de stratégie abstrait: Un jeu de stratégie abstrait est un jeu de stratégie dans lequel le thème n'est pas important pour l'expérience de jeu. De nombreux jeux de société classiques du monde, y compris les échecs, le go, les dames et les dames, le xiangqi, le shogi, le reversi, les neuf morris pour hommes et la plupart des variantes de mancala, entrent dans cette catégorie, tout comme les itérations plus modernes telles que Dameo, Hive et YINSH. .
Type de données graphiques abstraites: Un type de données graphique abstrait ( AGDT ) est une extension d'un type de données abstrait pour l'infographie. Les AGDT offrent les avantages des ADT avec des fonctionnalités pour créer des objets graphiques de manière structurée. Formellement, un AGDT peut être défini comme une "classe d'objets graphiques dont le comportement logique est défini par un ensemble de caractéristiques graphiques et un ensemble d'opérations graphiques".
Théorie des groupes: En mathématiques et en algèbre abstraite, la théorie des groupes étudie les structures algébriques appelées groupes. Le concept de groupe est au cœur de l'algèbre abstraite: d'autres structures algébriques bien connues, telles que les anneaux, les champs et les espaces vectoriels, peuvent toutes être vues comme des groupes dotés d'opérations et d'axiomes supplémentaires. Les groupes se reproduisent à travers les mathématiques et les méthodes de la théorie des groupes ont influencé de nombreuses parties de l'algèbre. Les groupes algébriques linéaires et les groupes de Lie sont deux branches de la théorie des groupes qui ont connu des avancées et sont devenues des domaines à part entière.
Analyse harmonique: L'analyse harmonique est une branche des mathématiques qui s'intéresse à la représentation de fonctions ou de signaux comme superposition d'ondes de base, à l'étude et à la généralisation des notions de séries de Fourier et de transformées de Fourier. Au cours des deux derniers siècles, il est devenu un vaste sujet avec des applications dans des domaines aussi divers que la théorie des nombres, la théorie de la représentation, le traitement du signal, la mécanique quantique, l'analyse des marées et les neurosciences.
Hip hop alternatif: Le hip hop alternatif est un sous-genre de la musique hip hop qui englobe le large éventail de styles qui ne sont généralement pas identifiés comme traditionnels. AllMusic le définit comme suit: "Le rap alternatif fait référence aux groupes de hip-hop qui refusent de se conformer à l'un des stéréotypes traditionnels du rap, tels que le gangsta, la basse, le hardcore, la pop et le rap de fête. Au lieu de cela, ils brouillent les genres en s'inspirant également du funk. et pop / rock, ainsi que du jazz, de la soul, du reggae et même du folk. "
Hip hop alternatif: Le hip hop alternatif est un sous-genre de la musique hip hop qui englobe le large éventail de styles qui ne sont généralement pas identifiés comme traditionnels. AllMusic le définit comme suit: "Le rap alternatif fait référence aux groupes de hip-hop qui refusent de se conformer à l'un des stéréotypes traditionnels du rap, tels que le gangsta, la basse, le hardcore, la pop et le rap de fête. Au lieu de cela, ils brouillent les genres en s'inspirant également du funk. et pop / rock, ainsi que du jazz, de la soul, du reggae et même du folk. "
Hip hop alternatif: Le hip hop alternatif est un sous-genre de la musique hip hop qui englobe le large éventail de styles qui ne sont généralement pas identifiés comme traditionnels. AllMusic le définit comme suit: "Le rap alternatif fait référence aux groupes de hip-hop qui refusent de se conformer à l'un des stéréotypes traditionnels du rap, tels que le gangsta, la basse, le hardcore, la pop et le rap de fête. Au lieu de cela, ils brouillent les genres en s'inspirant également du funk. et pop / rock, ainsi que du jazz, de la soul, du reggae et même du folk. "
Théorie de l'homotopie: En mathématiques, la théorie de l'homotopie est une étude systématique de situations dans lesquelles les cartes sont accompagnées d'homotopies entre elles. Il est à l'origine un sujet de topologie algébrique, mais de nos jours, il est étudié en tant que discipline indépendante. Outre la topologie algébrique, la théorie a également été utilisée dans d'autres domaines des mathématiques tels que la géométrie algébrique (par exemple, la théorie de l'homotopie A 1 ) et la théorie des catégories (en particulier l'étude des catégories supérieures).
Illusionnisme abstrait: Illusionnisme abstrait , un nom inventé par l'historienne et critique d'art Barbara Rose en 1967. Louis K. Meisel a inventé le terme indépendamment pour définir un mouvement artistique qui a pris de l'importance aux États-Unis au milieu des années 1970.
Art abstrait: L'art abstrait utilise un langage visuel de forme, de forme, de couleur et de ligne pour créer une composition qui peut exister avec un degré d'indépendance par rapport aux références visuelles du monde. L'art occidental avait été, de la Renaissance au milieu du XIXe siècle, sous-tendu par la logique de la perspective et une tentative de reproduire une illusion de réalité visible. À la fin du 19e siècle, de nombreux artistes ont ressenti le besoin de créer un nouveau type d'art qui engloberait les changements fondamentaux en cours dans la technologie, la science et la philosophie. Les sources à partir desquelles les artistes individuels tiraient leurs arguments théoriques étaient diverses et reflétaient les préoccupations sociales et intellectuelles de tous les domaines de la culture occidentale à cette époque.
Imagistes abstraits: Abstract Imagists est un terme dérivé d'une exposition de 1961 au Guggenheim Museum de New York intitulée American Abstract Expressionnists and Imagists. Cette exposition était la première d'une série de programmes d'enquête sur les tendances de la peinture et de la sculpture américaines et européennes.
Imagistes abstraits: Abstract Imagists est un terme dérivé d'une exposition de 1961 au Guggenheim Museum de New York intitulée American Abstract Expressionnists and Imagists. Cette exposition était la première d'une série de programmes d'enquête sur les tendances de la peinture et de la sculpture américaines et européennes.
Impressionnisme abstrait: L'impressionnisme abstrait est un mouvement artistique né à New York, dans les années 1940. Il s'agit de peindre un sujet tel que des scènes de la vie réelle, des objets ou des personnes (portraits) dans un style impressionniste, mais en mettant l'accent sur diverses mesures d'abstraction. Les peintures sont souvent peintes en plein air, un style artistique impliquant la peinture à l'extérieur avec le paysage directement devant l'artiste. Le mouvement travaille délicatement entre les lignes de l'abstraction pure et la tolérance d'une impression de réalité dans la peinture.
Impressionnisme abstrait: L'impressionnisme abstrait est un mouvement artistique né à New York, dans les années 1940. Il s'agit de peindre un sujet tel que des scènes de la vie réelle, des objets ou des personnes (portraits) dans un style impressionniste, mais en mettant l'accent sur diverses mesures d'abstraction. Les peintures sont souvent peintes en plein air, un style artistique impliquant la peinture à l'extérieur avec le paysage directement devant l'artiste. Le mouvement travaille délicatement entre les lignes de l'abstraction pure et la tolérance d'une impression de réalité dans la peinture.
Notation d'index abstraite: La notation d'index abstraite est une notation mathématique pour les tenseurs et les spineurs qui utilise des indices pour indiquer leurs types, plutôt que leurs composants sur une base particulière. Les indices sont de simples espaces réservés, sans rapport avec aucune base et, en particulier, ne sont pas numériques. Il ne faut donc pas le confondre avec le calcul de Ricci. La notation a été introduite par Roger Penrose comme un moyen d'utiliser les aspects formels de la convention de sommation d'Einstein pour compenser la difficulté de décrire les contractions et la différenciation covariante dans la notation tensorielle abstraite moderne, tout en préservant la covariance explicite des expressions impliquées.
Groupe d'index: Dans la théorie des opérateurs, une branche des mathématiques, chaque algèbre de Banach peut être associée à un groupe appelé son groupe d'index abstrait .
Notation d'index abstraite: La notation d'index abstraite est une notation mathématique pour les tenseurs et les spineurs qui utilise des indices pour indiquer leurs types, plutôt que leurs composants sur une base particulière. Les indices sont de simples espaces réservés, sans rapport avec aucune base et, en particulier, ne sont pas numériques. Il ne faut donc pas le confondre avec le calcul de Ricci. La notation a été introduite par Roger Penrose comme un moyen d'utiliser les aspects formels de la convention de sommation d'Einstein pour compenser la difficulté de décrire les contractions et la différenciation covariante dans la notation tensorielle abstraite moderne, tout en préservant la covariance explicite des expressions impliquées.
Notation d'index abstraite: La notation d'index abstraite est une notation mathématique pour les tenseurs et les spineurs qui utilise des indices pour indiquer leurs types, plutôt que leurs composants sur une base particulière. Les indices sont de simples espaces réservés, sans rapport avec aucune base et, en particulier, ne sont pas numériques. Il ne faut donc pas le confondre avec le calcul de Ricci. La notation a été introduite par Roger Penrose comme un moyen d'utiliser les aspects formels de la convention de sommation d'Einstein pour compenser la difficulté de décrire les contractions et la différenciation covariante dans la notation tensorielle abstraite moderne, tout en préservant la covariance explicite des expressions impliquées.
Agent intelligent: En intelligence artificielle, un agent intelligent ( IA ) fait référence à une entité autonome qui agit, orientant son activité vers la réalisation d'objectifs, sur un environnement utilisant l'observation à travers des capteurs et des actionneurs conséquents. Les agents intelligents peuvent également apprendre ou utiliser des connaissances pour atteindre leurs objectifs. Ils peuvent être très simples ou très complexes. Une machine réflexe, comme un thermostat, est considérée comme un exemple d'agent intelligent.
Couche d'abstraction: En informatique, une couche d'abstraction ou niveau d'abstraction est un moyen de cacher les détails de travail d'un sous-système, permettant la séparation des préoccupations pour faciliter l'interopérabilité et l'indépendance de la plate-forme. Des exemples de modèles logiciels qui utilisent des couches d'abstraction incluent le modèle OSI pour les protocoles réseau, OpenGL et d'autres bibliothèques graphiques.
Interprétation abstraite: En informatique, l'interprétation abstraite est une théorie d'approximation sonore de la sémantique des programmes informatiques, basée sur des fonctions monotones sur des ensembles ordonnés, en particulier des réseaux. Il peut être considéré comme une exécution partielle d'un programme informatique qui obtient des informations sur sa sémantique sans effectuer tous les calculs.
Interprétation abstraite: En informatique, l'interprétation abstraite est une théorie d'approximation sonore de la sémantique des programmes informatiques, basée sur des fonctions monotones sur des ensembles ordonnés, en particulier des réseaux. Il peut être considéré comme une exécution partielle d'un programme informatique qui obtient des informations sur sa sémantique sans effectuer tous les calculs.
Travail abstrait et travail concret: Travail abstrait et travail concret font référence à une distinction faite par Karl Marx dans sa critique de l'économie politique. Il fait référence à la différence entre le travail humain en général en tant que temps de travail économiquement précieux et le travail humain en tant qu'activité particulière qui a un effet utile spécifique.
Travail abstrait et travail concret: Travail abstrait et travail concret font référence à une distinction faite par Karl Marx dans sa critique de l'économie politique. Il fait référence à la différence entre le travail humain en général en tant que temps de travail économiquement précieux et le travail humain en tant qu'activité particulière qui a un effet utile spécifique.
Travail abstrait et travail concret: Travail abstrait et travail concret font référence à une distinction faite par Karl Marx dans sa critique de l'économie politique. Il fait référence à la différence entre le travail humain en général en tant que temps de travail économiquement précieux et le travail humain en tant qu'activité particulière qui a un effet utile spécifique.
Logique abstraite: En logique mathématique, une logique abstraite est un système formel composé d'une classe de phrases et d'une relation de satisfaction avec des propriétés spécifiques liées à l'occurrence, l'expansion, l'isomorphisme, le renommage et la quantification.
Logique abstraite (homonymie): La logique abstraite est un système formel constitué d'une classe de phrases et d'une relation de satisfaction avec des propriétés spécifiques.
Espace m abstrait: En mathématiques, en particulier dans la théorie de l'ordre et l'analyse fonctionnelle, un espace m abstrait ou un espace AM est un réseau de Banach dont la norme satisfait pour tout x et y dans le cône positif de X. On dit qu'un espace AM X est un espace AM avec unité s'il existe en plus un u ≥ 0 dans X tel que l'intervalle [- u , u ]: = { z ∈ X : - u ≤ z et z ≤ u } est égal à la boule unitaire de X ; un tel élément u est unique et une unité d'ordre de X.
Machine abstraite: Une machine abstraite , également appelée ordinateur abstrait , est un ordinateur théorique utilisé pour définir un modèle de calcul. L'abstraction des processus informatiques est utilisée à la fois dans les disciplines de l'informatique et du génie informatique et suppose généralement un paradigme de temps discret.
Méthode B: La méthode B est une méthode de développement logiciel basée sur B , une méthode formelle supportée par un outil basée sur une notation abstraite de la machine, utilisée dans le développement de logiciels informatiques. Il a été développé à l'origine dans les années 1980 par Jean-Raymond Abrial en France et au Royaume-Uni. B est lié à la notation Z et prend en charge le développement de code de langage de programmation à partir des spécifications. B a été utilisé dans les principales applications de systèmes critiques pour la sécurité en Europe. Il dispose d'un support d'outils robuste et disponible dans le commerce pour la spécification, la conception, la preuve et la génération de code.
Gestion abstraite: La gestion des résumés est le processus d'acceptation et de préparation des résumés pour présentation lors d'une conférence universitaire. Le processus consiste en des soumissions invitées ou proposées du résumé ou du résumé des travaux. Le résumé énonce généralement l'hypothèse, les outils utilisés dans la recherche ou l'investigation, les données collectées et un résumé ou une interprétation des données.
Collecteur: En mathématiques, une variété est un espace topologique qui ressemble localement à l'espace euclidien près de chaque point. Plus précisément, une variété n- dimensionnelle, ou n -manifold en abrégé, est un espace topologique avec la propriété que chaque point a un voisinage homéomorphe à l'espace euclidien de dimension n .
Mathématiques pures: Les mathématiques pures sont l'étude des concepts mathématiques indépendamment de toute application en dehors des mathématiques. Ces concepts peuvent provenir de préoccupations du monde réel, et les résultats obtenus peuvent s'avérer plus tard utiles pour des applications pratiques, mais les mathématiciens purs ne sont pas principalement motivés par de telles applications. Au lieu de cela, l'attrait est attribué au défi intellectuel et à la beauté esthétique de l'élaboration des conséquences logiques des principes de base.
Objet mathématique: Un objet mathématique est un concept abstrait issu des mathématiques. Dans le langage habituel des mathématiques, un objet est tout ce qui a été formellement défini et avec lequel on peut faire un raisonnement déductif et des preuves mathématiques. En règle générale, un objet mathématique peut être une valeur qui peut être affectée à une variable et peut donc être impliquée dans des formules. Les objets mathématiques couramment rencontrés comprennent les nombres, les ensembles, les fonctions, les expressions, les formes géométriques, les transformations d'autres objets mathématiques et les espaces. Les objets mathématiques peuvent être très complexes; par exemple, le théorème, les preuves et même les théories sont considérés comme des objets mathématiques dans la théorie des preuves.
Problème mathématique: Un problème mathématique est un problème qui se prête à être représenté, analysé et éventuellement résolu avec les méthodes mathématiques. Cela peut être un problème du monde réel, comme le calcul des orbites des planètes dans le système solaire, ou un problème de nature plus abstraite, comme les problèmes de Hilbert. Cela peut aussi être un problème faisant référence à la nature des mathématiques elles-mêmes, comme le paradoxe de Russell.
Mathématiques pures: Les mathématiques pures sont l'étude des concepts mathématiques indépendamment de toute application en dehors des mathématiques. Ces concepts peuvent provenir de préoccupations du monde réel, et les résultats obtenus peuvent s'avérer plus tard utiles pour des applications pratiques, mais les mathématiciens purs ne sont pas principalement motivés par de telles applications. Au lieu de cela, l'attrait est attribué au défi intellectuel et à la beauté esthétique de l'élaboration des conséquences logiques des principes de base.
Méthode (programmation informatique): Une méthode de programmation orientée objet (POO) est une procédure associée à un message et à un objet. Un objet est constitué de données et de comportement ; ceux-ci comprennent une interface , qui spécifie comment l'objet peut être utilisé par l'un de ses divers consommateurs.
Modèle conceptuel: Un modèle conceptuel est une représentation d'un système, faite de la composition de concepts qui sont utilisés pour aider les gens à connaître, comprendre ou simuler un sujet que le modèle représente. C'est aussi un ensemble de concepts. En revanche, les modèles physiques sont des objets physiques; par exemple, un modèle de jouet qui peut être assemblé et qui peut fonctionner comme l'objet qu'il représente.
Théorie des modèles abstraits: En logique mathématique, la théorie abstraite des modèles est une généralisation de la théorie des modèles qui étudie les propriétés générales des extensions de la logique du premier ordre et de leurs modèles.
Musique absolue: La musique absolue est une musique qui ne «concerne» explicitement rien; contrairement à la musique programmée, elle n'est pas représentative. L'idée de la musique absolue s'est développée à la fin du XVIIIe siècle dans les écrits d'auteurs du romantisme allemand précoce, tels que Wilhelm Heinrich Wackenroder, Ludwig Tieck et ETA Hoffmann, mais le terme n'a été inventé qu'en 1846 où il a été utilisé pour la première fois par Richard Wagner. dans un programme de la Neuvième Symphonie de Beethoven.
Abstrait absurde: En mathématiques, le non - sens abstrait , le non - sens abstrait général , le non - sens abstrait généralisé et le non - sens général sont des termes utilisés par les mathématiciens pour décrire des méthodes abstraites liées à la théorie des catégories et à l'algèbre homologique. Plus généralement, le «non-sens abstrait» peut faire référence à une preuve qui repose sur des méthodes de la théorie des catégories, voire à l'étude de la théorie des catégories elle-même.
Nom: Un nom est un mot qui fonctionne comme le nom d'un objet spécifique ou d'un ensemble d'objets, tels que des créatures vivantes, des lieux, des actions, des qualités, des états d'existence ou des idées. Cependant, le nom n'est pas une catégorie sémantique, de sorte qu'il ne peut pas être caractérisé en fonction de sa signification. Ainsi, les actions et les états d'existence peuvent aussi être exprimés par des verbes, des qualités par des adjectifs et des lieux par des adverbes. Linguistiquement, un nom est un membre d'une grande partie ouverte du discours dont les membres peuvent apparaître comme le mot principal dans le sujet d'une clause, l'objet d'un verbe ou l'objet d'une préposition.
Numéro de béton: Un nombre concret ou numerus numeratus est un nombre associé aux choses comptées, contrairement à un nombre abstrait ou numerus numerans qui est un nombre en tant qu'entité unique. Par exemple, «cinq pommes» et «la moitié d'un gâteau» sont des nombres concrets, tandis que «cinq» et «une moitié» sont des nombres abstraits. En mathématiques, le terme «nombre» signifie généralement un nombre abstrait. Un nombre dénommé est un type de nombre concret auquel est attachée une unité de mesure. Par exemple, "5 pouces" est un nombre dénommé car il a l'unité pouces après lui.
Numéro de béton: Un nombre concret ou numerus numeratus est un nombre associé aux choses comptées, contrairement à un nombre abstrait ou numerus numerans qui est un nombre en tant qu'entité unique. Par exemple, «cinq pommes» et «la moitié d'un gâteau» sont des nombres concrets, tandis que «cinq» et «une moitié» sont des nombres abstraits. En mathématiques, le terme «nombre» signifie généralement un nombre abstrait. Un nombre dénommé est un type de nombre concret auquel est attachée une unité de mesure. Par exemple, "5 pouces" est un nombre dénommé car il a l'unité pouces après lui.
Abstrait et concret: En métaphysique, la distinction entre abstrait et concret renvoie à une division entre deux types d'entités. De nombreux philosophes soutiennent que cette différence a une signification métaphysique fondamentale. Des exemples d'objets concrets incluent les plantes, les êtres humains et les planètes, tandis que des choses comme les nombres, les ensembles et les propositions sont des objets abstraits . Il n'y a pas de consensus général sur ce que sont les marques caractéristiques du concret et de l'abstrait. Les suggestions populaires incluent la définition de la distinction en termes de différence entre (1) l'existence à l'intérieur ou à l'extérieur de l'espace-temps, (2) avoir des causes et des effets ou non, (3) avoir une existence contingente ou nécessaire, (4) être particulière ou universelle et (5) appartenant au domaine physique ou mental ou à aucun des deux. Malgré cette diversité de points de vue, il existe un large consensus concernant la plupart des objets quant à savoir s'ils sont abstraits ou concrets. Ainsi, dans la plupart des interprétations, tous ces points de vue conviendraient que, par exemple, les plantes sont des objets concrets tandis que les nombres sont des objets abstraits.
Théorie abstraite des objets: La théorie des objets abstraits ( AOT ) est une branche de la métaphysique concernant les objets abstraits. Conçue à l'origine par le métaphysicien Edward Zalta en 1981, la théorie était une expansion du platonisme mathématique.
Abstrait et concret: En métaphysique, la distinction entre abstrait et concret renvoie à une division entre deux types d'entités. De nombreux philosophes soutiennent que cette différence a une signification métaphysique fondamentale. Des exemples d'objets concrets incluent les plantes, les êtres humains et les planètes, tandis que des choses comme les nombres, les ensembles et les propositions sont des objets abstraits . Il n'y a pas de consensus général sur ce que sont les marques caractéristiques du concret et de l'abstrait. Les suggestions populaires incluent la définition de la distinction en termes de différence entre (1) l'existence à l'intérieur ou à l'extérieur de l'espace-temps, (2) avoir des causes et des effets ou non, (3) avoir une existence contingente ou nécessaire, (4) être particulière ou universelle et (5) appartenant au domaine physique ou mental ou à aucun des deux. Malgré cette diversité de points de vue, il existe un large consensus concernant la plupart des objets quant à savoir s'ils sont abstraits ou concrets. Ainsi, dans la plupart des interprétations, tous ces points de vue conviendraient que, par exemple, les plantes sont des objets concrets tandis que les nombres sont des objets abstraits.
Résumé de la propriété: Un résumé de propriété est une collection de documents juridiques qui relatent les transactions associées à une parcelle de terrain particulière. Sont généralement incluses les références aux actes, aux hypothèques, aux testaments, aux dossiers d'homologation, aux litiges judiciaires et aux ventes fiscales — essentiellement, tout document juridique qui affecte la propriété.
Résumé du jugement: « Résumé du jugement » est un résumé écrit d'un jugement qui indique combien d'argent le défendeur perdant doit à la personne qui a gagné le procès, le taux d'intérêt à payer sur le montant du jugement, les frais de justice et toute ordonnance spécifique que le le défendeur perdant doit obéir, quel résumé est reconnu et tamponné afin qu'il puisse être enregistré et officialisé par le gouvernement. Le but d'un résumé de jugement est de créer un dossier public et de créer, si nécessaire, un privilège ou une réclamation sur tout bien immobilier appartenant au défendeur ou acquis ultérieurement par le défendeur situé dans le comté dans lequel l'abrégé du jugement est enregistré. Si le perdant ne paie pas volontairement le jugement, le gagnant peut forcer la vente par le shérif de tout bien à recouvrer. Il y a plusieurs problèmes: 1) trouver le comté où le perdant possède un bien immobilier; 2) la probabilité qu'il y ait des prêts garantis, des privilèges fiscaux et / ou d'autres jugements qui précèdent le privilège judiciaire; 3) la possibilité que le perdant / débiteur fasse faillite et évite de payer la dette.
Résumé de la propriété: Un résumé de propriété est une collection de documents juridiques qui relatent les transactions associées à une parcelle de terrain particulière. Sont généralement incluses les références aux actes, aux hypothèques, aux testaments, aux dossiers d'homologation, aux litiges judiciaires et aux ventes fiscales — essentiellement, tout document juridique qui affecte la propriété.
Résumé de la propriété: Un résumé de propriété est une collection de documents juridiques qui relatent les transactions associées à une parcelle de terrain particulière. Sont généralement incluses les références aux actes, aux hypothèques, aux testaments, aux dossiers d'homologation, aux litiges judiciaires et aux ventes fiscales — essentiellement, tout document juridique qui affecte la propriété.
Cassinia (journal): Cassinia est le journal du Delaware Valley Ornithological Club (DVOC). Le journal est composé d'articles relatifs à l'ornithologie de l'est de la Pennsylvanie, du New Jersey et du Delaware. Soixante-treize numéros ont été publiés à ce jour. Cinq volumes initiaux (1890–1900) ont été publiés sous le nom de Résumé des actes du Delaware Valley Ornithological Club , puis en 1901, le journal a été renommé en l'honneur de l'ornithologue John Cassin.
Résumé (loi): En droit, un résumé est une brève déclaration qui contient les points les plus importants d'un long document juridique ou de plusieurs documents juridiques connexes.
Résumé de la propriété: Un résumé de propriété est une collection de documents juridiques qui relatent les transactions associées à une parcelle de terrain particulière. Sont généralement incluses les références aux actes, aux hypothèques, aux testaments, aux dossiers d'homologation, aux litiges judiciaires et aux ventes fiscales — essentiellement, tout document juridique qui affecte la propriété.
Art abstrait: L'art abstrait utilise un langage visuel de forme, de forme, de couleur et de ligne pour créer une composition qui peut exister avec un degré d'indépendance par rapport aux références visuelles du monde. L'art occidental avait été, de la Renaissance au milieu du XIXe siècle, sous-tendu par la logique de la perspective et une tentative de reproduire une illusion de réalité visible. À la fin du 19e siècle, de nombreux artistes ont ressenti le besoin de créer un nouveau type d'art qui engloberait les changements fondamentaux en cours dans la technologie, la science et la philosophie. Les sources à partir desquelles les artistes individuels tiraient leurs arguments théoriques étaient diverses et reflétaient les préoccupations sociales et intellectuelles de tous les domaines de la culture occidentale à cette époque.
Art abstrait: L'art abstrait utilise un langage visuel de forme, de forme, de couleur et de ligne pour créer une composition qui peut exister avec un degré d'indépendance par rapport aux références visuelles du monde. L'art occidental avait été, de la Renaissance au milieu du XIXe siècle, sous-tendu par la logique de la perspective et une tentative de reproduire une illusion de réalité visible. À la fin du 19e siècle, de nombreux artistes ont ressenti le besoin de créer un nouveau type d'art qui engloberait les changements fondamentaux en cours dans la technologie, la science et la philosophie. Les sources à partir desquelles les artistes individuels tiraient leurs arguments théoriques étaient diverses et reflétaient les préoccupations sociales et intellectuelles de tous les domaines de la culture occidentale à cette époque.
Peinture abstraite (Pasmore): La peinture abstraite est une peinture à l'huile abstraite de 1998 par Victor Pasmore.
Art abstrait: L'art abstrait utilise un langage visuel de forme, de forme, de couleur et de ligne pour créer une composition qui peut exister avec un degré d'indépendance par rapport aux références visuelles du monde. L'art occidental avait été, de la Renaissance au milieu du XIXe siècle, sous-tendu par la logique de la perspective et une tentative de reproduire une illusion de réalité visible. À la fin du 19e siècle, de nombreux artistes ont ressenti le besoin de créer un nouveau type d'art qui engloberait les changements fondamentaux en cours dans la technologie, la science et la philosophie. Les sources à partir desquelles les artistes individuels tiraient leurs arguments théoriques étaient diverses et reflétaient les préoccupations sociales et intellectuelles de tous les domaines de la culture occidentale à cette époque.
Détails du résumé: Les particuliers abstraits sont des entités métaphysiques qui sont à la fois des objets abstraits et des particuliers.
Détails du résumé: Les particuliers abstraits sont des entités métaphysiques qui sont à la fois des objets abstraits et des particuliers.
Détails du résumé: Les particuliers abstraits sont des entités métaphysiques qui sont à la fois des objets abstraits et des particuliers.
Photographie abstraite: La photographie abstraite , parfois appelée photographie non objective, expérimentale ou conceptuelle, est un moyen de représenter une image visuelle qui n'a pas d'association immédiate avec le monde de l'objet et qui a été créée grâce à l'utilisation d'équipements, de procédés ou de matériaux photographiques. Une photographie abstraite peut isoler un fragment d'une scène naturelle afin de supprimer son contexte inhérent du spectateur, elle peut être intentionnellement mise en scène pour créer une apparence apparemment irréelle à partir d'objets réels, ou elle peut impliquer l'utilisation de couleur, de lumière, d'ombre, texture, forme et / ou forme pour transmettre une sensation, une sensation ou une impression. L'image peut être produite en utilisant un équipement photographique traditionnel tel qu'un appareil photo, une chambre noire ou un ordinateur, ou elle peut être créée sans utiliser d'appareil photo en manipulant directement un film, du papier ou d'autres supports photographiques, y compris des présentations numériques.
Photographie abstraite: La photographie abstraite , parfois appelée photographie non objective, expérimentale ou conceptuelle, est un moyen de représenter une image visuelle qui n'a pas d'association immédiate avec le monde de l'objet et qui a été créée grâce à l'utilisation d'équipements, de procédés ou de matériaux photographiques. Une photographie abstraite peut isoler un fragment d'une scène naturelle afin de supprimer son contexte inhérent du spectateur, elle peut être intentionnellement mise en scène pour créer une apparence apparemment irréelle à partir d'objets réels, ou elle peut impliquer l'utilisation de couleur, de lumière, d'ombre, texture, forme et / ou forme pour transmettre une sensation, une sensation ou une impression. L'image peut être produite en utilisant un équipement photographique traditionnel tel qu'un appareil photo, une chambre noire ou un ordinateur, ou elle peut être créée sans utiliser d'appareil photo en manipulant directement un film, du papier ou d'autres supports photographiques, y compris des présentations numériques.
Faraz Anwar: Faraz Anwar est un musicien pakistanais, compositeur, auteur-compositeur-interprète, chef d'orchestre et guitariste qui a fondé le Mizraab - un groupe de musique heavy metal et de genre hard rock basé au Pakistan. Son acte musical à la guitare électrique a été décrit par les critiques musicaux du pays comme "le maître pakistanais du rock progressif. Anwar est actuellement signé chez Lion Music - une maison de production et de disques finlandaise.
Faraz Anwar: Faraz Anwar est un musicien pakistanais, compositeur, auteur-compositeur-interprète, chef d'orchestre et guitariste qui a fondé le Mizraab - un groupe de musique heavy metal et de genre hard rock basé au Pakistan. Son acte musical à la guitare électrique a été décrit par les critiques musicaux du pays comme "le maître pakistanais du rock progressif. Anwar est actuellement signé chez Lion Music - une maison de production et de disques finlandaise.
Polytope abstrait: En mathématiques, un polytope abstrait est un ensemble ou poset algébrique partiellement ordonné qui capture les propriétés combinatoires d'un polytope traditionnel sans spécifier de propriétés purement géométriques telles que les angles ou les longueurs d'arête. Un polytope est une généralisation de polygones et de polyèdres en un nombre quelconque de dimensions.
Polytope abstrait: En mathématiques, un polytope abstrait est un ensemble ou poset algébrique partiellement ordonné qui capture les propriétés combinatoires d'un polytope traditionnel sans spécifier de propriétés purement géométriques telles que les angles ou les longueurs d'arête. Un polytope est une généralisation de polygones et de polyèdres en un nombre quelconque de dimensions.
Polytope abstrait: En mathématiques, un polytope abstrait est un ensemble ou poset algébrique partiellement ordonné qui capture les propriétés combinatoires d'un polytope traditionnel sans spécifier de propriétés purement géométriques telles que les angles ou les longueurs d'arête. Un polytope est une généralisation de polygones et de polyèdres en un nombre quelconque de dimensions.
Polytope abstrait: En mathématiques, un polytope abstrait est un ensemble ou poset algébrique partiellement ordonné qui capture les propriétés combinatoires d'un polytope traditionnel sans spécifier de propriétés purement géométriques telles que les angles ou les longueurs d'arête. Un polytope est une généralisation de polygones et de polyèdres en un nombre quelconque de dimensions.
Théorie analytique abstraite des nombres: La théorie analytique abstraite des nombres est une branche des mathématiques qui reprend les idées et les techniques de la théorie analytique des nombres classique et les applique à une variété de domaines mathématiques différents. Le théorème classique des nombres premiers sert d'exemple prototypique, et l'accent est mis sur les résultats de distribution asymptotique abstraite. La théorie a été inventée et développée par des mathématiciens tels que John Knopfmacher et Arne Beurling au XXe siècle.
Abstraction (homonymie): L'abstraction est un processus ou un résultat de généralisation, de suppression de propriétés ou d'éloignement des idées des objets.
Principes abstraits portés à leurs extrêmes logiques: Abstract Principles Taken to their Logical Extremes est le seul album de Dark Heresy, un groupe de death metal de Londres, en Angleterre, sorti en 1995 sur le label grec Unisound.
Abstraction: L'abstraction dans son sens principal est un processus conceptuel où les règles et les concepts généraux sont dérivés de l'utilisation et de la classification d'exemples spécifiques, de signifiants littéraux, de premiers principes ou d'autres méthodes.
Hip hop alternatif: Le hip hop alternatif est un sous-genre de la musique hip hop qui englobe le large éventail de styles qui ne sont généralement pas identifiés comme traditionnels. AllMusic le définit comme suit: "Le rap alternatif fait référence aux groupes de hip-hop qui refusent de se conformer à l'un des stéréotypes traditionnels du rap, tels que le gangsta, la basse, le hardcore, la pop et le rap de fête. Au lieu de cela, ils brouillent les genres en s'inspirant également du funk. et pop / rock, ainsi que du jazz, de la soul, du reggae et même du folk. "
Abstraction: L'abstraction dans son sens principal est un processus conceptuel où les règles et les concepts généraux sont dérivés de l'utilisation et de la classification d'exemples spécifiques, de signifiants littéraux, de premiers principes ou d'autres méthodes.
Interprétation abstraite: En informatique, l'interprétation abstraite est une théorie d'approximation sonore de la sémantique des programmes informatiques, basée sur des fonctions monotones sur des ensembles ordonnés, en particulier des réseaux. Il peut être considéré comme une exécution partielle d'un programme informatique qui obtient des informations sur sa sémantique sans effectuer tous les calculs.
Système de réécriture abstraite: En logique mathématique et en informatique théorique, un système de réécriture abstrait est un formalisme qui capture la notion et les propriétés par excellence des systèmes de réécriture. Dans sa forme la plus simple, un ARS est simplement un ensemble avec une relation binaire, traditionnellement désignée par ; cette définition peut être affinée davantage si nous indexons (étiquetons) des sous-ensembles de la relation binaire. Malgré sa simplicité, un ARS est suffisant pour décrire les propriétés importantes des systèmes de réécriture comme les formes normales, la terminaison et diverses notions de confluence.
Polytope abstrait: En mathématiques, un polytope abstrait est un ensemble ou poset algébrique partiellement ordonné qui capture les propriétés combinatoires d'un polytope traditionnel sans spécifier de propriétés purement géométriques telles que les angles ou les longueurs d'arête. Un polytope est une généralisation de polygones et de polyèdres en un nombre quelconque de dimensions.
Polytope abstrait: En mathématiques, un polytope abstrait est un ensemble ou poset algébrique partiellement ordonné qui capture les propriétés combinatoires d'un polytope traditionnel sans spécifier de propriétés purement géométriques telles que les angles ou les longueurs d'arête. Un polytope est une généralisation de polygones et de polyèdres en un nombre quelconque de dimensions.
Question de référence: En droit canadien, une question de référence ou un cas de référence est une soumission par le gouvernement fédéral ou provincial aux tribunaux demandant un avis consultatif sur une question juridique majeure. En règle générale, la question concerne la constitutionnalité de la législation.
Système de réécriture abstraite: En logique mathématique et en informatique théorique, un système de réécriture abstrait est un formalisme qui capture la notion et les propriétés par excellence des systèmes de réécriture. Dans sa forme la plus simple, un ARS est simplement un ensemble avec une relation binaire, traditionnellement désignée par ; cette définition peut être affinée davantage si nous indexons (étiquetons) des sous-ensembles de la relation binaire. Malgré sa simplicité, un ARS est suffisant pour décrire les propriétés importantes des systèmes de réécriture comme les formes normales, la terminaison et diverses notions de confluence.
Système de réécriture abstraite: En logique mathématique et en informatique théorique, un système de réécriture abstrait est un formalisme qui capture la notion et les propriétés par excellence des systèmes de réécriture. Dans sa forme la plus simple, un ARS est simplement un ensemble avec une relation binaire, traditionnellement désignée par ; cette définition peut être affinée davantage si nous indexons (étiquetons) des sous-ensembles de la relation binaire. Malgré sa simplicité, un ARS est suffisant pour décrire les propriétés importantes des systèmes de réécriture comme les formes normales, la terminaison et diverses notions de confluence.
Machine de réécriture abstraite: La machine de réécriture abstraite (ARM) est une machine virtuelle qui implémente la réécriture de termes pour les systèmes de réécriture de termes minimaux.
Système de réécriture abstraite: En logique mathématique et en informatique théorique, un système de réécriture abstrait est un formalisme qui capture la notion et les propriétés par excellence des systèmes de réécriture. Dans sa forme la plus simple, un ARS est simplement un ensemble avec une relation binaire, traditionnellement désignée par ; cette définition peut être affinée davantage si nous indexons (étiquetons) des sous-ensembles de la relation binaire. Malgré sa simplicité, un ARS est suffisant pour décrire les propriétés importantes des systèmes de réécriture comme les formes normales, la terminaison et diverses notions de confluence.
Sculpture moderne: On considère généralement que la sculpture moderne a commencé avec l'œuvre d'Auguste Rodin, qui est considéré comme le précurseur de la sculpture moderne. Si Rodin n'a pas voulu se rebeller contre le passé, il a créé une nouvelle façon de construire ses œuvres. Il "dissout les contours durs de l'académisme néo-grec contemporain et crée ainsi une synthèse vitale d'opacité et de transparence, de volume et de vide". Avec quelques autres artistes de la fin du 19e siècle qui ont expérimenté de nouvelles visions artistiques en sculpture comme Edgar Degas et Paul Gauguin, Rodin a inventé une approche radicalement nouvelle dans la création de la sculpture. La sculpture moderne, avec tout l'art moderne, "est née dans le cadre de la tentative de la société occidentale de se réconcilier avec la société urbaine, industrielle et laïque qui a émergé au cours du dix-neuvième siècle".
Graphe sémantique abstrait: En informatique, un graphe sémantique abstrait ( ASG ) ou graphe de termes est une forme de syntaxe abstraite dans laquelle une expression d'un langage formel ou de programmation est représentée par un graphe dont les sommets sont les sous-termes de l'expression. Un ASG est à un niveau d'abstraction plus élevé qu'un arbre de syntaxe abstraite, qui est utilisé pour exprimer la structure syntaxique d'une expression ou d'un programme.
Données de détection: La théorie des données sensorielles est un point de vue de la philosophie de la perception, populairement défendue au début du 20e siècle par des philosophes tels que Bertrand Russell, CD Broad, HH Price, AJ Ayer et GE Moore. Les données sensorielles sont considérées comme des objets dépendant de l'esprit dont l'existence et les propriétés nous sont directement connues dans la perception. Ces objets sont des expériences non analysées à l'intérieur de l'esprit, qui apparaissent aux opérations mentales ultérieures plus avancées exactement telles qu'elles sont.
Théorie des ensembles: La théorie des ensembles est une branche de la logique mathématique qui étudie les ensembles, qui sont de manière informelle des collections d'objets. Bien que tout type d'objet puisse être rassemblé dans un ensemble, la théorie des ensembles est appliquée le plus souvent aux objets qui sont pertinents pour les mathématiques. Le langage de la théorie des ensembles peut être utilisé pour définir presque tous les objets mathématiques.
Complexe simplicial abstrait: En combinatoire, un complexe simplicial abstrait (ASC) est une famille d'ensembles qui est fermée en prenant des sous-ensembles, c'est-à-dire que chaque sous-ensemble d'un ensemble dans la famille est également dans la famille. Il s'agit d'une description purement combinatoire de la notion géométrique de complexe simplicial. Par exemple, dans un complexe simplicial à 2 dimensions, les ensembles de la famille sont les triangles, leurs arêtes et leurs sommets.
Espace abstrait: L'espace abstrait , en géographie, est un espace hypothétique caractérisé par des propriétés égales et cohérentes; un espace géographique totalement homogène. Tous les mouvements et activités seraient également faciles ou difficiles dans toutes les directions et à tous les endroits dans cet espace. Ce concept est utile pour modéliser ou analyser l'activité spatiale et le comportement en limitant ou en éliminant des variables étrangères, telles que le terrain. Par exemple, si les chercheurs veulent étudier la relation entre la culture et le commerce, ils ne veulent pas que leur modèle soit submergé ou influencé par des facteurs tels que les barrières montagneuses et les rivières, car cela nuirait à l'objectif de modélisation de la manière dont la culture affecte à elle seule le commerce.
Machine à états abstraite: En informatique, une machine à états abstraite ( ASM ) est une machine à états fonctionnant sur des états qui sont des structures de données arbitraires.
Machine à états abstraite: En informatique, une machine à états abstraite ( ASM ) est une machine à états fonctionnant sur des états qui sont des structures de données arbitraires.