LOGIQUE

Auteur: BOFILL ARASA MIQUEL.
Année: 2003.
Université: POLITÉCNICA DE CATALUÑA [Plus de la thèse de l'université] [www.upc.edu].
Lieu de l'exposition: Sala del Llac del doctorat campus Nord.
Lieu de préparation: EDIFICI C6 Campus NORD.

Auteur: PEÑA ESTEBAN FRANCISCO DAVID DE LA.
Année: 2005.
Université: PÚBLICA DE NAVARRA [Plus de la thèse de l'université] [www.unavarra.es].
Lieu de l'exposition: E.T.S.DE ING.INDUSTRIALES Y DE TELECOMUNICACION.
Lieu de préparation: E.T.S.I.I.T..

Résumé: La thèse développe un algorithme heuristique pour la création de cellules de travail dans le but d'optimiser la distribution des plantes dans un ensemble de machines de production de pièces différentes, qui peuvent suivre des voies différentes. Définir le nombre optimal de machines par cellule en fonction de la disponibilité totale des machines, et permet la combinaison de différents plans processus, éviter ou de réduire la duplication des machines et de l'étude porte sur la distribution de la machinerie plus efficace, tout en définissant les domaines de travail nécessaires, et le Position relative de façon plus efficace les différents domaines, alors qu'il définit le mieux placé des différents appareils dans votre région ou de la cellule. En fin de compte, il crée un algorithme pour la distribution efficace usine à un endroit approprié et à l'optimisation de production. L'algorithme a été programmée dans Matlab, considéré comme outil utile à cette fin.

Auteur: Bermejo Luque Lilian.
Année: 2005.
Université: MURCIA [Plus de la thèse de l'université] [www.um.es].
Lieu de l'exposition: Facultad de Filosofía. Departamento de filosofía.
Lieu de préparation: Departamento de Filosofía.

Résumé: L'objectif du présent document est de fournir un programme d'intégration de la logique et la rhétorique de la dialectique argument en langage naturel, afin d'élaborer une théorie normative. À cette fin, il analyse les principales propositions dans le Argumentation Theory, et cela soulève une critique de la conception des outils réglementaires argumenté derrière eux. De plus, en reconnaissance de la motivation détermine que l'adoption d'un instrumentiste de vue, ce document décrit la distinction entre la force suasoria et de la force de l'appui des arguments, et expose la nécessité d'une théorie normative de l'esprit des deux, ainsi que la manière dont ils se rapportent Les uns aux autres, de mettre en évidence le lien entre les arguments et de la rationalité. Toutefois, il est proposé l'adoption d'une approche épistémique, à la lumière d'une interprétation particulière de l'oeuvre sur des arguments SE Toulmin. Basé sur une conception de l'argumentation comme une activité, propose une définition de l'objet d'une théorie de l'affaire, composé de propriétés logique dialectique et la rhétorique. Il énonce également la notion d ' "acte argumentatif comme une sorte d'acte de parole, et en tire les conséquences de cette approche en ce qui concerne l'analyse et l'interprétation des discours argumenté et argumentation entimemática. Les propositions relatives à l'évaluation provient de la nature de sémantique et pragmatique actes de langage argumentativos défini comme "tente de montrer que l'affirmation est correcte référence. Il expose les concepts de 'macros' et' la microstructure argumenté "et les conditions d'évaluation réaliste et de la sémantique des discours argumenté. Il extrait abouti à la possibilité de déterminer non seulement la force d'appui, mais aussi la légitimité de la force suasoria certains discours argumenté au sujet d'un auditorium ou donné auditeur. Enfin, il a été suggéré d'adopter l'étude de la conversation classique des mensonges comme un outil de critique de l'argument.

Auteur: CRUZ MAVIL MIGUEL ÁNGEL.
Année: 2005.
Université: AUTÓNOMA DE BARCELONA [Plus de la thèse de l'université] [www.uab.es].
Lieu de l'exposition: CIENCIAS DE LA EDUCACIÓN..
Lieu de préparation: UNIVERSIDAD VERACRUZANA.

Résumé: Ce travail reflète les activités entreprises pour enquêter sur les étudiants "difficultés à obtenir des résultats. Il s'agit d'une recherche qualitative encadrée dans le domaine de l'enseignement des mathématiques. Son objectif principal a été de découvrir et d'interpréter certains aspects qui influent sur le processus d'obtention de la conclusion d'un argument. La méthode a été de mettre en œuvre un questionnaire à six étudiants de premier cycle de l'Université de Veracruz, au Mexique. Le travail a été complété par une série d'interviews semi-structurées avec certains de ces étudiants. L'étude a abouti à l'école à moitié couvert la période allant de février à juin 2004. La population composée d'étudiants inscrits pour le second terme de la première année d'études à l'université. L'échantillon comprenait 260 élèves dans les domaines des sciences sociales et des sciences. Dans le premier groupe ont été sélectionnés les étudiants de droit, d'économie et de la littérature. Dans la seconde, les élèves ont été choisis pour l'informatique, la physique, l'ingénierie et les mathématiques. La plupart des élèves de l'échantillon ne peut prendre un cours de logique éventuellement être prises soit dans le courant du premier semestre ou du deuxième semestre. En revanche, les étudiants en informatique et en mathématiques sont nécessairement celles d'un cours de logique dans leurs itinéraires. De ces deux groupes, les étudiants de mathématiques pu suivre ce cours de la période précédant l'école. Au lieu de cela, les étudiants en informatique ont pris au cours du second semestre, qui coïncide avec la présente enquête. Dans la logique des cours de base, les résultats obtenus ont souvent été qualifié étudiants de la logique standard. Cependant, le processus implique l'intention d'obtenir et de justifier la conclusion d'un ou plusieurs arguments, se distingue de l'influence des processus inférentiel et de sens, pas nécessairement en cause la logique. Le problème est discuté peut être vu de l'acte mis à enseigner et à apprendre la notion de conséquence logique. Ce concept est fondamental cours Logic est défini dans cette discipline visant à capturer une notion intuitive et les étudiants. La capacité naturelle à faire des déductions a été appliquée par les étudiants pendant longtemps et sont généralement satisfaisants, et donc au-dessus de l'apprentissage de la notion de conséquence logique, ils sont obligés d'apprendre dans des cours Logic. La difficulté inhérente à l'enseignement de ce concept, est accrue en raison de la sémantique et syntaxique des moyens qui sont habituellement appliquées dans la salle de classe à définir. Chacun met en jeu un type particulier de difficultés pour les étudiants. La première est nécessairement liée à la notion de vérité tandis que le second implique la connaissance et l'application d'un ensemble de règles d'inférence que les étudiants doivent appliquer correctement. En outre, les bases de la logique devrait être traité au niveau propositionnel et prédictive. Dans le processus d'enquête se pose la nécessité de reconstruire la notion de cohérence, d'analyser les résultats des élèves. Les résultats de cette recherche montrent que l'influence du contexte socioculturel et lingüstico médiateur dans le genre de conclusions qui peuvent prendre ou à cesser de prendre et de laisser des étudiants de voir un cours de logique peut être sans importance, du moins par rapport à l'apprentissage d'une fondamentaux Notions de logique.

Auteur: SANCHEZ SORIA ANGEL RAFAEL.
Année: 2006.
Université: VALENCIA [Plus de la thèse de l'université] [www.uv.es].
Lieu de l'exposition: FACULTAD DE DERECHO.
Lieu de préparation: FACULTAD DE DERECHO.

Résumé: Nous présentons un modèle de système expert juridique, au moyen d'une représentation des connaissances, qui, après la modélisation de la tâche de juger, et comme un moyen de réduire l'arbitraire judiciaire s'applique probabilité bayésienne ou subjective et de la logique floue à l'évaluation de l'essai, la programmation logique ( PROLOG) à l'application de la loi pénale formaliser les règles qui définissent les crimes d'homicide, le meurtre et l'homicide imprudence, et la nouvelle logique floue à la gradation de la peine, ce qui rend le respect des améliorations à mesure que le temps en tant que variables discrètes. La modélisation est un véritable jugement dans ces trois domaines (essais, le droit pénal et de punition). Les résultats ont été obtenus comme l'opportunité de l'application des méthodes formelles à renforcer la sécurité dans l'application de la loi pénale, poursuivant la tradition provenant de la consolidation.