Relevant bibliographies by topics / Stimuli de premier ordre

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters

Academic literature on the topic 'Stimuli de premier ordre'

Author: Grafiati
Published: 4 June 2021
Last updated: 13 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Stimuli de premier ordre.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Stimuli de premier ordre"

1

Bernd, Zilá. "Un patrimoine culturel de premier ordre." Voix et Images 30, no. 3 (2005): 9. http://dx.doi.org/10.7202/011852ar.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Nguyen, Pierre. "Hypertranscendance de fonctions de Mahler du premier ordre." Comptes Rendus Mathematique 349, no. 17-18 (2011): 943–46. http://dx.doi.org/10.1016/j.crma.2011.08.021.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Fruchard, Augustin. "Sur l'équation aux différences affine du premier ordre unidimensionnelle." Annales de l’institut Fourier 46, no. 1 (1996): 139–81. http://dx.doi.org/10.5802/aif.1510.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Amiot, Gilles. "Sur l'existence de modèles du second ordre non dénombrables avec domaine du premier ordre dénombrable." Comptes Rendus de l'Académie des Sciences - Series I - Mathematics 324, no. 9 (1997): 959–62. http://dx.doi.org/10.1016/s0764-4442(97)87867-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

LLIBRE, JAUME, and CLÀUDIA VALLS. "On theC1non-integrability of differential systems via periodic orbits." European Journal of Applied Mathematics 22, no. 4 (2011): 381–91. http://dx.doi.org/10.1017/s0956792511000143.

Full text
Abstract:
We go back to the results of Poincaré [Poincare, H (1891) Sur lintegration des equations differentielles du premier ordre et du premier degre I and II,Rendiconti del circolo matematico di Palermo5, 161–191] on the multipliers of a periodic orbit for proving theC1non-integrability of differential systems. We apply these results to Lorenz, Rossler and Michelson systems, among others.
APA, Harvard, Vancouver, ISO, and other styles
6

Rivenc, François. "Remarques à propos d'une récente Introduction à la logique." Dialogue 38, no. 2 (1999): 369–78. http://dx.doi.org/10.1017/s0012217300007265.

Full text
Abstract:
Ce bel ouvrage, clair, aéré et spacieux, se caractérise à la fois par sa volonté de simplicité d'accàs (en particulier pour la première partie, oú l'accent est mis sur le côté opératoire de la logique), et son ambition (deuxiéme partie, plus théorique), puisqu'on y trouve notamment une démonstration de la complétude d'un certain système déductif S1 pour la logique classique des prédicats, ainsi qu'une version synoptique du théorème de Gödel (1931), selon lequel toute thèorie du premier ordre (consistante) complète axiomatisable est décidable, d'où il s'ensuit que l'arithmétique, c'est-à-dire l
APA, Harvard, Vancouver, ISO, and other styles
7

Awatif, Sayah. "Equqtions D'Hamilton-Jacobi Du Premier Ordre Avec Termes Intégro-Différentiels." Communications in Partial Differential Equations 16, no. 6-7 (1991): 1057–74. http://dx.doi.org/10.1080/03605309108820789.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Awatif, Sayah. "Equqtions D'Hamilton-Jacobi Du Premier Ordre Avec Termes Intégro-Différentiels." Communications in Partial Differential Equations 16, no. 6-7 (1991): 1075–93. http://dx.doi.org/10.1080/03605309108820790.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Barthélemy, Louise. "Problème d'obstacle pour une équation quasi-linéaire du premier ordre." Annales de la faculté des sciences de Toulouse Mathématiques 9, no. 2 (1988): 137–59. http://dx.doi.org/10.5802/afst.653.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Courcelle, Bruno, and Frédéric Olive. "Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes." Annales de l’institut Fourier 49, no. 3 (1999): 883–903. http://dx.doi.org/10.5802/aif.1697.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Stimuli de premier ordre"

1

Georgy, Nicolas. "Equations de type implicite du premier ordre /." [S.l.] : [s.n.], 1999. http://library.epfl.ch/theses/?nr=2068.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

André, Simon. "Groupes hyperboliques et logique du premier ordre." Thesis, Rennes 1, 2019. http://www.theses.fr/2019REN1S030/document.

Full text
Abstract:
Deux groupes sont dits élémentairement équivalents s'ils satisfont les mêmes énoncés du premier ordre dans le langage des groupes. Aux environs de l'année 1945, Tarski posa la question suivante, connue désormais comme le problème de Tarski : les groupes libres non abéliens sont-ils élémentairement équivalents ? Une réponse positive à cette fameuse question fut apportée plus d'un demi-siècle plus tard par Sela, et en parallèle par Kharlampovich et Myasnikov, comme le point d'orgue de deux volumineuses séries de travaux. Dans la foulée, Sela généralisa aux groupes hyperboliques sans torsion, don
APA, Harvard, Vancouver, ISO, and other styles
3

