Da Computabilidade Formal às Máquinas Programáveis

Detalhes bibliográficos
Autor(a) principal: Sobral, João Bosco M.
Data de Publicação: 2015
Tipo de documento: Livro
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/xmlui/handle/123456789/157317
Resumo: 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.
id UFSC_4317362457d989fbaba97a354c198d68
oai_identifier_str oai:repositorio.ufsc.br:123456789/157317
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Da Computabilidade Formal às Máquinas Programáveiscomputaçãohistórialógica matemáticaciência da computaçãocomputabilidade formalcomplexidade computacionalfunções recursivas computáveiscalculadoras mecânicasprimeiros computadoresmodelos computacionais em grafosvisão abstrata de dadoscomputação ubíquacomputação quânticaLivro de apoio ao ensino de graduação em disciplinas de matemática discreta e lógica, em cursos de ciência da computação.(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.recursos próprios; recursos do Departamento de Informática e Estatística da UFSC2015-12-23T14:03:49Z2015-12-23T14:03:49Z2015-12-23info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bookapplication/pdf978-85-902995-3-0https://repositorio.ufsc.br/xmlui/handle/123456789/157317Pensamento Matemático @ Ciência da Computação;002-23122015Sobral, João Bosco M.porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2015-12-23T14:03:49Zoai:repositorio.ufsc.br:123456789/157317Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732015-12-23T14:03:49Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Da Computabilidade Formal às Máquinas Programáveis
title Da Computabilidade Formal às Máquinas Programáveis
spellingShingle Da Computabilidade Formal às Máquinas Programáveis
Sobral, João Bosco M.
computação
história
lógica matemática
ciência da computação
computabilidade formal
complexidade computacional
funções recursivas computáveis
calculadoras mecânicas
primeiros computadores
modelos computacionais em grafos
visão abstrata de dados
computação ubíqua
computação quântica
title_short Da Computabilidade Formal às Máquinas Programáveis
title_full Da Computabilidade Formal às Máquinas Programáveis
title_fullStr Da Computabilidade Formal às Máquinas Programáveis
title_full_unstemmed Da Computabilidade Formal às Máquinas Programáveis
title_sort Da Computabilidade Formal às Máquinas Programáveis
author Sobral, João Bosco M.
author_facet Sobral, João Bosco M.
author_role author
dc.contributor.author.fl_str_mv Sobral, João Bosco M.
dc.subject.por.fl_str_mv computação
história
lógica matemática
ciência da computação
computabilidade formal
complexidade computacional
funções recursivas computáveis
calculadoras mecânicas
primeiros computadores
modelos computacionais em grafos
visão abstrata de dados
computação ubíqua
computação quântica
topic computação
história
lógica matemática
ciência da computação
computabilidade formal
complexidade computacional
funções recursivas computáveis
calculadoras mecânicas
primeiros computadores
modelos computacionais em grafos
visão abstrata de dados
computação ubíqua
computação quântica
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.
publishDate 2015
dc.date.none.fl_str_mv 2015-12-23T14:03:49Z
2015-12-23T14:03:49Z
2015-12-23
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/book
format book
status_str publishedVersion
dc.identifier.uri.fl_str_mv 978-85-902995-3-0
https://repositorio.ufsc.br/xmlui/handle/123456789/157317
identifier_str_mv 978-85-902995-3-0
url https://repositorio.ufsc.br/xmlui/handle/123456789/157317
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv Pensamento Matemático @ Ciência da Computação;002-23122015
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652129357791232

Registros relacionados