dc.contributor.author |
Sobral, João Bosco M. |
|
dc.date.accessioned |
2015-12-23T14:03:49Z |
|
dc.date.available |
2015-12-23T14:03:49Z |
|
dc.date.issued |
2015-12-23 |
|
dc.identifier.isbn |
978-85-902995-3-0 |
|
dc.identifier.uri |
https://repositorio.ufsc.br/xmlui/handle/123456789/157317 |
|
dc.description |
Livro de apoio ao ensino de graduação em disciplinas de matemática discreta e lógica, em cursos de ciência da computação. |
pt_BR |
dc.description.abstract |
(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. |
pt_BR |
dc.description.sponsorship |
recursos próprios; recursos do Departamento de Informática e Estatística da UFSC |
pt_BR |
dc.language.iso |
por |
pt_BR |
dc.relation.ispartofseries |
Pensamento Matemático @ Ciência da Computação;002-23122015 |
|
dc.subject |
computação |
pt_BR |
dc.subject |
história |
pt_BR |
dc.subject |
lógica matemática |
pt_BR |
dc.subject |
ciência da computação |
pt_BR |
dc.subject |
computabilidade formal |
pt_BR |
dc.subject |
complexidade computacional |
pt_BR |
dc.subject |
funções recursivas computáveis |
pt_BR |
dc.subject |
calculadoras mecânicas |
pt_BR |
dc.subject |
primeiros computadores |
pt_BR |
dc.subject |
modelos computacionais em grafos |
pt_BR |
dc.subject |
visão abstrata de dados |
pt_BR |
dc.subject |
computação ubíqua |
pt_BR |
dc.subject |
computação quântica |
pt_BR |
dc.title |
Da Computabilidade Formal às Máquinas Programáveis |
pt_BR |
dc.type |
Book |
pt_BR |