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
И. А. Кудрявцева, М. В. Швецкий
Editora
Юрайт
Ano
2022
Idioma
Russo
31
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

С. В. Зыков

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

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

Ханспетер Мёссенбёк

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++

Максим Иванов

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

Дэниэл Веллеман

Algoritmo Perfeito. Algoritmos para Problemas NP-Difíceis

Algoritmo Perfeito. Algoritmos para Problemas NP-Difíceis

Тим Рафгарден

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

Джонатан Стейнхарт

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

Ын Анналин, Су Кеннет

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

Роберт Седжвик, Кевин Уэйн

Prova de correção de programas

Prova de correção de programas

К. Рустан М. Лейно