Global ETD Search

111	Deduction Imbriquée et Fondements Logiques du Calcul Guenot, Nicolas 10 April 2013 (has links) (PDF) Cette thèse s'intéresse à l'usage des formalismes d'inférence profonde comme fondement des interprétations calculatoires des systèmes de preuve, en suivant les deux approches principales: celle des preuves comme programmes et celle de la recherche de preuve comme calcul. La première contribution est le développement d'une famille de systèmes de preuve pour la logique intuitionniste dans le calcul des structures et dans les séquents imbriqués. pour lesquels des procédures de normalisation internes sont fournies. L'une de ces procédures est alors interprétée en termes calculatoires, comme un raffinement de la correspondance de Curry-Howard permettant d'introduire une forme de partage ainsi que des opérateurs de communication dans un lambda-calcul avec substitution explicite. Du coté de la recherche de preuve, la notion de preuve focalisée en logique linéaire est transférée du calcul des séquents au calcul des structures, où elle induit une forme incrémentale de focalisation, dotée d'une preuve de complétude très simple. Enfin, une autre interprétation de la recherche de preuve est donnée par l'encodage de la réduction d'un lambda-calcul avec substitution explicite dans les règles d'inférence d'un sous-système de la logique intuitionniste dans le calcul des structures. Logique Curry-Howard Lambda-calcul Inférence profonde Calcul des structures Logique intuitionniste Normalisation Substitution explicite Logique linéaire Focalisation
112	Modélisation de la dépendance contextuelle des concepts flous : la structure SFC Eksioglu, Kamil Murat. January 2000 (has links) Thèses (Ph.D.)--Université de Sherbrooke (Canada), 2000. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
113	Contrôle de l'équilibre et de la trajectoire d'une bicyclette télécommandée par la logique floue Berriah, Said. January 2000 (has links) Thèses (M.Sc.A.)--Université de Sherbrooke (Canada), 2000. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
114	Co-design matériel/logiciel à l'aide de FPGA : étude de faisabilité d'un gestionnaire dynamique Yang, Jie. January 2003 (has links) Thèses (M.Sc.A.)--Université de Sherbrooke (Canada), 2003. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
115	Religiöse Rede von Gott / Dalferth, Ingolf Ulrich, January 1981 (has links) Les parties I et II de ce vol. constituent le texte remanié de : Diss. : Evangelische Theologie : Tübingen : 1977. - Bibliogr. p. 713-737. Index. -
116	Generische Kennzeichnungen : zur Logik und Ontologie generischer Bedeutung / Heyer, Gerhard, January 1987 (has links) Texte remanié de: Diss.--Philosophie--Bochum, 1983. / Bibliogr. p. 261-287. Index.
117	Mécanisation de la réutilisation de composants logiciels : approches et outils / Parot, Patrick. January 1900 (has links) Th. doct.--Informatique--Orléans, 1995. / Bibliogr. p. 129-134. Résumé en anglais et en français. 1996 d'apès la déclaration de dépôt légal.
118	Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique / Chetali, Boutheïna. January 1900 (has links) Th. doct.--Informatique--Nancy 1, 1996. / Bibliogr. p. 245-250. Index. Résumé en anglais et en français. 1996 d'après la déclaration de dépôt légal.
119	Wahrheit und Satz an sich : zum Verhältnis des Logischen zum Psychischen und Sprachlichen in Bernard Bolzanos Wissenschaftslehre / Dähnhardt, Simon. January 1992 (has links) Texte remanié de: Magisterarbeit--Hamburg--Universität Hamburg, 1990.
120	Sprachen und Dinge : der Gegenstandsbereich instrumentellen Handelns / Leist, Anton. January 1900 (has links) Thèse parue sous le titre "Eine Untersuchung über Sprachen und Dinge"--Frankfurt am Main--Philosophie, 1976. / Bibliogr. p. 230-232.

Search results