https://repositorio.ufsc.br/handle/123456789/136430 Pensamento Matemático @ Ciência da Computação Sun, 24 May 2026 13:54:40 GMT 2026-05-24T13:54:40Z https://repositorio.ufsc.br/handle/123456789/197690 Especificando Privacidade em Ambientes de Computação Ubíqua Kalempa, Vivian Cremer; Sobral, João Bosco Mangueira A computação ubíqua provê ambientes com serviços e dispositivos interconectados que promovem a integração de infra-estrutura digital na vida das pessoas. Porém, por haver muitos empecilhos técnicos que impedem que a computação ubíqua se torne realidade, o foco da pesquisa atual acaba voltando-se, na maioria dos casos, para os assuntos técnicos como, por exemplo, como conectar novos dispositivos e construir aplicações úteis para melhorar a funcionalidade desses ambientes. Contudo, assuntos como segurança e privacidade ainda são pouco tratados. Além disso, nesses ambientes torna-se difícil a separação entre a seguraça física e a segurança digital. Assim, fica claro que o paradigma da computação ubíqua introduz novas vulnerabilidades e exposições aos usuários dos seus ambientes, mostrando que as tecnologias, políticas e leis existentes não estão adequadas para lidar com essas novas situações. Neste livro, os desafios em garantir privacidade em ambientes de computação ubíqua são explorados. Além disso, um metamodelo que endereça alguns destes desafios é descrito, apresentado e simulado na ferramenta Opnet. Livro oriundo da dissertação de mestrado de Vivian Cremer Kalempa, PPGCC-UFSC, 2009, com orientação do co-autor. Thu, 30 Nov 2017 00:00:00 GMT https://repositorio.ufsc.br/handle/123456789/197690 2017-11-30T00:00:00Z https://repositorio.ufsc.br/handle/123456789/157317 Da Computabilidade Formal às Máquinas Programáveis Sobral, João Bosco M. (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. 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. Wed, 23 Dec 2015 00:00:00 GMT https://repositorio.ufsc.br/handle/123456789/157317 2015-12-23T00:00:00Z https://repositorio.ufsc.br/handle/123456789/157316 Dos Primórdios da Matemática aos Sistemas Formais da Computação Sobral, João Bosco M. (0) Introdução (1) As Bases da Ciência da Computa cão,(2) As Origens: A Aritmética, (3) Os Números, (4) Os Números Primos, (5) Congruência e Aritm ética Modular, (6) Álgebra na Europa (7) A Lógica: de Leibniz a Boole, (8) Século XIX: Frege e a Lógica dos Predicados, (9) A Teoria dos Conjuntos, (10) Rela ções e Funcões, (11) Grupos e Corpos (12) Conjuntos e Enumera cão, (13) A Aritm ética nos Séculos XIX e XX, (14) Hilbert - Formalismo e os Sistemas Axiom áticos, (15) Gödel e os Limites dos Sistemas Formais, (16) Dos Fundamentos da Matemática aos Sistemas Formais, e (17) Os Sistemas Formais da Computa cão. 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. Wed, 23 Dec 2015 00:00:00 GMT https://repositorio.ufsc.br/handle/123456789/157316 2015-12-23T00:00:00Z