Refinar su búsqueda

Su búsqueda retornó 200 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias
Ordenar
Resultados
Algebraic logic

por Halmos, Paul R. (Paul Richard), 1916-2006.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Chelsea Publishing, 1962Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.8 H194.

Algoritmos para generar resúmenes lingüísticos en bases de datos XML.

por Jofré Castañeda, Erick Aarón | Reyes Covarrubias, Cecilia (Comisión de tesis) [, prof. guía] | Martí Lara, José Luis (Comisión de tesis) [, prof. corref.] | UTFSM. Departamento de Informática (1994-) Departamento de Informática (1994 -).

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Valpáraíso: UTFSM, 2008Nota de disertación: Tesis (Ing. Civil Informático. Mención Desarrollo de Software) -- Prof. guía: Cecilia Reyaes Covarrubias, prof. corref.: José Luis Martí Lara Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 005.756 J64 .

An accompaniment to higher mathematics

por Exner, George R.

Series Undergraduate texts in mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York: Springer, 1996Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 E96.

Aplicación de control difuso a unidades de procesos Juan Carlos Figueroa Reyes

por Figueroa Reyes, Juan Carlos | Bergh Olivares, Luis (Comisión de tesis) [, prof. guía] | UTFSM. Departamento de Procesos Químicos (1994 -1998).

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Valparaíso : UTFSM, 1994Nota 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 660.281 F471.

Aplicación de un modelo simplificado de planificación agregada de producción mediante programación lineal difusa

por Pizarro Aballay, Eduardo José | Sepúlveda Quiroga, Edmundo (Comisión de tesis) [,prof. guía] | Núñez Segovia, Jaime (Comisión tesis) | UTFSM. Departamento de Ingenieria Mecánica (2009 -).

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

The art of conjecture Bertrand de Jouvenel

por Jouvenel, Bertrand de.

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

The axiomatic method ; an introduction to mathematical logic.

por Lightstone, A H.

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Englewood Cliffs, N.J. : Prentice-Hall, [1964]Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 L724.

Beginnig logic

por Lemmon, Edward John.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: London : Nelson, 1965Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 L554I.

Brainmatics : más rompecabezas lógicos/ Iván Moscovich

por Moscovich, Ivan [, autor].

Tipo de material: Texto Texto; Formato: impreso caracteres normales ; Forma literaria: No es ficción Editor: Alemania: h.f. Ullmann, 2009Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 793.74 M896.

Ciencia de la lógica II / Georg W. Friedrich

por Friedrich, Georg W [,autor].

Tipo de material: Texto Texto; Formato: impreso caracteres normales ; Forma literaria: No es ficción Editor: Madrid: ABADA Editores, 2015Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 160 H462 v.2.

Circuitos binarios Francisco Company Bueno

por Company Bueno, Francisco.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Barcelona : Marcombo, 1972Disponibilidad: Ítems disponibles para préstamo: Biblioteca Sede Concepción (1) Signatura topográfica: 621.38128 C738.

Compensación del tiempo muerto en inversores fuente de voltaje basada en hardware lógico programable

por Torres Castillo, René Eduardo | Silva Jiménez, Cesar Armando (Comisión de tesis) [prof. guía] | Rodríguez Pérez, José Ramón (Comisión de tesis) [, prof. guía] | UTFSM. Departamento de Electrónica (1994-).

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Valparaíso : UTFSM, 2005Nota de disertación: Tesis (Ing. Civil Electrónico)--Profs. guía : José Ramón Rodríguez Pérez; Cesar Silva Jimenez; Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 621.3815322 T693.

Complete theories

por Robinson, Abraham.

Series Studies in logic and the foundations of mathematicsTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Amsterdam : North-Holland PublishingCompany, 1956Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 R658.

Computability : an introduction to recursive function theory

por Cutland, Nigel.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Cambridge : Cambridge University, 1980Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 C989.

Conference Record

