Refinar su búsqueda

Su búsqueda retornó 200 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias
Ordenar
Resultados
The monadic second order theory of all countable ordinals

por Büchi, J. Richard | Siefkes, Dirk.

Series Lecture notes in mathematicsTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin : Springer-Verlag, 1973Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 B919.

Navegación robótica basada en aprendizaje evolutivo de acciones mediante lógica difusa

por Quiros Retamales, Fernando Ernesto | Arredondo Vidal, Tomás (Comisión de tesis) [, prof. guía] | Freund Grunewaldt, Wolfgang (Comisión de tesis) [, prof. corref.] | UTFSM. Departamento de Electrónica (1994-).

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Valparaíso : UTFSM , 2006Nota de disertación: Tesis (Ing. Civil Electrónico, mención computadores y control automático)--Prof. guía: Tomas Arredondo Vidal; Prof. corref.: Wolfgang Freund G. Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 006.3 Q8.

La lógica de la investigación científica / Karl R. Popper

por Popper, Karl R. (Karl Raimund), 1902-1994 [,autor].

Edición: Segunda edición, reimpresión 2007Tipo de material: Texto Texto; Formato: impreso caracteres normales ; Forma literaria: No es ficción Editor: Madrid : Tecnos, 2017Acceso en línea: VERSION DIGITAL Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 001.42 P831, .., Biblioteca Campus San Joaquín (2) Signatura topográfica: 001.42 P831, .., Biblioteca Campus Santiago Vitacura (2) Signatura topográfica: 001.42 P831, ...

On fuzziness / [edited by] Rudolf Seising, Enric Trillas, Claudio Moraga and Settimo Termini

por Seising, Rudolf [, ed.] | Trillas, E. (Enric) [, ed.] | Moraga, Claudio [, ed.] | Termini, Settimo [, ed.].

Series Studies in fuzziness and soft computing ; 2997Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Springer, 2013Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 006.3 O58 V. 1, ...

On structural analysis of many-valued logic Hwa-Sung Hsieh

por Na, Hwa-Sung Hsieh.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Urbana : University of Illinois, 1964Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 N111.

Once upon a number: the hidden mathematical logic of stories John Allen Paulos

por Paulos, John Allen.

Edición: 1a ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York: Basic Book, 1998Disponibilidad: Ítems disponibles para préstamo: Biblioteca Campus Santiago Vitacura (1) Signatura topográfica: 519.5 P331.

El orden de los conceptos : lógica menor (lógica formal) Jacques Maritain

por Maritain, Jacques.

Series Biblioteca argentina de filosofíaTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Buenos Aires : Club de Lectores, 1948Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 160 M342.

Planificación de la producción mediante optimización lineal difusa

por Rodríguez Bove, Felipe Joaquín | Sepúlveda Quiroga, Edmundo (Comisión de tesis) [, prof. guía] | Núñez Segovia, Jaime (Comisión tesis) [, prof. corref.] | UTFSM. Departamento de Ingenieria Mecánica (2009 -).

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Valparaíso: UTFSM, 2010Nota de disertación: Tesis (Ing. Civil Mecánico) -- Prof. guía: Edmundo Sepúlveda Q., prof. corref.: Jaime Nuñez S. Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 658.503 R696A.

El poder de la intención/ Wayne W. Dyer

por Dyer, Wayne W [, autor].

Tipo de material: Texto Texto; Formato: impreso caracteres normales ; Forma literaria: Novela Editor: Barcelona: debolsillo, 2005Disponibilidad: No disponible:Prestado (1).

Los principios de las ciencias : lógica del método científico / William Stanley Jevons ; traducción de Carlos E. Prélat.

