Programação: Lógica Combinatória
A

Programação: Lógica Combinatória

Haskell
combinatory logic lambda calculus Haskell type theory category theory formal systems programming foundations
Autor
I. A. Kudryavtseva, M. V. Shvetsky
Editora
Yurait
Ano
2022
Idioma
Russo
173
Avaliar este livro

Para ler o livro, entrar / registrar

Pré-visualizar fragmento

Livros similares

Programação: livro didático e manual prático para universidades

Programação: livro didático e manual prático para universidades

S. V. Zykov

Construção de Compiladores. Fundamentos e Aplicações

Construção de Compiladores. Fundamentos e Aplicações

Hanspeter Mössenböck

Treinamento Algorítmico. Soluções de Problemas Práticos em Python e C++

Treinamento Algorítmico. Soluções de Problemas Práticos em Python e C++

Maksim Ivanov

A Arte da Demonstração em Matemática. Curso de Palestras com Exercícios

A Arte da Demonstração em Matemática. Curso de Palestras com Exercícios

Daniel Velleman

Algoritmo Perfeito. Algoritmos para Problemas NP-Difíceis

Algoritmo Perfeito. Algoritmos para Problemas NP-Difíceis

Tim Raghgarden

A Vida Secreta dos Programas. Como Criar um Código que Seu Computador Vai Adorar

A Vida Secreta dos Programas. Como Criar um Código que Seu Computador Vai Adorar

Jonathan Steinhart

Mínimo teórico sobre Big Data. Tudo o que você precisa saber sobre dados massivos

Mínimo teórico sobre Big Data. Tudo o que você precisa saber sobre dados massivos

Yn Annalin, Su Kennet

Ciência da Computação: fundamentos de programação em Java, POO, algoritmos e estruturas de dados

Ciência da Computação: fundamentos de programação em Java, POO, algoritmos e estruturas de dados

Robert Sedgewick, Kevin Wayne

Prova de correção de programas

Prova de correção de programas

K. Rustan M. Leyno