Assistente de provas

Na ciência da computação e na lógica matemática, um assistente de provas ou provador interativo de teoremas é uma ferramenta de software concebida para auxiliar no desenvolvimento de demonstrações formais por meio da colaboração homem-máquina. Isso envolve algum tipo de editor interativo de demonstrações ou outra interface com a qual um ser humano pode guiar a busca por demonstrações, cujos detalhes são armazenados e alguns passos são fornecidos por um computador.

Nº Q11387554 ★★

Incomum · Saberes

Assistente de provas

Último preço

—

Preço mínimo

—

Mediana 7 d

—

Vendas 30 d

Faixa 30 d

—

Em circulação

Cotação

Ver tabela

Data	mediana	Mín	Máx	vendas

Histórico de vendas

Última venda: —
Média 30 d: —
Mínima 30 d: —
Máxima 30 d: —
Vendas 7 d: 0
Vendas 30 d: 0

Ainda sem vendas.

Vendas anônimas: sem comprador nem vendedor. Os números contam só vendas entre jogadores.

Na Wikipédia

Texto: Wikipédia, CC BY-SA 4.0. · Imagem: Roconnor (Public domain) ·

Cartas próximas

Coq

Linguagem de programação

Nº Q1131652 ★★

Leonardo de Moura

Nº Q84844322 ★★★

Assistente virtual inteligente

Nº Q3467906 ★★

Lean (linguagem de programação)

Software para demonstração interativa e automatizada de teoremas

Nº Q6509476 ★★★

Prova matemática

Raciocínio lógico para validar afirmações teóricas

Nº Q11538 ★★

Tool-assisted speedrun

Nº Q2661314 ★★★