Fundamentos da Programação Lógica e Funcional - O princípio de resolução e a teoria de reescrita
Quem viu este produto , comprou
-
Conheça dispositivos de leitura, processos de produção e modelos de negócio Se editores e autores trabalharem juntos e conectados à demanda do mercado, verão que existe espaço para livros impressos e digitais caminharem juntos tranquilamente por muito tempo. ... Ler mais +
QUERO VER -
Aumente o poder de ASP para criar páginas da Web dinâmicas e aplicações que ampliem a funcionalidade em nível de servidor. Atualizado e repleto de scripts prontos para execução, este livro é um guia prático que abrange todos os assuntos relacionados a este tema, desde as características fundamentais do ASP até a criação de aplicações para a Web consistentes orientadas a banco de dados. As aplicações, scripts e fragmentos de código que fazem parte do CD são abordadas no texto, facilitando a navegação através do conteúdo do livro. O livro contém definições de processos para criação de uma loja virtual e de um site de leilão online. Acompanha um CD-ROM para auxiliar no aprendizado. ... Ler mais +
QUERO VER -
O Spring é uma brisa de renovação soprando sobre o panorama de Java. Baseado em um princípio de projeto chamado Inversão de Controle, o Spring é um framework eficiente, porém leve, que não exige o uso de EJBs. O Spring reduz significativamente a complexidade do uso de interfaces, agiliza e simplifica o desenvolvimento de uma aplicação. O usuário obtém os recursos eficientes e robustos de EJB, e consegue manter a simplicidade do JavaBean não-enterprise. Spring em Ação apresenta os conceitos inerentes ao Spring e inicia imediatamente uma exploração prática desse framework. Combinando pequenos trechos de código e um exemplo progressivo desenvolvido ao longo do livro, mostra como construir aplicações J2EE simples e eficientes. ... Ler mais +
QUERO VER -
Desenvolvimento em Pro Drupal 7 - 3ª Edição
O livro possui foco no desenvolvedor, responsável pela criação e extensão da capacidade de um web site baseado em Drupal. A obra cobre tudo: os fundamentos da plataforma Drupal; o entendimento de como usar as APIs de Drupal; a escrita de módulos próprios para estender a funcionalidade de Drupal; a escrita de código seguro; a construção de web sites de alto desempenho; e outros tópicos que ajudarão o leitor ao longo do caminho para se tornar um especialista em Drupal. ... Ler mais +
QUERO VER -
Desenvolvimento de Software I - Conceitos Básicos - Série Tekne
Idealizado com o intuito de oferecer os subsídios necessários para uma formação qualificada, esta obra ajuda o leitor a compreender o desenvolvimento dos principais algoritmos de manipulação de estruturas de dados e as características de cada uma delas. Também oferece técnicas de programação para a solução de problemas. ... Ler mais +
QUERO VER -
Desenvolvendo Aplicações em Kylix
Tudo sobre como administrar a ferramenta RAD, das etapas de desenvolvimento inicial à distribuição de aplicações baseadas na Web. Traz detalhes sobre as estruturas, aplicações de bancos de dados e conjuntos de dados de RAD do Kilyx, ampliando o editor de código, usando Internet Direct para criar clientes e servidores de soquete e muito mais. ... Ler mais +
QUERO VER
Quem viu este produto , também se interessou
-
Desenvolvimento em Pro Drupal 7 - 3ª Edição
O livro possui foco no desenvolvedor, responsável pela criação e extensão da capacidade de um web site baseado em Drupal. A obra cobre tudo: os fundamentos da plataforma Drupal; o entendimento de como usar as APIs de Drupal; a escrita de módulos próprios para estender a funcionalidade de Drupal; a escrita de código seguro; a construção de web sites de alto desempenho; e outros tópicos que ajudarão o leitor ao longo do caminho para se tornar um especialista em Drupal. ... Ler mais +
QUERO VER -
Lauren Ipsum - Uma história sobre ciência da computação e outras coisas improváveis
Lauren Ipsum é uma jornada fantástica através de uma terra onde a lógica e a ciência da computação ganham vida.
QUERO VER
Conheça Lauren, uma aventureira perdida em Usuariolândia, que precisa resolver uma série de quebra-cabeças para encontrar o caminho para casa. À medida que visita lugares como o Café Inserção & Remoção e faz amizade com pessoas como Hugo Rústico e o Caixeiro-Viajante, Lauren aprende ciência da computação sem sequer se dar conta de que está aprendendo – e você também!... ... Ler mais + -
Vida de Programador – Volume 1 - /* coleção de tirinhas e outras histórias */
Programação é um processo criativo, é uma arte. E isso é muito bom, pois, se fosse algo mecânico, nós já teríamos sido substituídos por máquinas. Por outro lado, é muito ruim quando você precisa dar manutenção em código de algum programador que abusa dessa criatividade. ... Ler mais +
QUERO VER -
Data Science para Profissionais - Utilizando R
Veja a estatística de maneira simples e prática, revendo ou aprendendo conceitos importantes, como inferência. Aprenda a enxergar através dos dados, estruturados ou não, criando trabalhos de inferência, regressão, classificação e agrupamento. Veja como utilizar a linguagem R de um jeito descomplicado! Crie sistemas de Deep Learning utilizando o TensorFlow, da Google. TensorFlow? Em R? Sim!!! Aprenda a criar belas apresentações gráficas seguindo o conceito de “storytelling”. Um guia simples e completo com práticas, ferramentas e exemplos reais. ... Ler mais +
QUERO VER -
Aumente o poder de ASP para criar páginas da Web dinâmicas e aplicações que ampliem a funcionalidade em nível de servidor. Atualizado e repleto de scripts prontos para execução, este livro é um guia prático que abrange todos os assuntos relacionados a este tema, desde as características fundamentais do ASP até a criação de aplicações para a Web consistentes orientadas a banco de dados. As aplicações, scripts e fragmentos de código que fazem parte do CD são abordadas no texto, facilitando a navegação através do conteúdo do livro. O livro contém definições de processos para criação de uma loja virtual e de um site de leilão online. Acompanha um CD-ROM para auxiliar no aprendizado. ... Ler mais +
QUERO VER -
Conheça dispositivos de leitura, processos de produção e modelos de negócio Se editores e autores trabalharem juntos e conectados à demanda do mercado, verão que existe espaço para livros impressos e digitais caminharem juntos tranquilamente por muito tempo. ... Ler mais +
QUERO VER -
Desenvolvimento de Software I - Conceitos Básicos - Série Tekne
Idealizado com o intuito de oferecer os subsídios necessários para uma formação qualificada, esta obra ajuda o leitor a compreender o desenvolvimento dos principais algoritmos de manipulação de estruturas de dados e as características de cada uma delas. Também oferece técnicas de programação para a solução de problemas. ... Ler mais +
QUERO VER -
Desenvolvendo Web Components - UI do jQuery ao Polymer
Não importa sua experiência com bibliotecas como jQuery e Polymer, este livro ensina, aos desenvolvedores JavaScript, as manipulações do DOM que essas bibliotecas realizam. Você aprenderá a montar um widget básico com JavaScript pura, para depois convertê-lo em um Web Component semântico, declarativo, encapsulado, consumível e de fácil manutenção. ... Ler mais +
QUERO VER
- DescriçãoFundamentos da Programação Lógica e Funcional O princípio de resolução e a teoria de reescrita
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. - Sobre o Autor
- Especificação
Características
Tipo de Livro Livro Físico Especificações
Sobre o Autor MAURICIO AYALA-RICÓN
Maurício Ayala-rincón é professor titular e bolsista de produtividade em pesquisa do CNPq. Depois de concluir o doutorado em Informática na Universitaet Kaiserslautern (Alemanha) em 1993, iniciou suas atividades nos Departamentos de Matematica e Ciência da Computação da Universidade de Brasília, onde tem disseminado continuamente a teoria de reescrita e orientado dezenas de alunos e pesquisadores em todos os níveis, sempre em parceria com pesquisadores de instituições no exterior, como Karlsruher Institut für Technologie, Heriot-Watt University, NIA NASA LaRC e King's College London. Suas principais contribuições científicas estão relacionadas com o desenvolvimento de sistemas de reescrita com condições aritméticas, modelagem via sistemas de reescrita de termos de hardware reconfigurável e aplicações de reescrita em métodos formais.
FLÁVIO LEONARDO CAVALCANTI DE MOURA
Flávio Leonardo Cavalcanti de Moura é professor adjunto e bolsista pesquisador da Fundação de Estudos Matemáticos do Distrito Federal. Concluiu seu doutorado em Matemática na Universidade de Brasília (Brasil) em 2006, realizando estágio sanduíche na Heriot-Watt University (Escócia). Iniciou atividades docentes no Departamento de Ciência da Computação da Universidade de Brasília em 2006, onde tem orientado alunos de mestrado e realizado pesquisa na área de teoria de reescrita e cálculo lambda. Suas contribuições científicas, desenvolvidas em cooperação com o primeiro autor e com os pesquisadores de instituições como Heriot-Watt University e Université Paris Diderot, estão relacionadas com a análise de algoritmos de unificação de ordem superior em cálculos com substituições explícitas e formulação de propriedades, como confluência e teminação, para variantes destes cálculos.Informações Técnicas
Nº de páginas: 232 Origem: Nacional Editora: Editora UNB Idioma: Português Edição: 1ª Edição Ano: 2014 ISBN: 9788523011413 Encadernação: Brochura Autor: Mauricio Ayala-Rincón e Flávio Leonardo Cavalcanti de Moura - Informações
Avaliação técnica sobre o livro