Cohen, Cyril. "Formalisation des nombres algébriques : construction et théorie du premier ordre." Phd thesis, Ecole Polytechnique X, 2012. http://pastel.archives-ouvertes.fr/pastel-00780446.

Full text
Abstract:
Cette thèse présente une formalisation des nombres algébriques et de leur théorie. Elle apporte deux nouvelles contributions importantes à la formalisation de résultats mathématiques dans des assistants à la preuve, ici Coq : la construction intuitionniste des nombres algébriques réels et la preuve qu'ils constituent un corps réel clos, ainsi que la programmation et la certification de procédures d'élimination des quantificateurs pour les théories des corps algébriquement clos et des corps réels clos. Pour atteindre ces résultats, nous avons apporté des contributions aux outils et aux méthodol
APA, Harvard, Vancouver, ISO, and other styles
4

Croce, Gisella. "Sur quelques inclusions différentielles de premier et de deuxième ordre /." [S.l.] : [s.n.], 2004. http://library.epfl.ch/theses/?display=detail&nr=3010.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Pottier, Loïc. "Algorithmes de complétion et généralisation en logique du premier ordre." Nice, 1989. http://www.theses.fr/1989NICE4261.

Full text
Abstract:
Présentation d'un système d'inférence réalisant la complétion de théories équationnelles dans une structure générale. Il est montré que ce système peut être appliqué aux termes et aux polynômes et permet d'y définir une famille d'algorithmes de complétion du type de ceux de Kmith-Bendix et Buchberger. Ce système a été implémenté en CAML. La seconde partie traite la généralisation de termes et de formules logiques. Deux systèmes d'inférence sont proposés. Enfin, une méthode de généralisation de formules du calcul des prédicats du premier ordre, basée sur le formalisme polynomial en logique, est
APA, Harvard, Vancouver, ISO, and other styles
6

Wasiolek, Victor. "Analyse asymptotique de systèmes hyperboliques quasi-linéaires du premier ordre." Thesis, Clermont-Ferrand 2, 2015. http://www.theses.fr/2015CLF22577/document.

Full text
Abstract:
Les systèmes hyperboliques interviennent dans de nombreuses branches des sciences : théorie cinétique, mécanique des fluides non visqueux, magnéto hydrodynamique, dynamique des gaz non visqueux, trafic routier, flux d’une rivière ou d’un glacier, processus de sédimentation, processus d’échanges chimiques, etc. Et souvent, les systèmes qui régissent ces évènements font intervenir des petits paramètres, dont l’étude asymptotique permet d’envisager des simplifications mathématiques et/ou informatiques notoires. L’existence locale et l’existence globale de solutions, uniformément par rapport à ces
APA, Harvard, Vancouver, ISO, and other styles
7

Dross, Claire. "Procédures de décision génériques pour des théories axiomatiques du premier ordre." Phd thesis, Université Paris Sud - Paris XI, 2014. http://tel.archives-ouvertes.fr/tel-01002190.

Full text
Abstract:
Les solveurs SMT sont des outils dédiés à la vérification d'un ensemble de formules mathématiques, en général sans quantificateurs, utilisant un certain nombre de théories prédéfinies, telles que la congruence, l'arithmétique linéaire sur les entiers, les rationnels ou les réels, les tableaux de bits ou les tableaux. Ajouter une nouvelle théorie à un solveur SMT nécessite en général une connaissance assez profonde du fonctionnement interne du solveur, et, de ce fait, ne peut en général être exécutée que par ses développeurs. Pour de nombreuses théories, il est également possible de fournir une
APA, Harvard, Vancouver, ISO, and other styles
8

Chihani, Hichem Zakaria. "Certification de preuves en logiques classique et intuitionniste du premier ordre." Palaiseau, Ecole polytechnique, 2015. http://www.theses.fr/2015EPXX0047.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Milchior, Arthur. "Logique du premier ordre, relations d'entiers et automates dans une base fixe." Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCC098.

Full text
Abstract:
Ce manuscrit traite de la logique du premier ordre avec la relation d'ordre et les prédicats modulaires, notée FO[<,mod]. La classe des ensembles réguliers, c'est à dire des ensembles FO[<,mod]-définissables, est la classe des ensembles acceptés par un automate en base 1. C'est aussi la plus grande classe C d'ensembles telle que FO[C] ne définisse que des langages réguliers. Il est donc naturel de s'intéresser à cette logique et nous donnons dans ce manuscrit de nouvelles caractérisations des ensembles réguliers. Nous montrons que les ensembles réguliers ont une caractérisation en terme
APA, Harvard, Vancouver, ISO, and other styles
10

ESCALADA-IMAZ, GONZALO. "Optimisation d'algorithmes d'inference monotone en logique des propositions et du premier ordre." Toulouse 3, 1989. http://www.theses.fr/1989TOU30136.

