Languages, machines, and classical computation

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory

Logical consequences. Theory and applications: An introduction.

2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications

Formal logic: Classical problems and proofs

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational

Many-valued logics. A mathematical and computational introduction.

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics

Rigid-plastic finite element analysis of some metal forming processes

Imperial Users onl

Breve reseña de la investigación en Ingeniería en la Universidad Nacional de Córdoba

En este trabajo se traza una reseña breve de las investigaciones llevadas a cabo por profesores de la FCEFyN en áreas de Ingeniería, desde la creación de la Escuela de Ingeniería hasta aproximadamente 1975. La motivación del trabajo ha sido el 400 aniversario de la Universidad Nacional de Córdoba, lo que generó un tiempo de reflexión sobre la investigación en todos los ámbitos universitarios, en este caso concentrándonos en las Ingenierías. Para la reseña se han establecido (arbitrariamente) como periodos los que se inician a partir la creación de la Escuela de Ingeniería (1879), entre 1883 y 1918, la Reforma Universitaria de 1918, el periodo entre la Reforma y 1945, la década 1945-1955, y finalmente las dos décadas entre 1955 y 1975.Fil: Godoy, Luis Augusto. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales; Argentin