Detalhes MARC
| 000 -LÍDER (NR) |
|---|
| fixed length control field |
03008nam a22003134a 4500 |
| 001 - NÚMERO DE CONTROLE (NR) |
|---|
| control field |
001611877 |
| 003 - CÓDIGO MARC DA AGÊNCIA CATALOGADORA (NR) |
|---|
| control field |
BR-ReIFE |
| 005 - DATA E HORA DA ÚLTIMA ATUALIZAÇÃO (NR |
|---|
| control field |
20211020143203.0 |
| 008 - CAMPO DE TAMANHO FIXO - (NR) |
|---|
| fixed length control field |
161208s2014 bl a g 1 0 por |
| 020 ## - ISBN - INTERNATIONAL STANDARD BOOK NUMBER (R) |
|---|
| International Standard Book Number |
9788523011413 |
| 040 ## - FONTE DA CATALOGAÇÃO (NR) |
|---|
| Código da Agência Catalogadora (NR) |
BR-RjBN |
| Language of cataloging |
por |
| Agência que transcreveu o registro |
BR-ReIFE |
| Agência que alterou o registro (R) |
BR-ReIFE |
| 041 ## - CÓDIGO DO IDIOMA (R) |
|---|
| Código do idioma do texto / trilha sonora ou título diferente (R) |
por |
| Código do idioma do documento original (R) |
por |
| 082 04 - NÚMERO DE CLASSIFICAÇÃO DECIMAL DE DEWEY (CDD) (R) |
|---|
| Número da Classificação (R) |
005.13 |
| Número do item (NR) |
A973f |
| 090 ## - NÚMERO DE CHAMADA LOCAL |
|---|
| Número de chamada |
005.13 |
| Cutter |
A973f |
| 100 1# - ENTRADA PRINCIPAL - NOME PESSOAL (NR) |
|---|
| Nome pessoal (NR) |
Ayala-Rincón, Mauricio |
| Datas associadas ao nome (NR) |
1962- |
| 9 (RLIN) |
8033 |
| 245 10 - TÍTULO PRINCIPAL (NR) |
|---|
| Título principal (NR) |
Fundamentos da programação lógica e funcional : |
| Subtítulo (NR) |
o princípio de resolução e a teoria de reescrita / |
| Indicação de responsabilidade (NR) |
Mauricio Ayala-Rincón e Flávio Leonardo Cavalcanti de Moura.- |
| 260 ## - IMPRENTA (PUBLICAÇÃO, DISTRIBUIÇÃO, ETC.) (R) |
|---|
| Lugar de publicação, distribuição, etc. (R) |
Brasília: |
| Nome do editor, distribuidor, etc. (R) |
Ed. UnB, |
| Data de publicação, distribuição, etc. (R) |
2014. |
| 300 ## - DESCRIÇÃO FÍSICA (R) |
|---|
| Extensão (R) |
229p. : |
| Detalhes físicos adicionais (NR) |
il.; |
| Dimensions |
28cm. |
| 500 ## - NOTA GERAL (R) |
|---|
| Nota geral (NR) |
Inclui índice. |
| 504 ## - NOTA DE BIBLIOGRAFIA, ETC. (R) |
|---|
| Nota de bibliografia (NR) |
Bibliografia: p. 213-223. |
| 520 3# - NOTA DE RESUMO, ETC (R) |
|---|
| Nota de resumo etc. (NR) |
Um dos aspectos mais relevantes da ciência da computação é o desenvolvimento de arcabouços matemáticos robustos para a implementação de novas linguagens de computação. Ainda que as primeiras linguagens de programação tenham sido desenvolvidas com técnicas ad hoc, definidas por restrições de hardware, em meados do século XX, os pilares dessa tecnologia foram elaborados no início desse século. Matemáticos como Alonzo Church e Alan Turing , trabalhando em fundamentos da computação relacionados com a própria noção de computabilidade, elaboraram modelos computacionais como as máquinas de Turing e o cálculo lambda, modelos sob os quais importantes questões sobre os fundamentos matemáticos e da semântica da computação foram respondidas. São os fundamentos semânticos da computação o foco central desta obra, necessários tanto para a compreensão das linguagens computacionais modernas quanto para o desenvolvimento formal de novos paradigmas aplicados na elaboração de novas linguagens de programação e linguagens de especificação e verificação formal. A obra é proposta como notas de aula para um curso avançado complementar em teoria da computação, do ponto de vista dos formalismos lógicos e semânticos. Ainda que a obra restrinja-se aos fundamentos matemáticos dos paradigmas de programação lógica e funcional, fornece os elementos necessários para iniciar um aprofundamento em áreas de investigação centrais em computação, envolvidas no desenvolvimento tecnológico de novas linguagens computacionais, como são a própria teoria de reescrita, a teoria de tipos e a teoria de prova. Certamente, alunos de pós-graduação e em estágios avançados de cursos em áreas tecnológicas e exatas, como Ciência da Computação, Matemática, Informática e Engenharias de Software, Computação, Automação e Mecatrônica, poderão aproveitar bem esta obra. |
| 650 04 - ASSUNTO TÓPICO (R) |
|---|
| Topical term or geographic name entry element |
Computação |
| 650 04 - ASSUNTO TÓPICO (R) |
|---|
| Topical term or geographic name entry element |
Programação lógica (Computação) |
| 650 04 - ASSUNTO TÓPICO (R) |
|---|
| Topical term or geographic name entry element |
Programação funcional (Computação) |
| 650 ## - ASSUNTO TÓPICO (R) |
|---|
| Topical term or geographic name entry element |
Sistemas de reescrita (Computação) |
| 650 #4 - ASSUNTO TÓPICO (R) |
|---|
| Topical term or geographic name entry element |
Linguagem de programação (Computadores) |
| 9 (RLIN) |
2135 |
| 700 1# - ENTRADA SECUNDÁRIA - NOME PESSOAL (R) |
|---|
| Nome pessoal (NR) |
Moura, Flávio Leonardo Cavalcanti de |
| 942 ## - ELEMENTOS DE ENTRADA ADICIONADOS (KOHA) |
|---|
| Fonte de classificação |
Dewey Decimal Classification |
| Tipo de item Koha |
Livros |