por Symposium on the Theory and Applications of Multiple-Valued logic Design (1972 : Buffalo).

Tipo de material: Texto Texto Detalles de publicación: Buffalo : SUNY/ Buffalo, 1972Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 621.381952 S989 1972.

Conjeturas y refutaciones : el desarrollo del conocimiento científico / Karl R. Popper

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

Series Paidos básicaEdición: Ed. rev. y ampl.Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Barcelona : Ediciones Paidos, 2001Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 121 P831C.

The consistency of the axion of choice and of the generalized continuum-hypothesis with the axioms of set theory

por Gödel, Kurt.

Series Annals of mathematics studies ; ; 3Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Princeton, N. J. : Princeton University , 1940Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 G594.

Control adaptivo de tránsito empleando lógica difusa

por Romero Ayala, Marcelo Leonardo | Hernández Sánchez, Juan Longino (Comisión de tesis) [, prof. guía] | UTFSM. Departamento de Electrónica (1994-).

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Valparaíso : UTFSM, 2000Nota de disertación: Tesis (Ing. Civil Electrónico, mención Control Automático)-- Prof. guía: Juan Hernández Sánchez Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 629.836 R763C.

Control adaptivo difuso con referencia a modelo Samuel Báez Aguilera

por Báez Aguilera, Samuel | Hernández Sánchez, Juan Longino (Comisión de tesis) [, prof. guía] | UTFSM. Departamento de Electrónica (1994-).

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Valparaíso : UTFSM, 1998Nota de disertación: Tesis (Ing. Civil Electrónico, mención Control Automático) -- Prof. guía : Juan Hernández S. Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 629.895 B143.

Control clásico y difuso de un intercambiador de calor Jorge Aurelio Meza Reyes

por Meza Reyes, Jorge Aurelio | Olivares Salinas, Manuel Antonio (Comisión de tesis) [, prof. guía] | UTFSM. Departamento de Electrónica (1994-).

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Valparaíso : UTFSM, 1997Nota de disertación: Tesis (Ing. Civil Electrónico, mención Control Automático)-- Prof. guía : Manuel Olivares Salinas Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 629.895 M617.

Control con redes neuronales, lógica difusa y PI clásico de un motor de corriente contínua en tiempo real usando el PLC GE 9030

por Madrid Vicencio, Johann Alexis | Suárez Sotomayor, Alejandro Mario (Comisión de tesis) [, prof. guía] | UTFSM. Departamento de Electrónica (1994-).

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Valparaíso : UTFSM, 2002Nota de disertación: Tesis (Ing. Civil Electrónico, mención Control Automático)- - Prof guía : Alejandro Suárez Sotomayor Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 629.895 M183.

Control de rectificadores con control de tensión P.W.M. usando Fuzzy Logic Fernando Liebe Masferrer

por Liebe Masferrer, Fernando | Hernández Sánchez, Juan Longino (Comisión de tesis) [, prof. guía] | Rodríguez Pérez, José Ramón (Comisión de tesis) [, prof. guía] | Salgado Brocal, Mario E. (Comisión de tesis) [, prof. guía] | UTFSM. Departamento de Electrónica (1994-).

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Valparaíso : UTFSM, 1996Nota de disertación: Tesis (Ing. Ejec. Electrónico. con mención en Control Automático y SIstemas Digitales)--prof. guía Juan Hernández Sánchez, José Rodríguez Pérez, Mario Salgado B. Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 629.895 L716.

Control de un sistema de levitación magnética por planificación de ganancia

por Silva León, Gonzalo Francisco | Olivares Salinas, Manuel Antonio (Comisión de tesis) [, prof. guía] | UTFSM. Departamento de Electrónica (1994-).

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Valparaíso: UTFSM, 2008Nota de disertación: Tesis (Ing. Civil Electrónico, mención control e instrumentación) -- Prof. guía: Manuel Olivares Salinas Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 629.892 S586 .

Control difuso de un reactor piloto tipo CSTR

por Alarcón Bustamante, Daniel Reynaldo | Bergh Olivares, Luis (Comisión de tesis) [, prof. guía] | Núñez Muñoz, Patricio (Comisión de tesis) [, prof. corref.] | UTFSM. Departamento de Procesos Químicos, Biotecnológicos y Ambientales (1999 - 2007).

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Valparaíso : UTFSM, 2007Nota de disertación: Tesis (Ing. Civil Químico)-- Prof. guía: Luis Bergh O. ; prof. corref.: Patricio Nuñez M. Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 660.281 A321 .

Control por microprocesador de un rectificador usando lógica difusa Omar Alejandro Rumié Carmi

por Rumié Carmi, Omar Alejandro | Rodríguez Pérez, José Ramón (Comisión de tesis) [, prof. guía] | Hernández Sánchez, Juan Longino (Comisión de tesis) [, prof. corref.] | UTFSM. Departamento de Electrónica (1994-).

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Valparaíso : UTFSM, 1997Nota de disertación: Tesis (Ing. Civil Electrónico, mención Control Automático y Sistemas Digitales) -- Comisión: José Rodríguez, Juan Hernández Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 621.38195 R936.

Control vectorial de una máquina de inducción usando lógica difusa Sergio Alejandro Barriga Betanzo

por Barriga Betanzo, Sergio Alejandro | Hernández Sánchez, Juan Longino (Comisión de tesis) [, prof. guía] | Rodríguez Pérez, José Ramón (Comisión de tesis) [, prof. corref.] | UTFSM. Departamento de Electrónica (1994-).

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Valparaíso : UTFSM, 1994Nota de disertación: Tesis (Ing. Civil Electrónico, mención Control Automático) -- Prof. guía: Juan Hernández ; prof. corref.: José Rodríguez Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 629.895 B275A.

Curso de filosofía : psicología, lógica formal correspondiente al V y VI años de Humanidades.

por Guerrero, Francisco.

Edición: 7a ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Santiago : Nascimento, 1949Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 107 G934 V.1, ...

Deductive logic and descriptive language

por Harrison, Frank R.

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Englewood Cliffs : Prentice-Hall, 1969Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 160 H321.

Direct and converse theorems : the elements of symbolic logic

por Gradshteyn, I. S.

Series International series of monographs in pure and applied mathematics ; , vo.27Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : The MacMillan Company, 1963Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.817 G733.

Discrete mathematics

por Johnsonbaugh, Richard.

Edición: 7th ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New Jersey.: Pearson, 2009Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510 J66I 2009 .

Diseño de acumulador binario mediante lógica de umbral

por Sebastian Rosner, Pedro | 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, 1970Nota de disertación: Tesis (Ing. Electricista) Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 621.381 S443 (PASIVA).

Diseño de un circuito lógico de automatización con equipos neumáticos Carlos Salazar Rosas

por Salazar Rosas, Carlos | Campo Morán, Enrique del (comisión de tesis) [, prof. guía] | UTFSM. Facultad de Mecánica ( - 1981).

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Valparaíso : UTFSM, 1976Nota de disertación: Tesis (Ing. Civil Mecánico) -- Prof. guía : Enrique del Campo Morán Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 621.78 S161.

Diseño lógico de circuítos binarios Alfredo M Rojas Lagarde

por Rojas Lagarde, Alfredo M.

Series Manuales de EUDEBA. IngenieríaTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Buenos Aires: EUDEBA, 1968Disponibilidad: Ítems disponibles para préstamo: Biblioteca Sede Concepción (1) Signatura topográfica: 511.3 R741.

Ejercicios de lógica / Alberto Moreno

por Moreno, Alberto [, autor].

Series Manuales de EUDEBA. LógicaTipo de material: Texto Texto; Formato: impreso caracteres normales ; Forma literaria: No es ficción ; Audiencia: General; Editor: Buenos Aires : Editorial Universitarias, 1970Disponibilidad: Ítems disponibles para préstamo: Biblioteca Sede Viña del Mar (1) Signatura topográfica: 164 M843.

Elemente de logica matematica

por Tirnoveanu, Mircea.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Bucuresti : Editura Didactica i pedagogica, 1964Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 T597 V.1.

Elementos de la metalógica y metamatemática

por Stahl, Gerold.

Series Contribuciones a la lógica ; no. 3Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Santiago : Universitaria, 1964Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 S781.

Elementos de lógica formal Juan Antonio Nuño Montes

por Nuño Montes, Juan Antonio.

Series Colección filosofía de las ciencias ; ; 4Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Caracas : Universidad Central de Venezuela, 1980Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 160 N973.

Elementos de matemática / Arturo Mena Lorca

por Mena Lorca, Arturo | Universidad Católica de Valparaíso. Instituto de Matemáticas.

Edición: 3a. ed.Tipo de material: Texto Texto; Formato: impreso Editor: Valparaíso : Facultad de Ciencias Básicas y Matemáticas, 2005Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (34) Signatura topográfica: 511 M534 V.1, ... No disponible:

Elementos fundamentales de lógica Carlos Ibarra Barrón

por Ibarra Barrón, Carlos.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: México : Addison Wesley/Longman , 1994Disponibilidad: Ítems disponibles para préstamo: Biblioteca Sede Viña del Mar (2) Signatura topográfica: 160 I12, ...

Elements of mathematical logic.

por Novikov, Petr Sergeevich.

Series Adiwes international series in mathematicsTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Edinburgh : Oliver & Boyd, 1964Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 N943.

Elements of mathematical logic and set theory

por Slupecki, Jerzy | Borkowski, Ludwik.

Series International series of monographs in pure and applied mathematics ; v.96Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Warszawa : Polish Scientific Publishers, 1967Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 510.1 S634, ...

Elements of symbolic logic.

por Reichenbach, H. (Hans), 1936-.

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

Elements of the theory of computation

por Lewis, Harry R | Papadimitriou, Christos H.

Edición: 2nd. ed.Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: UpperSaddle River, New Jersey : Prentice-Hall, 1998Disponibilidad: Ítems disponibles para préstamo: Biblioteca Campus Santiago Vitacura (1) Signatura topográfica: 511.3 L673.

Ensayos de filosofía formal

por Montague, Richard.

Series Alianza universidad ; ; 190Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Madrid : Alianza Editorial, 1980Disponibilidad: Ítems disponibles para préstamo: Biblioteca Campus Santiago Vitacura (1) Signatura topográfica: 160 M759.

Ensayos sobre explicación y comprensión Jaakko Hintikka...[et al.]

Series Alianza universidad ; ; 280Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Madrid : Alianza Editorial, 1980Disponibilidad: Ítems disponibles para préstamo: Biblioteca Campus Santiago Vitacura (1) Signatura topográfica: 122 E59.

Enumerability, decidability, computability : an introduction to the theory of resursive functions / Hans Hermes

por Hermes, Hans.

Series Die Grundlehren der Mathematischen Wissenschaften ; , v.127Edición: 2nd. ed.Tipo de material: Texto Texto; Formato: impreso Editor: Berlin : Springer-Verlag, 1969Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 511.3 H553, ...

Essais sur les logiques non chrysippiennes.

por Moisil, Grigore C.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Bucarest : Editions de l'Académie de la République Socialiste de Roumanie, 1972Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 M714.

Estrategias de control multivariable difuso Cristian Alexis Cuadra Alvarado

por Cuadra Alvarado, Cristian Alexis | Hernández Sánchez, Juan Longino (Comisión de tesis) [, prof. guía] | UTFSM. Departamento de Electrónica (1994-).

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Valparaíso : UTFSM, 1998Nota de disertación: Tesis (Ing. Civil Electrónico, mención Control Automático) -- Prof. guía: Juan Hernández Sánchez Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: M 629.895 C961.

Páginas