Introduction à la Calculabilit́eWolper, Pierre ![]() Book published by Dunod - 3e (2006) Dans le monde de l'informatique en perpétuelle évolution, une connaissance élémentaire de la théorie de la calculabilité reste plus que jamais indispensable à l'informaticien, qui se pose sans cesse la ... [more ▼] Dans le monde de l'informatique en perpétuelle évolution, une connaissance élémentaire de la théorie de la calculabilité reste plus que jamais indispensable à l'informaticien, qui se pose sans cesse la question des limites de l'informatique. La théorie de la calculabilité apporte des réponses. Elle démontre notamment que certains problèmes informatiques ne peuvent pas être résolus par des programmes. Cet ouvrage présente les éléments essentiels de cette science qui consiste à étudier ce qu'il est possible ou non de résoudre grâce à l'outil informatique, quelle que soit la machine utilisée. Il aborde en premier lieu les langages formels, les automates et les grammaires puis introduit la notion de calculabilité par le biais des machines de Turing et des fonctions récursives. En dernier lieu, sont étudiées les notions de complexité, et plus particulièrement les problèmes NP-complets. Ce manuel comporte de nombreux exercices d'application, ainsi que leurs corrigés. Cette troisième édition s'enrichit d'une section sur l'interprétation de la non-calculabilité et approfondit la notion de NP-complétude. Si ce livre constitue avant tout un cours destiné aux étudiants en informatique, il s'adresse également aux professionnels désireux de mieux comprendre cette science. [less ▲] Detailed reference viewed: 289 (37 ULg) Introduction à la CalculabilitéWolper, Pierre ![]() Book published by Dunod - 2e (2001) Detailed reference viewed: 63 (16 ULg) Introduction à la chromatographie liquideDebrus, Benjamin ; Hubert, Philippe ![]() Learning material (2011) Detailed reference viewed: 114 (43 ULg) Introduction à la Convention européenne des droits de l'homme - principes générauxWautelet, Patrick ![]() Learning material (2012) Ce support de cours a pour objectif de donner aux étudiants un aperçu d'ensemble du système de protection des droits fondamentaux mis en place par la Convention européenne de sauvegarde des droits de l ... [more ▼] Ce support de cours a pour objectif de donner aux étudiants un aperçu d'ensemble du système de protection des droits fondamentaux mis en place par la Convention européenne de sauvegarde des droits de l'homme et des libértés fondamentales. Pour ce faire, l'aperçu se concentre d'abord sur les traits généraux de la Convention européenne des droits de l'homme, en insistant sur ce qui fait sa singularité par rapport à d'autres instruments de protection des droits fondamentaux. Dans un second temps, un aperçu est donné du mécanisme particulier (et subsidiaire) de protection des droits fondamentaux propres à la Convention, le recours devant la Cour européenne des droits de l'homme. Ce support doit être consulté en lien avec le recueil de jurisprudence fourni aux étudiants. [less ▲] Detailed reference viewed: 94 (8 ULg) Introduction à la Cour pénale internationaleDeprez, Christophe ![]() Learning material (2012) Ces documents pédagogiques (notes de cours et présentation PowerPoint) ont servi de support à un séminaire d'introduction à la Cour pénale internationale dispensé dans le cadre du cours de droit ... [more ▼] Ces documents pédagogiques (notes de cours et présentation PowerPoint) ont servi de support à un séminaire d'introduction à la Cour pénale internationale dispensé dans le cadre du cours de droit international humanitaire. [less ▲] Detailed reference viewed: 30 (7 ULg) Introduction à la Cytologie et à l'Histologie généraleDefaweux, Valérie ![]() Learning material (2009) Detailed reference viewed: 65 (8 ULg) Introduction à la démarche spirituelle des moines errants de l'Egypte copte (250-451). Une étude fondée sur la "Mission de Paphnuce" et les principales sources littéraires du monachisme errant de l'époque concernéeMalevez, Marc ![]() Doctoral thesis (2011) Having given the definition of the words "monks" and "wanderer", the thesis try to demonstrate that the spiritual step as it is presented by Evagrius Ponticus corresponding to the reality that was in the ... [more ▼] Having given the definition of the words "monks" and "wanderer", the thesis try to demonstrate that the spiritual step as it is presented by Evagrius Ponticus corresponding to the reality that was in the spirit of the wanderer monks in Coptic Egypt and not a philosophical construction, based mainly on his experience outside Egypt. We will reconstitute and put in order the essential anachoristic monastic step, since the renouncement of marriage and fatherhood until the final getting of the Charism of the perfect and a saint on earth, as it appears from the main literary sources of that era. The thesis is also based on three Coptic manuscripts, three Arabic Manuscripts and five Ethiopian Manuscripts of the "Mission of Paphnutius", a travel story written in the fourth century. The thesis demonstrates also the characteristic idiorrhytmic and without doubt essentially reasonable of the step of the monks. [less ▲] Detailed reference viewed: 32 (9 ULg) "Introduction à la didactique cognitive" (cycle de conf.)Defays, Jean-Marc ![]() Scientific conference (2009, November) Detailed reference viewed: 37 (5 ULg) Introduction à la gastro-esthétiqueDelville, Michel ![]() Scientific conference (2009, February 25) Detailed reference viewed: 19 (5 ULg) Introduction à la géologie du site de la Heid des Gattes à Sougné-Remouchamps (province de Liège, Belgique)Mottequin, Bernard ; Marion, Jean-Marc ![]() Diverse speeche and writing (2012) Introduction to the geology of the Heid des Gattes at Sougné-Remouchamps (Liège province, Belgium) where the Famenne, Esneux, Souverain-Pré, Comblain-la-Tour, Montfort and Evieux formations (Upper ... [more ▼] Introduction to the geology of the Heid des Gattes at Sougné-Remouchamps (Liège province, Belgium) where the Famenne, Esneux, Souverain-Pré, Comblain-la-Tour, Montfort and Evieux formations (Upper Devonian, Famennian) are exposed. [less ▲] Detailed reference viewed: 122 (14 ULg) Introduction à la géométrie - Géométrie linéaire & géométrie différentielleDupont, Pascal ![]() Book published by De Boeck Université (2002) Detailed reference viewed: 173 (2 ULg) Introduction à la journée d'étude "sécurité dans les déplacements en milieu urbainHanocq, Philippe ![]() in Yans, Raymond (Ed.) Journée d'étude sur la sécurité dans les déplacements en milieu urbain (1988, June 14) Detailed reference viewed: 5 (0 ULg) Introduction à la journée d'études "Produits alimentaires de qualité différenciée : politique européenne et comparaison des expériences tchèque et wallonne"Burny, Philippe ![]() Speech (2009) Detailed reference viewed: 7 (0 ULg) Introduction à la métabolomiqueFrederich, Michel ![]() Conference (2011, May 18) Detailed reference viewed: 20 (4 ULg) Introduction à la micropaléontologie végétale et à la micropaléontologie (microfossiles marins)Javaux, Emmanuelle ![]() Learning material (2005) powerpoint sur MyULg Detailed reference viewed: 21 (0 ULg) Introduction à la notion de compétence dans l'enseignement supérieur ; Modalités de leur développement et de leur évaluationPoumay, Marianne ![]() Scientific conference (2011, September 28) Cette conférence aborde la notion de compétences selon la définition qu'en donne Jacques Tardif (2006). Elle brosse les raisons d'utiliser ce concept pour définir les programmes de l'enseignement ... [more ▼] Cette conférence aborde la notion de compétences selon la définition qu'en donne Jacques Tardif (2006). Elle brosse les raisons d'utiliser ce concept pour définir les programmes de l'enseignement supérieur en Europe mais reprend aussi les raisons de s'en méfier. Elle tente de transférer au contexte congolais l'intérêt de cette notion et la façon dont son implémentation pourrait se concrétiser, tant pour le développement que pour l'évaluation des compétences. [less ▲] Detailed reference viewed: 26 (8 ULg) Introduction à la notion de globalisationPirotte, Gautier ![]() Learning material (2010) Detailed reference viewed: 160 (5 ULg) Une introduction à la nouvelle vague. Parcours croisés de François Truffaut et Jean-Luc GodardTomasovic, Dick ![]() Conference given outside the academic context (2012) Detailed reference viewed: 13 (0 ULg) Introduction à la paléopathologie. A la source des cancers chez les dinosauresPierard, Sébastien ; Franchimont, Claudine ; Pierard, Gérald ![]() in Revue Médicale de Liège (2001), 56 Detailed reference viewed: 9 (0 ULg) Introduction à la philosophie analytique. La logique comme méthode.Leclercq, Bruno ![]() Book published by De Boeck (2008) Proche des grands textes et centrée sur les questions philosophiques elles-mêmes, cette introduction à la méthode analytique s’efforce de montrer précisément comment les solutions esquissées par Frege ... [more ▼] Proche des grands textes et centrée sur les questions philosophiques elles-mêmes, cette introduction à la méthode analytique s’efforce de montrer précisément comment les solutions esquissées par Frege, Russell et Moore à quelques grands problèmes de la philosophie ont « fait école » et suscité les développements que représentent les travaux de Wittgenstein, Carnap, Quine, Ryle ou Austin. La philosophie analytique est ainsi visitée à travers ses interrogations majeures, perspective qui permet à la fois de montrer toute la cohérence de cette pensée et de la présenter d’une manière nouvelle qui devrait intéresser tous ceux que la radicalité de certaines thèses analytiques avait convaincu de s’en détourner. Sans véritable présupposé en histoire de la philosophie ou en logique, l’ouvrage est accessible à un public très large. Il s’accompagne en outre d’un glossaire qui explicite les principales notions et en retrace l’évolution dans le développement de la pensée analytique. [less ▲] Detailed reference viewed: 119 (21 ULg) |
||