Learning Journey on Informatics 2015
Keywords:
JAI 2015Synopsis
The 34th Learning Journey on Informatics (JAI 2015) brings 6 short courses presented during the 35th Congress of the Brazilian Computing Society (CSBC 2015). Chapters 1 and 3 introduce and advance the theoretical foundations of computer science, such as problem classes, computability, and computational logic, as well as difficult problem-solving techniques (in combinatorial optimization), introducing concepts as well as new and old challenges that have intrigued researchers in the field since the beginning. On the other hand, Chapter 5 introduces concepts for refinements in the classification of difficult problems, thus completing, together with Chapters 1 and 3, an extensive overview of the diversity of what is understood to be the area of theory of computation, marking the creation of the special commission. this area at the Brazilian Computing Society in 2014. In contrast to the aforementioned chapters, which emphasize their theoretical aspects, in Chapters 2 and 6, computer science presents itself in some of its boldest aspects, in the areas of urban computing and mobile robotics, where the first chapter, in addition, introduce the concept of urban computing, discusses the sensing techniques of urban networks; and the second presents the main concepts of mobile robotics and articulated robots. Chapter 6, in turn, focuses on practical aspects of software engineering, introducing a specification language for information systems interface design and exemplifying its use.
Chapters
-
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
Publication date
Series
License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