por Jevons, William Stanley, 1835-1882 [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Buenos Aires : Espasa-Calpe, 1946Otro título: Lógica del método científico.Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 501 J58.

Principles of intuitionism

por Troelstra, Anne Sjerp.

Series Lecture notes in mathematics ; ; no. 95Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York : Springer, 1969Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 T843.

Problemas de la lógica/ F. Enriques

por Enriques, Federico [, autor].

Series Historia y filosofía de la ciencia. Serie menorTipo de material: Texto Texto; Formato: caracteres normales ; Forma literaria: No es ficción Buenos Aires : Espasa-Calpe, 1947Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 160 E59, ...

Programación lógica Warnier, Jean-Dominique, Brendan M. Flanagan, Honeywell Bull

por Warnier, Jean-Dominique | Flanagan, B. M | Bull, Honeywell.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid: Editores técnicos asociados, 1979Disponibilidad: Ítems disponibles para préstamo: Biblioteca Sede Concepción (2) Signatura topográfica: 001.642 W248 V.1ST, ...

Proof theory and intuitionistic systems

por Scarpellini, Bruno.

Series Lecture notes in mathematics ; ; 212Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlin : Springer-Verlag, 1971Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.817 S286.

Q. E. D.: beauty in mathematical proof

por Polster, Burkard.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York: Walker & Company, 2004Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 510.1 P778, ...

Realización celular de funciones de umbral ternarias

por Moraga Rocco, Claudio.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Valparaíso : UTFSM, 1975Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 621.381952 M827R.

Realización de funciones de conmutación ternarias mediante compuertas de umbral conectadas en cascada

por Díaz López, Héctor | Moraga Rocco, Claudio (Comisión de tesis) [, prof. guía] | UTFSM. Facultad de Electrotecnia ( - 1981).

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Valparaíso : UTFSM., 1973Nota de disertación: Tesis : (Ing. Civil Electrónico)--Prof. guía : Claudio Moraga Roco Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 621.381952 D542 (PASIVA).

Realización de funciones ternarias mediante compuertas de umbral periódico

por Gutiérrez Clavería, Jorge | Moraga Rocco, Claudio (Comisión de tesis) [, prof. guía] | UTFSM. Facultad de Electrotecnia ( - 1981).

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Valparaíso : UTFSM., 1972Nota de disertación: Tesis : (Ing. Civil Electrónico)--Prof. guía : Claudio Moraga Roco Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: M 621.381952 G984 V.1C.1, ...

Resumen sintético del sistema de lógica John Stuart Mill

por Mill, John Stuart.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Paris : Librería de la Vda. de Ch. Bouret, 1919Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 160 M645, ...

Semantics of algorithmic languages Edited by E. Engeler

por Symposium on Semantics of Algorithmic Languages (1971 : Berlin) | Engeler, Erwin.

Series Lecture notes in mathematics ; no. 188Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Berlin : Springer-Verlag, 1971Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 S989.

Set theory and its logic

por Quine, W. V. (Willard Van Orman).

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Cambridge : The Belknap press of Harvard University press, 1963Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.817 Q7.

Set theory and logic

por Stoll, Robert Roth.

Series A series of undergraduate books in mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: San Francisco : W.H. Freeman, 1963Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.817 S875S.

Set theory and logic / Robert R. Stoll

por Stoll, Robert Roth [,autor].

Tipo de material: Texto Texto; Formato: impreso caracteres normales ; Forma literaria: No es ficción Editor: New York: Dover Publishing , 1963Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.817 S875.

Simplified independence proofs : boolean valued models of set theory

por Rosser, John Barkley.

Series Pure and applied mathematics ; ; vo. 31Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Academic Press, 1969Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.817 R828.

Simulación del uso de lógica difusa como control supervisor en una columna de flotación Claudio Andrés Leiva Hurtubia

por Leiva Hurtubia, Claudio Andrés | Leiva Hurtubia, Claudio Andrés | UTFSM. Departamento de Procesos Químicos (1994 -1998).

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Valparaíso : UTFSM, 1996Nota de disertación: Tesis (Ing. Civil Químico) -- Prof. guía: Luis Bergh Olivares Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 622.752 L533.

Sistema de control automático de posición empleando lógica ternaria Claudio Moraga Roco

por Moraga Rocco, Claudio.

Series UTFSM. Informe de investigación ; ; EOSD 7301Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Valparaíso : UTFSM, 1973Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 629.83 M827.

Sistema de inferencia difuso para la evaluación de propuestas

por Bravo Núñez, Javier Ignacio | Galindo Urra, Raúl (Comisión de tesis) [, prof. guía] | UTFSM. Departamento de Obras Civiles (1994-).

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Valparaíso : UTFSM, 2001Nota de disertación: Tesis (Ing. Civil)- - Prof. guía: Raúl Galindo Urra Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 629.895 B826.

Sistema de predicción de demanda de potencia

por Méndez Muñoz, Ivonne Alejandra | Sáez Carreño, Alejandro (Comisión de tesis) [, prof. guía] | Olivares Salinas, Manuel Antonio (Comisión de tesis) [, prof. corref.] | UTFSM. Departamento de Electrónica (1994-).

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Valparaíso : UTFSM, 2004Nota de disertación: Tesis (Ing. Civil Electrónico)-- Prof. guía: Alejandro Sáez Carreño; prof. corref. : Manuel Olivares Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 629.836 M538.

Sistemas de circuitos binarios

por Heim, Klaus.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Madrid : Editorial Dossat, 1973Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 H467.

Software de apoyo para la enseñanza de la lógica : elementos fundamentales para el razonar correcto Carolina Marín Suau

por Marín Suau, Carolina | Guerra Genskowsky, Lautaro (Comisión de tesis) [, prof. guía] | Vergara Saavedra, Mario (Comisión de tesis) [, prof. guía] | UTFSM. Facultad de Ingeniería. Departamento de Informática (1981 - 1993).

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Valparaíso : UTFSM, 1986Nota de disertación: Tesis : (Ing. ejec. en Informática) -- Prof. guías: Lautaro Guerra; Mario Vergara Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 001.6425 M337.

Statistical methods and scientific

por Fisher, Sir Ronald Aylmer.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Edinburgh : Cliver and Boyd, 1959Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 519.54 F533.

Studies in algebraic logic

por Daigneault, Aubert.

Series MAA. Studies in mathematics ; 9Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: (Washington) : The Mathematical Association of America, c1974Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 S933.

Studies in foundations and combinatorics

por Rota, Gian-Carlo.

Series Advances in mathematics supplementary studies ; ; vo. 1Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Academic Press, 1978Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.5 S933.

Symbolic logic

por Lewis, Clarence Irving | Langford, Cooper Harold.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York : Dover Publications, 1959Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 L673.

Symbolic logic and mechanical theorem proving

por Chang Chin-Liang | Lee, Richard Char-Tung.

Series Computer science and applied mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Academic Press, 1973Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 C455, Biblioteca Sede Viña del Mar (1) Signatura topográfica: 511.3 C455.

Temas de algebra lógica Hebe T. Rabuffetti

por Rabufetti, Hebe T.

Tipo de material: Texto Texto Detalles de publicación: Buenos Aires : El Ateneo, 1989Disponibilidad: Ítems disponibles para préstamo: Biblioteca Sede Viña del Mar (1) Signatura topográfica: 511.3 R117.

Las teorías de la inducción y de la experimentación

por Lalande, André.

Series Biblioteca filosóficaTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Buenos Aires : Editorial Losada, 1944Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 161 L198.

Term logic with choice operator

por Hermes, Hans.

Series Lecture notes in mathematics ; ; 6Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin : Springer-Verlag, 1970Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 H553T.

The grammar of mathematics

por Durst, Lincoln K [, autor].

Tipo de material: Texto Texto; Formato: impreso caracteres normales ; Forma literaria: No es ficción Editor: Reading, Massachusetts: Addison-Wesley Publishing Company, 1969Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 D966.

Théorie dialectique des probabilités : englobant leurs calculs classique et quantique

por Bodiou, Georges.

Series Traité de physique théorique et de physique mathematique ; , v.20Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Paris : Gauthier-Willars & cie., 1964Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 519 B667.

A theory of sets

por Morse, Anthony Perry.

Series Pure and applied mathematics ; ; 18Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Academic Press, 1965Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.817 M885.

Threshold logic : a synthesis approach

por Dertouzos, Michael L.

Series M.I.T. Research Monograph ; ; no. 32Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge : MIT Press, 1965Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 621.381952 D438.

Threshold logic

por Lewis, Philip M | Coates, Clarence Leroy.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York : John Wiley, 1967Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 621.381958 L675.

Topics in engineering logic

por Nadler, Norton.

Series International series of monographs on electronics and instrumentation ; ; v. 14Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : MacMillan : 1962Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 621.381952 N137.

Tractatus logico-philosophicus

por Wittgenstein, Ludwing.

Series Alianza universidad ; ; 50Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Alianza Editorial, 1973Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 192 W831.

Tractatus lógico-philosophicus / Ludwig Wittgenstein

por Wittgenstein, Ludwing [autor].

Series El libro universitario. Ensayo. Filosofía y Pensamiento ; ; 31Tipo de material: Texto Texto; Formato: impreso caracteres normales Editor: Madrid : Alianza Editorial, 2002Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 192 W831T, Biblioteca Campus Santiago Vitacura (1) Signatura topográfica: 192 W831T.

Tratado de lógica y conocimiento científico

por Grize, Jean-Blaise | Dubarle, Dominique | Papert, Seymour | Ladriére, Jean | Apostel, Leo | Desanti, J. T | Leray, J | Lichnerowicz, Andre | Ullmo, J | Matalon, B | Broglie, Louis, príncipe de | Costa de Beauregard, Oliver | Meyer, F | Nowinski, C | Gréco, P | Goldmann, L | Granger, Giller-Gastón | Mandelbrot, Benoit B | Piaget, Jean, 1896-1980.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Buenos Aires : Editorial Paidos, 1979Disponibilidad: No disponible:Prestado (1).

Truth functions and the problem of their realization by two-terminal graphs

por Adam, A.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Budapest Akadémiai Kiadó, 1968Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 A193.

The two fundamental problems of the theory of knowledge / Karl Popper ; edited by Troels Eggers Hansen ; translated by John Kinory and Andreas Pickel

por Popper, Karl R. (Karl Raimund), 1902-1994 [autor] | Hansen, Troels Eggers [editor].

Series Routledge classicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Routledge, 2012Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 121 P831.

Los usos de la argumentación / Stephen E. Toulmin ; traducción de María Morrás y Victoria Pineda

por Toulmin, Stephen, 1922-2009 [autor] | Morrás Ruiz-Falcó, María, 1962- [traductor] | Pineda, Victoria [traductor] | Moreso i Mateos, Joan Josep, 1959- [editor literario, prologuista].

Series FIlosofía y derechoTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Madrid Marcial Pons, 2019Acceso en línea: VERSIÓN DIGITAL Disponibilidad: Ítems disponibles para préstamo: Biblioteca Campus Santiago Vitacura (1) Signatura topográfica: 168 T724, Biblioteca Campus San Joaquín (1) Signatura topográfica: 168 T724, Biblioteca Sede Viña del Mar (1) Signatura topográfica: 168 T724, Biblioteca Sede Concepción (1) Signatura topográfica: 168 T724. No disponible:Dañado (1).

Páginas