Computabilidade E Lógica
George S. Boolos / John P. Burgess / Richard C.
Capa ilustrativa
Tipo: novo
Editora: Unesp
Ano: 2021
Estante: Ciências Exatas
Peso: 701g
ISBN: 9788539303663
Idioma: Português
Cadastrado em: 28 de fevereiro de 2023
Descrição: #TR - Livro novo. Dimensão 16 x 23 cm, 440 pág. Sinopse: Computabilidade e lógica tornou-se um livro de referência em sua área por apresentar, de maneira acessível, questões complexas do estudo de lógica. Seus capítulos cobrem não apenas os tópicos básicos de um curso intermediário sobre o assunto, como os teoremas de incompletude de Godel, mas também um amplo leque de tópicos adicionais, como a teoria da computabilidade de Turing e o teorema de Ramsey.
Respeitamos a lei do direito autoral. Informe a Estante.
Veja outros livros do vendedor O Livro Disso
Veja Computabilidade E Lógica em outros vendedores
Veja outros títulos de George S. Boolos / John P. Burgess / Richard C.