- Main
- Mathematics - Logic
- 論理と計算のしくみ
論理と計算のしくみ
萩谷 昌己, 西崎 真也Quanto Você gostou deste livro?
Qual é a qualidade do ficheiro descarregado?
Descarregue o livro para avaliar a sua qualidade
De que qualidade são os ficheiros descarregados?
論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるλ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。
Categorias:
Ano:
2007
Editora:
岩波書店
Idioma:
japanese
Arquivo:
PDF, 41.81 MB
As suas tags:
IPFS:
CID , CID Blake2b
japanese, 2007
Ler online
- Descargar
- pdf 41.81 MB Current page
- Checking other formats...
- Converter para
- Desbloquear a conversão de ficheiros superiores a 8 MB Premium
Quer adicionar a sua livraria? Entre em contato conosco em support@z-lib.do
O arquivo será enviado para o email durante 1-5 minutos.
O arquivo será enviado a você através do Messenger Telegram. Pode levar de 1 a 5 minutos antes de recebê-lo.
NOTA: Verifique se você ligou a sua conta ao Telegram Bot da Z-Library.
O arquivo será enviado para sua conta do Kindle. Pode levar de 1 a 5 minutos antes de recebê-lo.
Nota: Você precisa verificar cada livro que envia para o Kindle. Verifique sua caixa de e-mail para um e-mail de confirmação do Amazon Kindle Support.
A converter para
Conversão para falhou
Benefícios do estatuto premium
- Envie para leitores eletrónicos
- Limite aumentado de download
- Converter ficheiros
- Mais resultados de pesquisa
- Outros benefícios