USPENSKY, V.
A máquina de Post,
URSS, Editora MIR,
1985.
livro em muito bom estado de conservação, escasso, referencial, não perca, saiba mais ...
As Máquinas de Post são construções teóricas, tais como as Máquinas de Turing que permitem simular um modelo computacional. Apesar de essencialmente equivalentes, Post estava mais preocupado em mostrar a solucionabilidade dos problemas do que sua computabilidade, como era o caso de Turing.O artigo original de Post era entitulado "Formulation 1", sendo o termo Máquina de Post inventado um tempo depois, principalmente pela popularidade da Máquina de Turing.
sexta-feira, 4 de junho de 2010
Kraitchik, Mauricio. Matematicas recreativas. Buenos Aires: El Ateneo, 1946.
Matematica Recreativa kraitchik
Kraitchik, Mauricio.
Matematicas recreativas.
Buenos Aires: El Ateneo,
1946.
livro em bom estado de conservação, capa dura,coda1b-c8, escasso, não perca, saiba mais
Kraitchik, Mauricio.
Matematicas recreativas.
Buenos Aires: El Ateneo,
1946.
livro em bom estado de conservação, capa dura,coda1b-c8, escasso, não perca, saiba mais
Motores hidraulicos L Quantz 1922 MOTOR. MECANICA. INGENIERIA.Hidraulica.
Motores hidraulicos
L Quantz
1922
MOTOR. MECANICA. INGENIERIA.Hidraulica.
capa dura, bom estado, coda1-z4, escasso, não perca, saiba mais....
Contiene ilustraciones intercaladas en el texto. Tambien contiene formulas, buene stado de conservacion.. .
Elementos para el etudio, construccion y calculo de las instalaciones modernas de fuerza hidraulica.Livro em bom estado, com páginas levemente amareladas e com pequenas manchas devido ao tempo, capa dura.
Projeto de Turbinas Hidráulicas Axiais, Bombas a vapor, Motores, etc ...
L Quantz
1922
MOTOR. MECANICA. INGENIERIA.Hidraulica.
capa dura, bom estado, coda1-z4, escasso, não perca, saiba mais....
Contiene ilustraciones intercaladas en el texto. Tambien contiene formulas, buene stado de conservacion.. .
Elementos para el etudio, construccion y calculo de las instalaciones modernas de fuerza hidraulica.Livro em bom estado, com páginas levemente amareladas e com pequenas manchas devido ao tempo, capa dura.
Projeto de Turbinas Hidráulicas Axiais, Bombas a vapor, Motores, etc ...
Introdução à Astrobiologia Flávio A Pereira
Introdução À Astrobiologia
Flávio A. Pereira
editora: José Olympio
ano: 1958
descrição: Livro usado, em bom estado de conservação,coda42-z2, capa brochura, ilustrado.
Este livro demonstra como vem sendo equacionada a questão da vida no cosmos, e de como em outros mundos podem ter sido criados outros conjuntos de seres vivos, talvez pensantes, como na Terra.
Flávio A. Pereira
editora: José Olympio
ano: 1958
descrição: Livro usado, em bom estado de conservação,coda42-z2, capa brochura, ilustrado.
Este livro demonstra como vem sendo equacionada a questão da vida no cosmos, e de como em outros mundos podem ter sido criados outros conjuntos de seres vivos, talvez pensantes, como na Terra.
segunda-feira, 31 de maio de 2010
Introduction to Mathematical Logic Alonzo Church 1956 Teorema Godel Incompletude Rosser Logica proposicional
Introduction to Mathematical Logic
Alonzo Church
Princeton University Press
1956
capa dura, bom estado, coda5b, escasso, saiba mais. One of the pioneers of mathematical logic in the twentieth century was Alonzo Church.
He introduced such concepts as the lambda calculus, now an essential tool of computer science, and was the founder of the Journal of Symbolic Logic. In Introduction to Mathematical Logic, Church presents a masterful overview of the subject--one which should be read by every researcher and student of logic.
Introduction to Mathematical Logic includes - propositional logic; first-order logic; first-order number theory and the incompleteness and undecidability theorems of Gödel, Rosser, Church, and Tarski; axiomatic set theory; theory of computability.
Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science.
Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic.
Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the greatest mathematical logician in the world.
Alonzo Church
Princeton University Press
1956
capa dura, bom estado, coda5b, escasso, saiba mais. One of the pioneers of mathematical logic in the twentieth century was Alonzo Church.
He introduced such concepts as the lambda calculus, now an essential tool of computer science, and was the founder of the Journal of Symbolic Logic. In Introduction to Mathematical Logic, Church presents a masterful overview of the subject--one which should be read by every researcher and student of logic.
Introduction to Mathematical Logic includes - propositional logic; first-order logic; first-order number theory and the incompleteness and undecidability theorems of Gödel, Rosser, Church, and Tarski; axiomatic set theory; theory of computability.
Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science.
Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic.
Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the greatest mathematical logician in the world.
Gerson B. Robison, An Introduction to Mathematical Logic
Gerson B. Robison
An Introduction to Mathematical Logic
An Introduction to Mathematical Logic
domingo, 30 de maio de 2010
Mathematical control machines Loskutov Engenharia Cibernetica Robotica Ciência Computação Matematica cOMPUTADORES ETC
Mathematical control machines
by V. Loskutov
editora: Mir- Moscú
ano: 1968
Hardcover. 416 pp.
Mathematics, Computers. Computer Science. Informatics. Internet, Mathematical Cybernetics. Decision theory.
descrição: .Em bom estado, capa dura. coda13-5z,coda20-x6,saiba mais. Assuntos abordados: Ciências. Matemática. Tecnologia da informação. Computadores. Processos de controle. Armazenamento de informações. O uso do computador. Computador e indústria mecânica. Computador e indústria do petróleo. Metalurgia e computador. Economia russa e sistemas de controle. Mathematical Control Machines V. Loskutov Observações: Inclui índice remissivo.
ilustrações,Gráficos, organogramas e fotografias em p&b.
O livro está bem conservado, encadernação original, capa dura em tela siberiana, conforme a melhor editoração russa da época, capas e páginas ótimas, com as ilustrações, papel e impressão impecável segundo o padrão soviético de ‘publishers’, formato padrão.
Um Clássico da época da antiga Russia, quando União Soviética, Ocasião em que a Mir lançava muitos títulos prestimosos à área das exatas, saiba mais, temos muitos livros da editora Mir Moscou, Paz, Progresso, etc, em várias línguas.
Temos condição de conseguir muitos outros títulos da Mir, diga-nos quais você precisa e lhe daremos a resposta.
Envio em até 24 horas após a confirmação de pagamento com confirmação via e-mail e número de postagem .
Temos um vasto acervo sobre a bibliografia temática de ciências exatas, saiba mais, pergunte-nos.
CASO HAJA INTERESSE NESSE LIVRO OU EM NOSSO SERVIÇO, ENVIE UM E-MAIL PARA
philolibrorum@yahoo.com.br ,
que conversaremos sobre como conseguir.
Outros livros que poderemos conseguir sob encomenda, caso haja interesse, consulte-nos. philolibrorum@yahoo.com.br
Assinar:
Postagens (Atom)