LOGIC

Autor: BOFILL ARASA MIQUEL.
Jahr: 2003.
Universität: POLITÉCNICA DE CATALUÑA [Mehr Doktorarbeiten der Universität] [www.upc.edu].
Ort der Lesung: Sala del Llac del doctorat campus Nord.
Ort der Vorbereitung: EDIFICI C6 Campus NORD.

Autor: PEÑA ESTEBAN FRANCISCO DAVID DE LA.
Jahr: 2005.
Universität: PÚBLICA DE NAVARRA [Mehr Doktorarbeiten der Universität] [www.unavarra.es].
Ort der Lesung: E.T.S.DE ING.INDUSTRIALES Y DE TELECOMUNICACION.
Ort der Vorbereitung: E.T.S.I.I.T..

Inhaltsangabe: Die These entwickelt ein heuristischer Algorithmus für die Bildung der Zellen in der Arbeit zu optimieren, um die Verteilung in eine Reihe von Maschinen verschiedener Stücke, die verschiedenen Routen folgen. Definieren Sie die optimale Anzahl von Rechnern pro Zelle in Abhängigkeit von der Verfügbarkeit von Maschinen insgesamt, und erlaubt die Kombination von alternativen Pläne Prozesse, die Vermeidung oder Verringerung von Doppelarbeit von Maschinen und Studie befasst sich mit der Verteilung der effizientere Maschinen, die Abgrenzung der Arbeit benötigt werden, und die Relative Position mehr effektiv die verschiedenen Bereiche, während es sich um die beste Position der verschiedenen Maschinen in Ihrer Nähe oder Zelle. Letztlich, so erzeugt es einen Algorithmus für die effiziente Verteilung in einem geeigneten und optimierte Produktion. Der Algorithmus wurde in der geplanten Matlab, als nützliches Instrument für diesen Zweck.

Autor: Bermejo Luque Lilian.
Jahr: 2005.
Universität: MURCIA [Mehr Doktorarbeiten der Universität] [www.um.es].
Ort der Lesung: Facultad de Filosofía. Departamento de filosofía.
Ort der Vorbereitung: Departamento de Filosofía.

Inhaltsangabe: Das Ziel dieses Papiers ist es, ein Programm für die Integration der Logik und Rhetorik der dialektischen Argumentation in natürlicher Sprache, im Hinblick auf die Entwicklung einer normativen Theorie. Zu diesem Zweck werden sie analysiert die wichtigsten Vorschläge in der Argumentation Theorie, und es wird eine Kritik an der Konzeption Werkzeuge Vorschriften argumentativen hinter ihnen. Darüber hinaus, in Anerkennung der Motivation fest, dass die Verabschiedung eines Instrumentalisten Perspektive in diesem Papier artikuliert die Unterscheidung zwischen Kraft suasoria und Stärke der Argumente, und legt die Notwendigkeit einer normativen Theorie des Geistes auch, und wie sie sich beziehen, Einander, um die Verbindung zwischen Argumente und Rationalität. Es wird vorgeschlagen, die Verabschiedung eines epistemischen Ansatz, im Hinblick auf eine bestimmte Interpretation des Werkes auf Argumente SE Toulmin. Basierend auf einer Konzeption des Arguments als eine Tätigkeit, schlägt eine Definition der Gegenstand einer Theorie der Fall, da die Eigenschaften des logischen und dialektischen Rhetorik. Artikuliert er auch den Begriff der "argumentativen handeln" als eine Art Akt der Rede, und zieht Auswirkungen dieses Ansatzes in Bezug auf die Analyse und Interpretation der argumentativen Diskurs und Argumentation entimemática. Die Vorschläge für die Bewertung von der Art der semantischen und pragmatischen Rede Handlungen argumentativos definiert als "Versuch zu zeigen, dass eine Behauptung ist richtig Referenz. Es umreißt die Begriffe "Makro" und "Mikrostruktur argumentativen" und die Voraussetzungen für eine realistische Einschätzung und Semantik von argumentativen Diskurs. Es extrahiert resultierte in der Möglichkeit der Bestimmung nicht nur die Unterstützung von Gewalt, sondern auch die Legitimität von Gewalt suasoria einigen argumentativen Diskurs über ein Auditorium oder die Zuhörer. Schließlich wurde vorgeschlagen, um die Untersuchung der Gesprächspartner klassischen Irrtümer als Instrument zur Kritik an der Argumentation.

Autor: CRUZ MAVIL MIGUEL ÁNGEL.
Jahr: 2005.
Universität: AUTÓNOMA DE BARCELONA [Mehr Doktorarbeiten der Universität] [www.uab.es].
Ort der Lesung: CIENCIAS DE LA EDUCACIÓN..
Ort der Vorbereitung: UNIVERSIDAD VERACRUZANA.

