Da Computabilidade Formal às Máquinas Programáveis

dc.creatorSobral, João Bosco M.
dc.date2015-12-23T14:03:49Z
dc.date2015-12-23T14:03:49Z
dc.date2015-12-23
dc.date.accessioned2017-04-04T03:54:03Z
dc.date.available2017-04-04T03:54:03Z
dc.identifier978-85-902995-3-0
dc.identifierhttps://repositorio.ufsc.br/xmlui/handle/123456789/157317
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/768598
dc.descriptionLivro de apoio ao ensino de graduação em disciplinas de matemática discreta e lógica, em cursos de ciência da computação.
dc.description(0) O Embrião da Ciência da Computação; (1) Calculadoras Macânicas, a pré-história dos computadores; (2) Alonzo Church, funções computáveis; (3) Alan Turing, a computação sem computador; (4)A Computabilidade de Emil Post; (5)Funções Recursivas Computáveis; (6)O Legado de von Neumann; (7) Shannon, da álgebra de Boole à matemática da comunicação; (8)Breve história dos primeiros computadores; (9)História da Teoria da Complexidade; (10)Modelos de computação em grafos ; (11)Lógicas Clássicas e Não-Clássicas; (12)Visão Abstrata de Dados; (13)O paradigma da computação ubíqua; (14) O Futuro, a computação quântica.
dc.descriptionrecursos próprios; recursos do Departamento de Informática e Estatística da UFSC
dc.languagept_BR
dc.relationPensamento Matemático @ Ciência da Computação;002-23122015
dc.subjectcomputação
dc.subjecthistória
dc.subjectlógica matemática
dc.subjectciência da computação
dc.subjectcomputabilidade formal
dc.subjectcomplexidade computacional
dc.subjectfunções recursivas computáveis
dc.subjectcalculadoras mecânicas
dc.subjectprimeiros computadores
dc.subjectmodelos computacionais em grafos
dc.subjectvisão abstrata de dados
dc.subjectcomputação ubíqua
dc.subjectcomputação quântica
dc.titleDa Computabilidade Formal às Máquinas Programáveis
dc.typeLibros


Este ítem pertenece a la siguiente institución