Page: 1 2 3 4 5 6 7 8... 56
| 61 |
La enseñanza de la pronunicación del español a estudiantes brasileños portiguares y cearenses: Diagnóstico y propuesta didáctica
|
|
|
|
BASE
|
|
Show details
|
|
|
| 62 |
La fluidez discursiva oral: una propuesta de evaluación integral de la oralidad
|
|
|
|
BASE
|
|
Show details
|
|
|
| 63 |
Aperiat ad hoc spectaculum oculos dareus!: espectáculo, visibilidad y escenificación en las Historiae de Q. Curcio
|
|
|
|
BASE
|
|
Show details
|
|
|
| 64 |
Topics in Programming Languages, a Philosophical Analysis through the case of Prolog
|
|
|
|
Abstract:
[EN]Programming languages seldom find proper anchorage in philosophy of logic, language and science. is more, philosophy of language seems to be restricted to natural languages and linguistics, and even philosophy of logic is rarely framed into programming languages topics. The logic programming paradigm and Prolog are, thus, the most adequate paradigm and programming language to work on this subject, combining natural language processing and linguistics, logic programming and constriction methodology on both algorithms and procedures, on an overall philosophizing declarative status. Not only this, but the dimension of the Fifth Generation Computer system related to strong Al wherein Prolog took a major role. and its historical frame in the very crucial dialectic between procedural and declarative paradigms, structuralist and empiricist biases, serves, in exemplar form, to treat straight ahead philosophy of logic, language and science in the contemporaneous age as well. In recounting Prolog's philosophical, mechanical and algorithmic harbingers, the opportunity is open to various routes. We herein shall exemplify some: - the mechanical-computational background explored by Pascal, Leibniz, Boole, Jacquard, Babbage, Konrad Zuse, until reaching to the ACE (Alan Turing) and EDVAC (von Neumann), offering the backbone in computer architecture, and the work of Turing, Church, Gödel, Kleene, von Neumann, Shannon, and others on computability, in parallel lines, throughly studied in detail, permit us to interpret ahead the evolving realm of programming languages. The proper line from lambda-calculus, to the Algol-family, the declarative and procedural split with the C language and Prolog, and the ensuing branching and programming languages explosion and further delimitation, are thereupon inspected as to relate them with the proper syntax, semantics and philosophical élan of logic programming and Prolog.
|
|
Keyword:
1203.23 Lenguajes de Programación; 7205 Filosofía de la Ciencia; Academic dissertations; Filosofía de la ciencia; Programación lógica; Tesis Doctoral; Tesis y disertaciones académicas; Universidad de Salamanca (España)
|
|
URL: https://doi.org/10.14201/gredos.139586
http://hdl.handle.net/10366/139586
|
|
BASE
|
|
Hide details
|
|
|
| 65 |
Análisis de las estrategias lectoras de los estudiantes sordos con y sin implante coclear en función de sus habilidades lingüísticas, ortográficas y fonológicas
|
|
|
|
BASE
|
|
Show details
|
|
|
| 66 |
Aportaciones al estudio del lenguaje falangista y su representación en la elaboración del ideal de mujer azul de la Nueva España (1933-1945)
|
|
|
|
BASE
|
|
Show details
|
|
|
| 67 |
Efectos de la educación y el nivel intelectual sobre el rendimiento neuropsicológico, los síntomas conductuales y el funcionamiento social en personas con esquizofrenia
|
|
|
|
BASE
|
|
Show details
|
|
|
| 68 |
Lenguaje, memoria y corporeidad: estudio empírico del efecto de las representaciones corporeizadas
|
|
|
|
BASE
|
|
Show details
|
|
|
| 69 |
Características neuropsicológicas de pacientes con enfermedad de Parkinson sin demencia
|
|
|
|
BASE
|
|
Show details
|
|
|
| 70 |
Efecto del índice glucémico del desayuno sobre la función vascular y el rendimiento cognitivo
|
|
|
|
BASE
|
|
Show details
|
|
|
| 71 |
Lo cortés no quita lo valiente: una comparación de la cortesía en Quito y Salamanca
|
|
|
|
BASE
|
|
Show details
|
|
|
| 72 |
Training Educational Assistants to Facilitate Grammatical Development of Adolescents Who Use AAC
|
|
|
|
BASE
|
|
Show details
|
|
|
| 73 |
An Examination of The Relationship Between Students Participating in A College Readiness Course and Success Outcomes at a Community College
|
|
|
|
BASE
|
|
Show details
|
|
|
| 74 |
A Qualitative Analysis of Elementary Teachers’ Perceptions of a Non-Traditional Classroom
|
|
|
|
BASE
|
|
Show details
|
|
|
| 75 |
Identifying Social Deficits Using the Social Thinking Dynamic Assessment Protocol
|
|
|
|
BASE
|
|
Show details
|
|
|
| 76 |
Gender Differences in Concussion Symptoms of High School Soccer Players
|
|
|
|
BASE
|
|
Show details
|
|
|
| 77 |
Associate Degree Nursing Students’ Perceptions of Academic Dishonesty and Unprofessional Behavior
|
|
|
|
BASE
|
|
Show details
|
|
|
| 78 |
Disrupting the dissertation: linked data, enhanced publication and algorithmic culture
|
|
|
|
BASE
|
|
Show details
|
|
|
| 79 |
Second Language Production and Processing of Phrasal Verb Constructions
|
|
Perdomo, Michelle. - : University of Florida, 2017. : University of Florida ( [Gainesville, Fla.] ), 2017
|
|
BASE
|
|
Show details
|
|
|
| 80 |
Syntactic Priming in Foreign Accented Speech
|
|
Barrow, Julia M. - : University of Florida, 2017. : University of Florida ( [Gainesville, Fla.] ), 2017
|
|
BASE
|
|
Show details
|
|
|
Page: 1 2 3 4 5 6 7 8... 56 |
|