Full text
Abstract:
Le formalisme de representation de la connaissance considere est decompose en plusieurs sous-formalismes allant du cas horn propositionnel au cas plus general de la forme clausale du premier ordre. Sont presentes: 1) des moteurs d'inference pour une classe des systemes de regles exprimes en logique propositionnelle; 2) une methode de demonstration de theoremes en logique propositionnelle; 3) un algorithme d'unification des termes de premier ordre; 4) un schema de controle de l'inference en logique des predicats du premier ordre
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Stimuli de premier ordre"

1

Bouchard, Yves. Calcul en logique du premier ordre. Presses de l'Université du Québec, 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sciences des données: De la logique du premier ordre à la Toile. Fayard, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Les chevaliers de Saint-Michel, 1665-1790: Le premier ordre de mérite civil. P. du Puy, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Église catholique. Archidiocèse de Québec. Administrateur (1855-1867 : Baillargeon). Lettre pastorale de Mgr. l'administrateur du diocèse de Québec, au clergé, pour la promulgation du cérémonial publié par ordre du premier concile provincial. s.n., 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Baldeschi, Giuseppe. Notes explicatives et complémentaires sur la première édition du Cérémonial selon le rit romain, par J. Baldeschi: Faite en Canada par ordre du Premier Concile provincial de Québec. s.n, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Beauregard, Jean Brumauld de. Mémoires de Mgr J. Brumauld de Beauregard, évêque d'Orléans, chanoine du premier ordre au chapitre royal de St-Denis : précédés de sa vie, écrite sur des notes et des documents authentiques. Poitiers, 1842. [D. Lambert de La Douasnerie], 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

1863-1933, Painlevé Paul, ed. Leçons sur les fonctions définies par les équations différentielles du premier ordre: Professées au Collége de France. Gauthier-Villars, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hadamard, Jacques, and Maurice Frechet. Leçons Sur Le Calcul Des Variations. Recueillies Par M. Fréchet. Tome Premier. La Variation Première Et Les Conditions Du Premier Ordre. Les Conditions de l'Extremum Libre (French Edition). Wentworth Press, 2019.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Migne, Jacques-Paul. Collection Intégrale Et Universelle des Orateurs Sacrés du Premier Ordre, Savoir: Bourdaloue, Bossuet, Fénelon, Massillon, Vol. 36: Contenant les ... Partie) (Classic Reprint) (French Edition). Forgotten Books, 2018.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Nathalie, Clot, ed. La proclamation du Premier Empire, ou, Recueil des pièces et actes relatifs à l'établissement du gouvernement impérial héréditaire, imprimé par ordre du Sénat conservateur. Nouveau monde, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Stimuli de premier ordre"

1

"III.1. Conditions de minimalité du premier ordre." In Optimisation et analyse convexe. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0700-0-008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

"II.1. Conditions de minimalité du premier ordre." In Optimisation et analyse convexe. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0700-0-006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

"II.1. Conditions de minimalité du premier ordre." In Optimisation et analyse convexe. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0700-0.c006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

"III.1. Conditions de minimalité du premier ordre." In Optimisation et analyse convexe. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0700-0.c008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Krikorian, Sandrine. "Iconographie et sources écrites : des matériaux de premier ordre." In Les rois à table. Presses universitaires de Provence, 2011. http://dx.doi.org/10.4000/books.pup.13222.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Abiteboul, Serge. "Sciences des données : de la logique du premier ordre à la Toile." In Sciences des données : de la logique du premier ordre à la Toile. Collège de France, 2012. http://dx.doi.org/10.4000/books.cdf.529.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Everist, Mark. "L'obligation de jouer le répertoire du premier ordre—Repertory and Management at the Odéon." In Music Drama at the Paris Odéon, 1824–1828. University of California Press, 2002. http://dx.doi.org/10.1525/california/9780520234451.003.0003.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Dumont, Jonathan. "La redéfinition du premier ordre au début de la Renaissance : l’exemple du cardinal d’Amboise." In Georges Ier d'Amboise. Presses universitaires de Rennes, 2013. http://dx.doi.org/10.4000/books.pur.112836.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Corvol, Pierre. "Présentation de Serge Abiteboul." In Sciences des données : de la logique du premier ordre à la Toile. Collège de France, 2012. http://dx.doi.org/10.4000/books.cdf.528.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bouchon, Chantal, and Nathalie Rizzoni. "21 - Regnard, De Wailly et Mlle Contat : un trio improbable pour une iconographie dramatique de premier ordre (1787)." In Jean-François Regnard (1655-1709). Armand Colin, 2012. http://dx.doi.org/10.3917/arco.mazou.2012.01.0327.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Stimuli de premier ordre' for particular source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography