Lógica y computación contemporáneas

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 2 votos.

Título original:

Contemporary Logic and Computing

Contenido del libro:

El presente volumen tiene su origen en una propuesta de libro realizada hace unos dos años a College Publications, Londres. La idea principal era ilustrar la interacción entre el trabajo contemporáneo en lógica y la corriente principal de las matemáticas.

La división del volumen en dos secciones -temas de «lógica» frente a temas de «informática»- es más o menos convencional. Algunas contribuciones se centran en detalles históricos y técnicos destinados a poner en perspectiva el impacto del trabajo de algunos destacados matemáticos y filósofos sobre la investigación contemporánea en lógica y ciencias de la computación. Otras ponencias, también con sabor histórico, pretendían evidenciar métodos puntuales de investigación y conceptos o temas específicos, como, por ejemplo, decidibilidad, computabilidad, aleatoriedad y complejidad computacional o descriptiva. En general, los artículos pretendían ser estudios específicos de resultados.

Se espera que otros volúmenes -que se publicarán posteriormente en la misma serie- delineen aspectos del panorama de la lógica contemporánea que no se han ilustrado aquí.

El libro está dirigido a estudiantes de postgrado en lógica matemática, fundamentos de la matemática y ciencias de la computación, así como a filósofos, matemáticos y, posiblemente, otros científicos interesados en la investigación reciente sobre lógica y computación.