Jornada de Atualização em Informática 2015
Palavras-chave:
JAI 2015Sinopse
O XXXIV Jornada de Atualização em Informática (JAI 2015) traz 6 minicursos apresentados durante o XXXV Congresso da Sociedade Brasileira de Computação (CSBC 2015). Os Capítulos 1 e 3 introduzem e trazem avanços nos fundamentos teóricos da ciência da computação, tais como classes de problemas, computabilidade e lógica computacional, além de técnicas de resolução de problemas difíceis (em otimização combinatória), apresentando conceitos, além de novos e velhos desafios que tem intrigado pesquisadores da área desde sempre. Por outro lado, o Capítulo 5 introduz conceitos para refinamentos na classificação de problemas difíceis, completando destarte juntamente com os Capítulos 1 e 3, um panorama extenso da diversidade do que se entende ser a área de teoria da computação, marcando a criação da comissão especial desta área na Sociedade Brasileira da Computação em 2014. Em contraste com os capítulos anteriormente citados, que tem ênfase em seus aspectos teóricos, nos Capítulos 2 e 6 a ciência da computação se apresenta em algumas de suas vertentes mais arrojadas, pelas áreas de computação urbana e robótica móvel, onde o primeiro capítulo, além de introduzir o
conceito de computação urbana, discorre sobre as técnicas de sensoriamento das redes urbanas; e o segundo apresenta os principais conceitos de robótica móvel e de robôs articulados. O Capitulo 6, por sua vez, tem foco em aspectos práticos de engenharia de software, introduzindo uma linguagem de especificação para projeto de interface de sistemas de informação e exemplificando o uso da mesma.
Capítulos
-
1. Teoria da Computação: Uma Introdução à Complexidade e à Lógica Computacional
-
2. Computação Urbana: Técnicas para o Estudo de Sociedades com Redes de Sensoriamento Participativo
-
3. Introdução à Otimização Combinatória
-
4. IFML: Linguagem de Modelagem de Fluxo de Interação
-
5. Uma introdução à complexidade parametrizada
-
6. Simulação de Robôs Móveis e Articulados: Aplicações e Prática
Downloads
Downloads
Data de publicação
Licença
Este trabalho está licenciado sob uma licença Creative Commons Attribution-NonCommercial 4.0 International License.
