Jornada de Atualização em Informática 2015

Autores

Cláudia Linhares Sales (ed)
UFC
Henrique Emanuel Mostaert Rebêlo (ed)
UFPE

Palavras-chave:

JAI 2015

Sinopse

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

Downloads

Não há dados estatísticos.

Data de publicação

20/07/2015

Licença

Creative Commons License

Este trabalho está licenciado sob uma licença Creative Commons Attribution-NonCommercial 4.0 International License.

Detalhes sobre o formato disponível para publicação: Volume Completo

Volume Completo

ISBN-13 (15)

978-85-88442-99-3