Inhaltsangabe: Diese Arbeit spiegelt die Aktivitäten zu untersuchen Studenten Schwierigkeiten bei der Erlangung von Erkenntnissen. Dies ist eine gerahmte qualitative Forschung im Bereich der mathematischen Bildung. Sein Hauptziel war zu entdecken und zu interpretieren einige Aspekte, die Einfluss auf den Prozess der Erlangung der Abschluss ein Argument. Die Methode wurde ein Fragebogen zur Umsetzung zu sechs Studenten der Universität von Veracruz, Mexiko. Die Arbeit wurde ergänzt durch eine Reihe von semi-strukturierten Interviews mit einigen der Studenten. Die Studie hat ergeben, dass eine Schule ein halb betraf den Zeitraum von Februar bis Juni 2004. Die Bevölkerung der Studierenden, die sich für die zweite Amtszeit des ersten Jahres des Studiums an der Universität. Die Stichprobe enthält 260 Studenten in den Bereichen der Geistes-und Sozialwissenschaften und der Wissenschaften. In der ersten Gruppe wurden ausgewählte Studenten der Rechts-und Wirtschaftswissenschaften und Literatur. In der zweiten, Studenten wurden für Informatik, Physik, Ingenieurwissenschaften und Mathematik. Die meisten Studenten in der Stichprobe kann nur dann einen Kurs in der Logik zu treffenden wahlweise entweder in der ersten Hälfte oder in die zweite Hälfte. Im Gegensatz dazu, Studenten in der Informatik und Mathematik sind unbedingt die von einem Kurs der Logik in den jeweiligen Routen. Von diesen beiden Gruppen, Studenten der Mathematik hatte dies natürlich in der Zeit vor der Schule. Stattdessen Studenten Computing hat sich im Laufe des zweiten Semesters, die mit dieser Untersuchung. In grundlegende Logik Kurse, die gewonnenen Erkenntnisse wurden oft qualifizierte Studierende aus der Standard-Logik. Allerdings ist der Prozess mit der Absicht, zu erhalten und zu rechtfertigen, den Abschluss eines oder mehrerer Argumente, zeichnet sich aus dem Einfluss von folgernd Vorgänge und Bedeutungen, die nicht unbedingt Logik. Das Problem ist, diskutiert kann man in der Handlung, die zu lehren und zu lernen, das Konzept der logischen Folge. Dieses Konzept ist von grundlegender Kurse Logic ist in dieser Disziplin bestimmte Capture eine intuitive Vorstellung, in der Studenten. Die natürliche Fähigkeit, um Rückschlüsse wurde, die von Studenten für eine lange Zeit und sind im Allgemeinen angemessen und daher über das Erlernen der Begriff der logischen Folge müssen sie lernen in Kursen Logic. Die inhärenten Schwierigkeiten in der Lehre von diesem Konzept, erhöht sich durch die semantischen und syntaktischen Möglichkeiten, die in der Regel in der Klasse zu definieren. Jede mit einer bestimmten Art von Schwierigkeiten für Studenten. Die erste ist unbedingt im Zusammenhang mit dem Begriff der Wahrheit, während das zweite beinhaltet das Wissen und die Anwendung einer Reihe von Regeln, Inferenz Studenten müssen sich korrekt. Außerdem sind die Grundlagen von Logik sollten auf einem Niveau propositionale und aussagend. Im Zuge der Untersuchung ergibt sich die Notwendigkeit zu rekonstruieren, den Begriff der Konsistenz zu analysieren, die Ergebnisse der Schüler. Die Ergebnisse dieser Untersuchungen zeigen, dass der Einfluss der soziokulturellen Kontext lingüstico vermitteln und die Art der Schlussfolgerungen, die sich oder die Einnahme von Studenten und verlassen, um zu sehen, einen Kurs in Logik kann irrelevant, zumindest in Bezug auf das Erlernen einer der grundlegenden Konzepte der Logik.

Autor: SANCHEZ SORIA ANGEL RAFAEL.
Jahr: 2006.
Universität: VALENCIA [Mehr Doktorarbeiten der Universität] [www.uv.es].
Ort der Lesung: FACULTAD DE DERECHO.
Ort der Vorbereitung: FACULTAD DE DERECHO.

Inhaltsangabe: Wir präsentieren ein Modell der Legal Expert System, mit einem Wissen Darstellung, die nach der Modellierung der Aufgabe zu beurteilen, und als ein Mittel zur Reduzierung der willkürlichen Anwendung der Bayes'schen Wahrscheinlichkeit gerichtlichen oder subjektiv und Fuzzy-Logik für die Bewertung der Test-, Programmier-Logik ( PROLOG), um die Anwendung des Strafrechts der Formalisierung der Regeln definieren, die die Verbrechen des Mordes, Mord und Totschlag unbedachte, und die neue Fuzzy-Logik an der Diplomfeier der Strafe, die im Laufe der Zeit die Einhaltung Verfeinerungen als diskrete Variable. Modeling ist ein echtes Urteil in den drei oben genannten Bereichen (Tests, Strafrecht und Strafe). Ergebnisse wurden erzielt, wie die Angemessenheit der Anwendung von formalen Methoden zur Verbesserung der Sicherheit in der Anwendung des Strafrechts, die Fortführung der Tradition, die aus der Konsolidierung.