Um caminho para a educação autodidata em Ciência da Computação!
(_Clique na imagem para ampliar._)
## Obrigatórias
A grade curricular abaixo está dividida em etapas para melhor visualização
### 1ª Etapa
| Etapa | Aulas em Vídeo | Pré-requisitos | Leitura Recomendada |
|---|---|---|---|
| 1 | [Circuitos Digitais](https://www.youtube.com/playlist?list=PLXyWBo_coJnMYO9Na3t-oYsc2X4kPJBWf) | - | [Livros sobre Circuitos Digitais](extras/bibliography/01_digital_circuits.md) |
| 1 | [Matemática Discreta](https://www.youtube.com/watch?v=KGoSTh1sgyM&list=PL6mfjjCaO1WrEJ0JKRyXO3QjaPkJaSvAS) | - | [Livros sobre Matemática Discreta](extras/bibliography/02_discrete_mathematics.md) |
| 1 | [Linguagens de Programação](https://www.youtube.com/watch?v=xfDdxqbkiSQ&list=PLnzT8EWpmbka4KukGR184tifzqcuq_ZDv) | - | [Livros sobre Linguagens de Programação](extras/bibliography/03_programming_languages.md) |
| 1 | [Introdução à Ciência da Computação com Python I](https://youtube.com/playlist?list=PLcoJJSvnDgcKpOi_UeneTNTIVOigRQwcn&si=RT7FxhHXAYGUuYJD) | - | [Livros sobre Introdução a CC](extras/bibliography/04_intro_python.md) |
| 1 | [Geometria Analítica](https://www.youtube.com/watch?v=ijkDjQT7UPM&list=PL82Svt6JAgOH3M6TCELx8oegTVCriUg3L) | - | [Livros sobre Geometria Analítica](extras/bibliography/05_analytic_geometry.md) |
---
### 2ª Etapa
| Etapa | Aulas em Vídeo | Pré-requisitos | Leitura Recomendada |
| -------- | --------------- | --------------- | -------------------- |
| 2 | [Cálculo I](https://www.youtube.com/watch?v=WgHUHPlJETs&list=PLAudUnJeNg4tr-aiNyYCXE46L3qEZ2Nzx) | [Geometria Analítica](https://www.youtube.com/watch?v=ijkDjQT7UPM&list=PL82Svt6JAgOH3M6TCELx8oegTVCriUg3L) | [Livros de Cálculo I](extras/bibliography/06_intro_calculus.md) |
| 2 | [Álgebra Linear I](https://www.youtube.com/playlist?list=PLIEzh1OveCVczEZAjhVIVd7Qs-X8ILgnI) | [Geometria Analítica](https://www.youtube.com/watch?v=ijkDjQT7UPM&list=PL82Svt6JAgOH3M6TCELx8oegTVCriUg3L) | [Livros de Álgebra Linear](extras/bibliography/07_intro_linear_algebra.md) |
| 2 | [Estruturas de Dados](https://www.youtube.com/watch?v=0hT3EKGhbpI&list=PLndfcZyvAqbofQl2kLLdeWWjCcPlOPnrW) | [Matemática Discreta](https://www.youtube.com/watch?v=KGoSTh1sgyM&list=PL6mfjjCaO1WrEJ0JKRyXO3QjaPkJaSvAS)
| Título | Sistemas Digitais: Princípios e Aplicações |
|---|---|
| Autores | Ronald J. Tocci, Neal S. Widner, Gregory L. Moss. |
| Ano de Publicação | 2019 |
| Edição | 12.a edição. |
| ISBN | 9788543025018 |
Este livro promove um estudo abrangente dos princípios e técnicas de sistemas digitais modernos. Além de ensinar os fundamentos do tema, cobre em detalhes tanto métodos modernos quanto tradicionais de aplicação de projetos digitais e técnicas de desenvolvimento, inclusive como gerenciar um projeto em nível de sistema. Nesta 12ª edição tecnologias obsoletas foram substituídas ou abreviadas para oferecer somente conteúdo apropriado aos sistemas modernos. O Capítulo 1 foi extensivamente revisado e atualizado e novos problemas e exemplos foram adicionados em todo o livro. Sistemas digitais é leitura fundamental para cursos de engenharia, assim como para disciplinas ministradas nos cursos de automação, ciência da computação e eletrônica, entre outros.
| Título | Organização Estruturada de Computadores |
|---|---|
| Autores | Tanenbaum, Andrews S. |
| Ano de Publicação | 2013 |
| Edição | 6.a edição. |
| ISBN | 9788581435398 |
Esta sexta edição traz o que há de mais moderno em termos de organização estruturada de computadores, apresentando as terminologias, tecnologias e tendências mais recentes em organização e arquitetura de computadores. Com novos exemplos e discussões sobre x86, microcontroladores AVR e arquitetura ARM, ''Organização estruturada de computadores'' é uma obra indispensável para estudantes de ciência da computação, engenharia da computação, análise e desenvolvimento de sistemas e sistemas de informação, bem como para profissionais da área.
| Título | Sistemas Digitais: Fundamentos e Aplicações |
|---|---|
| Autores | Floyd, Thomas L. |
| Ano de Publicação | 2007 |
| Edição | 9.a edição. |
| ISBN | 9788577801077 |
Best-seller que, ao longo de 25 anos, vem proporcionando ao estudante o desenvolvimento de habilidades práticas. É uma obra completa e seu ponto forte são as inúmeras aplicações reais dos sistemas digitais nas indústrias. Conta também com material de apoio para os professores em português e em inglês. O livro inclui dois CD-ROMs.
================================================ FILE: extras/bibliography/02_discrete_mathematics.md ================================================ # Livros: Matemática Discreta
| Título | Matemática Concreta. Fundamentos Para Ciência Da Computação |
|---|---|
| Autores | RGRAHAM, R.L.; KNUTH, D.E.; PATASHNIK, O. |
| Ano de Publicação | 1995 |
| Edição | 2.a edição. |
| ISBN | 9788521610403 |
Segunda edição revisada e atualizada. Introduz a matemática para suporte de programação e análise de algoritmos. Apresenta teoria para resolução de problemas complexos. O livro contém 500 exercícios divididos em seis categorias. Aborda, entre outros tópicos, funções dos números inteiros, teoria elementar dos números e probabilidade.
| Título | Fundamentos matemáticos para a ciência da computação: matemática discreta e suas aplicações |
|---|---|
| Autores | GERSTING, Judith L. |
| Ano de Publicação | 2016 |
| Edição | 7.a edição. |
| ISBN | 9788521632597 |
Assim como a representação binária é o fundamento matemático do próprio computador, as ideias da matemática discreta são os fundamentos matemáticos da ciência da computação. Esta sétima edição continua a abordagem amigável das edições anteriores dirigida ao estudante, com explicações claras, muitos exemplos e auxílios para sua aprendizagem, como problemas práticos, lembretes, objetivos dos capítulos, revisões das seções e revisões dos capítulos. Foram adicionadas muitas características novas, e uma lista completa delas pode ser encontrada no prefácio deste livro. Uma inovação desta edição de Fundamentos Matemáticos para a Ciência da Computação – Matemática Discreta e Suas Aplicações é que, no final do livro, são dadas as respostas de todos os exercícios ímpares, em vez de apenas as respostas de alguns exercícios selecionados. Quando o exercício pede uma demonstração, é dada a demonstração completa. Em outros casos, é dada apenas uma resposta, não necessariamente a solução. O Guia de Estudos Online, disponível no site da LTC Editora – GEN | Grupo Editorial Nacional, mediante cadastro, contém amostras de problemas com soluções passo a passo que correspondem a muitas das técnicas nos finais das seções do livro. Cada técnica que tem uma página correspondente na internet está marcada com um ícone no texto.
| Título | Matemática Discreta: Uma Introdução |
|---|---|
| Autores | SCHEINERMAN, E.R. |
| Ano de Publicação | 2016 |
| Edição | 3.a edição. |
| ISBN | 9788522125340 |
Dirigida a interessados em matemática discreta de maneira geral, esta obra apresenta uma visão geral de toda a matemática a partir da perspectiva da matemática discreta. O livro cobre desde a natureza da matemática (definições, teoremas, provas e contraexemplos), lógica, conjuntos e relações, até técnica avançadas de prova, probabilidades discretas, teoria dos números, teoria dos grafos e álgebra abstrata, incluindo aplicações em criptografia. Esta terceira edição conta com muitos problemas e exercícios que exploram as interligações entre os diversos temas tratados.
================================================ FILE: extras/bibliography/03_programming_languages.md ================================================ # Livros: Linguagens de Programação > #### ⚠️ Infelizmente, nessa seção a bibliografia está em inglês. Caso conheça materiais de qualidade sobre o assunto em Português, abra um PR.
| Título | Concepts, Techniques, and Models of Computer Programming |
|---|---|
| Autores | Peter Van Roy & Seif Haridi |
| Ano de Publicação | 2004 |
| Edição | 2.a edição. |
| ISBN | 9780262220699 |
"This is a fascinating book. It's been almost 20 years since Abelson and Sussman revolutionized the teaching of computer science with their Structure and Interpretation of Computer Programs. In all that time, there have been several books (some of them quite good) following SICP's ideas pretty closely, and of course many books following the old pedagogy in which the details of a programming language are the focus, with few deep ideas. But this is the first book I've seen that focuses on big ideas and multiple paradigms, as SICP does, but chooses a very different core model (declarative programming) the first real intellectual competition to Abelson and Sussman. I wouldn't have made all the choices Van Roy and Haridi have made, but I learned a lot from reading this book, and I hope it gets a wide audience." --Brian Harvey, Lecturer, Computer Science Division, University of California, Berkeley
| Título | Types and Programming Languages |
|---|---|
| Autores | Benjamin Pierce |
| Ano de Publicação | 2009 |
| Edição | 3.a edição. |
| ISBN | 9780123745149 |
--Robin Milner, Computer Laboratory, University of Cambridge
" Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects." --Robin Milner, Computer Laboratory, University of Cambridge
" Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects. " --Robin Milner, Computer Laboratory, University of Cambridge
"Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects."--Robin Milner, Computer Laboratory, University of Cambridge
| Título | Programming Language Pragmatics |
|---|---|
| Autores | Michael L. Scott |
| Ano de Publicação | 2015 |
| Edição | 4.a edição. |
| ISBN | 9788522125340 |
Programming Language Pragmatics, Fourth Edition, is the most comprehensive programming language textbook available today. It is distinguished and acclaimed for its integrated treatment of language design and implementation, with an emphasis on the fundamental tradeoffs that continue to drive software development.
The book provides readers with a solid foundation in the syntax, semantics, and pragmatics of the full range of programming languages, from traditional languages like C to the latest in functional, scripting, and object-oriented programming. This fourth edition has been heavily revised throughout, with expanded coverage of type systems and functional programming, a unified treatment of polymorphism, highlights of the newest language standards, and examples featuring the ARM and x86 64-bit architectures.
| Título | Pense em Python: Pense como um Cientista da Computação |
|---|---|
| Autores | DOWNEY, B.A. |
| Ano de Publicação | 2016 |
| Edição | 2.a edição. |
| ISBN | 9788575225080 |
Se você quer aprender como programar, usar Python é uma ótima forma de começar. Este guia prático apresenta a linguagem passo a passo, começando com conceitos de programação básicos antes de chegar a funções, recursividade, estruturas de dados e design orientado a objeto. Esta edição e seu código de apoio foram atualizados para o Python 3. Com os exercícios em cada capítulo, você testará conceitos de programação conforme os aprende. ''Pense em Python'' é ideal para estudantes de ensino médio e universitários ou para autodidatas, estudantes educados em casa e profissionais que precisam aprender fundamentos de programação. Os principiantes que queiram apenas ter uma noção básica, podem começar a usar Python em um navegador. Comece com o básico, incluindo sintaxe e semântica da linguagem. Tenha uma definição clara de cada conceito de programação. Aprenda sobre valores, variáveis, instruções, funções e estruturas de dados em uma progressão lógica. Descubra como trabalhar com arquivos e bancos de dados. Entenda objetos, métodos e programação orientada a objeto. Use técnicas de depuração para corrigir erros de sintaxe, tempo de execução e semânticos. Explore funções, estruturas de dados e algoritmos com uma série de estudos de caso. O código de exemplo deste livro é mantido em um repositório GitHub público, no qual os usuários podem carregá-lo e modificá-lo facilmente.
| Título | Fundamentos da programação de computadores: algoritmos, Pascal, C/C++ e Java |
|---|---|
| Autores | ASCENCIO, Ana Fernanda Gomes; CAMPOS, Edilene Aparecida Veneruchi de. |
| Ano de Publicação | 2012 |
| Edição | 3.a edição. |
| ISBN | 9788564574168 |
Referência na área, Fundamentos da programação de computadores: algoritmos, PASCAL, C/C++ (padrão ANSI) e JAVA traz em sua nova edição muitas novidades. Mantendo a estrutura lógica que o consagrou, o livro revisa as classes JAVA e trata de vetores e matrizes dinâmicas, bem como aborda o padrão ANSI para as resoluções em C/C++. Além disso, apresenta dois capítulos inéditos: Introdução à programação orientada a objetos e Desafios. Tudo isso somado aos diversos exemplos, problemas e analogias apresentados fazem desta obra ideal para alunos de ciência da computação, engenharia da computação, sistemas de informação, análise de sistemas e desenvolvimento de sistemas.
| Título | Introdução a Estruturas de Dados: com técnicas de programação em C |
|---|---|
| Autores | CELES, Waldemar; CERQUEIRA, Renato; RANGEL, José Lucas. |
| Ano de Publicação | 2016 |
| Edição | 2.a edição. |
| ISBN | 9788535283457 |
A primeira edição do livro introduz programação em C e apresenta as seguintes estruturas de dados: vetor, matriz, lista encadeada, pilha, fila, árvore binária, árvore binária de busca, árvore com número variável de filhos e tabela de dispersão (hash). A 2ª edição propõe-se a ideia de estender a obra, apresentando estruturas de dados mais avançadas, a saber: vetor dinâmico, vetor de bits, lista de prioridade (heap), árvore AVL, árvore B, união-busca e grafo. Apresentação das estruturas de dados de forma bem objetiva, pragmática, para a construção de soluções de problemas diversos; Introdução das estruturas de dados mais utilizadas para o desenvolvimento de programas.
================================================ FILE: extras/bibliography/05_analytic_geometry.md ================================================ # Livros: Geometria Analítica
| Título | Geometria Analítica: Um Tratamento Vetorial |
|---|---|
| Autores | BOULOS, P., CAMARGO, I. |
| Ano de Publicação | 2004 |
| Edição | 3.a edição. |
| ISBN | 9788587918918 |
Nova edição de Geometria Analítica - Um Tratamento Vetorial confirma sua posição como um clássico das ciências exatas. Ampliado e completamente revisto pelos autores, o livro traz centenas de novos exemplos e exercícios, além de ilustrações totalmente refeitas. Possui novo layout que proporciona uma leitura mais agradável e facilita a compreensão e a localização de tópicos e exercícios, mas a estrutura didática bem-sucedida das edições anteriores foi cuidadosamente mantida. Escrita em linguagem clara e objetiva, este livro traz respostas para os exercícios e estratégias de solução, o que o torna um guia essencial para o estudo da Geometria.
| Título | Matrizes, vetores : Geometria analítica |
|---|---|
| Autores | CAROLI, A., CALLIOLI, C.A, FEITOSA, M.O.. |
| Ano de Publicação | 1984 |
| Edição | 17.a edição. |
| ISBN | 9788521304067 |
O presente trabalho destina-se principalmente aos alunos das Faculdades de Engenharia e Filosofia, e de outras Faculdades de cujo currículo constem cursos de Geometria Analítica e Cálculo Vetorial.
================================================ FILE: extras/bibliography/06_intro_calculus.md ================================================ # Livros: Cálculo I
| Título | Cálculo: Volume I |
|---|---|
| Autores | STEWART, James. |
| Ano de Publicação | 2021 |
| Edição | 9.a edição. |
| ISBN | 9786555584011 |
Nesta 9ª edição, assim como em todas as anteriores, os autores mantêm a tradição de escrever um livro que auxilie os estudantes a descobrir o cálculo – tanto por sua utilidade prática, como por sua surpreendente beleza. O intuito é transmitir ao leitor uma ideia da utilidade do cálculo, assim como promover o desenvolvimento de sua habilidade técnica. Ao mesmo tempo, os autores empenharam-se em valorizar a beleza intrínseca do assunto. Não há dúvida de que Newton experimentou uma sensação de triunfo quando fez suas grandes descobertas. O objetivo desta obra é fazer que os estudantes compartilhem um pouco desse entusiasmo.
| Título | Um Curso de Cálculo - Vol. 1 |
|---|---|
| Autores | GUIDORIZZI, H. |
| Ano de Publicação | 2018 |
| Edição | 6.a edição. |
| ISBN | 9788521635437 |
Guidorizzi, o conteúdo integral para o seu diferencial! De Hamilton Luiz Guidorizzi, Um Curso de Cálculo apresenta recursos pedagógicos digitais que aprofundam e fixam a aprendizagem dos estudantes de Cálculo e auxiliam aulas de professores da disciplina. Este primeiro volume aborda temas como limite, derivada, integral de funções, entre outros. É indicado para alunos de graduação de Matemática, Engenharia e Ciências Exatas que cursam Cálculo Diferencial e Integral e disciplinas de Cálculo relacionadas
| Título | Cálculo com Geometria Analítica |
|---|---|
| Autores | SWOKOWSKI, E. |
| Ano de Publicação | 1988 |
| Edição | 2.a edição. |
| ISBN | 9780074504116 |
O objetivo desta obra é servir a todos os cursos superiores em qualquer nível. Foi projetado particularmente para o curso-padrão de três semestres para estudantes de Ciências, Engenharia ou Matemática. O pré-requisito requerido é Álgebra e Geometria do 2º grau.
================================================ FILE: extras/bibliography/07_intro_linear_algebra.md ================================================ # Livros: Álgebra Linear I
| Título | Álgebra Linear |
|---|---|
| Autores | BOLDRINI, José Luiz et al. |
| Ano de Publicação | 1984 |
| Edição | 3.a edição. |
| ISBN | 9788529402024 |
Visto que os alunos que cursam pela primeira vez esta disciplina freqüentemente a julgam muito abstrata e não vêem como podem utilizar os conceitos básicos, os autores do livro, experientes professores da UNICAMP, preocuparam-se em enfatizar o uso dos conceitos no decorrer de todo o texto. Por ser um curso introdutório, os pré-requisitos para a utilização deste livro são os tópicos de Matemática normalmente estudados no Ensino Médio.
| Título | Álgebra Linear |
|---|---|
| Autores | LIPSCHUTZ, Seymour; LIPSON, Marc. |
| Ano de Publicação | 2011 |
| Edição | 4.a edição. |
| ISBN | 9788577808335 |
Este livro traz uma introdução à Álgebra Linear. Segue a didática da Coleção Schaum: cada capítulo inicia com definições, princípios e teoremas, e com material descritivo e ilustrativo, avança para um conjunto de exercícios graduais resolvidos e termina com problemas complementares para uma revisão completa. Inclui Apêndices com módulos e polinômios sobre um corpo, produtos tensorial e exterior de espaços vetoriais e ainda a inversa generalizada de Moore-Penrose.
| Título | Álgebra Linear |
|---|---|
| Autores | LANG, S. |
| Ano de Publicação | 2003 |
| Edição | 1.a edição. |
| ISBN | 9788573932539 |
Àlgebra linear é direcionado a um curso de um único período ltivo em nível junior ou sênior. Inicia com uma exposição da teoria básica de espaços vetoriais e prossegue explicando os toremas fundamentais para aplicações lineares, incluindo autovetores e autovalores, formas hermitianas e quadráticas, diagonalização de matrizes e aplicações lineares unitárias, hermetianas e simátricas, triangulação e forma canônica de jordan. O livro inclui ainda um capitulo útil sobre conjuntos convexos e o teorema de dimensão finita de krein-milman. A apresentação é voltada ao estudante que já teve algum contato com a teoria elementar de matrizes, determinantes e aplicações lineares. Contudo, o livro é, obviamente, auto-suficiente. Nesta nova edição, vários trechos do livro foram reescritos, reorganizados e novos exercícios foram acrescentados.
================================================ FILE: extras/bibliography/08_data_structure.md ================================================ # Livros: Estruturas de Dados
| Título | Algoritmos - Teoria e Prática |
|---|---|
| Autores | CORMEN, T.; LEISERSON, C.; RIVEST, R.; STEIN, C. |
| Ano de Publicação | 2024 |
| Edição | 4.a edição. |
| ISBN | 9788595159907 |
Best-seller mundial sobre o tema, Algoritmos – Teoria e Prática chega à nova edição! Com o desenvolvimento tecnológico cada vez mais avançado, saber trabalhar com algoritmos tem se tornado um importante diferencial para estudantes e profissionais, isso porque, atualmente, os algoritmos são aplicáveis em diversas situações – nas áreas de tecnologia, engenharia, saúde, finanças, educação, entre outras –, das tarefas mais simples às mais complexas. Dessa forma, com sua didática e combinação única de rigor e abrangência, a proposta deste livro é tornar os algoritmos uma ferramenta acessível a leitores de todos os níveis de conhecimento. A obra combina teoria e prática para fornecer uma compreensão sólida dos princípios fundamentais dos algoritmos, ao mesmo tempo que fornece exemplos práticos e análises de complexidade.
Além disso, abrange uma variedade de algoritmos, estruturas de dados e técnicas de design de algoritmos. Totalmente atualizada, esta quarta edição apresenta as seguintes novidades:
Os capítulos são relativamente independentes, e cada um apresenta um algoritmo, uma técnica de projeto, uma área de aplicação ou um tópico relacionado. Além disso, os algoritmos são descritos de maneira simples, bastante objetiva e em um pseudocódigo projetado para ser lido por qualquer usuário com conhecimento básico de programação, independentemente da linguagem de programação utilizada. O conteúdo foi planejado para cursos de graduação e pós-graduação em algoritmos ou estruturas de dados, bem como para especialização e atualização de profissionais da área.
| Título | Estruturas de Dados e Seus Algoritmos |
|---|---|
| Autores | MARKENZON, L.; SZWARCFITER, J. |
| Ano de Publicação | 2010 |
| Edição | 3.a edição. |
| ISBN | 9788521617501 |
“Um algoritmo é um processo sistemático para a resolução de um problema.” Com essa frase clara e direta inicia-se este Estruturas de Dados e Seus Algoritmos, que chega à terceira edição com um texto expandido, revisado e acrescido de dois novos capítulos. O objetivo primeiro da dupla de autores, porém, permanece: de forma amigável, mostrar diferentes estruturas de dados, dando ênfase aos seus algoritmos de manipulação e a alguns de seus aspectos matemáticos. Tendo em vista que este livro destina-se não somente a cursos de graduação, mas também a profissionais da área de desenvolvimento de software, as estruturas de dados que aparecem aqui estão entre as mais empregadas atualmente. Os temas dos novos capítulos introduzidos são ordenação e listas de prioridades avançadas. O novo capítulo de listas de prioridades avançadas inclui o estudo de estruturas como os heaps binomiais e os heaps de Fibonacci, entre outros. As listas de prioridades descritas nesse novo capítulo requerem tratamento matemático um pouco mais avançado do que as tradicionais. Contudo, elas apresentam resultados bastante satisfatórios, razão pela qual foram selecionadas para inclusão no livro. Além disso, o conhecimento de tais estruturas é relevante no contexto de cursos de pós-graduação. Estrutura de Dados e Seus Algoritmos nasceu de notas de aulas ministradas em mais de trinta anos de docência dos autores, e é hoje considerada obra de referência nos cursos a que se destina.
| Título | Algorithms |
|---|---|
| Autores | SEDGEWICK, R.; WAYNE, K. |
| Ano de Publicação | 2011 |
| Edição | 4.a edição. |
| ISBN | 9780321573513 |
This fourth edition of Robert Sedgewick and Kevin Wayne’s Algorithms is the leading textbook on algorithms today and is widely used in colleges and universities worldwide. This book surveys the most important computer algorithms currently in use and provides a full treatment of data structures and algorithms for sorting, searching, graph processing, and string processing--including fifty algorithms every programmer should know. In this edition, new Java implementations are written in an accessible modular programming style, where all of the code is exposed to the reader and ready to use.
The algorithms in this book represent a body of knowledge developed over the last 50 years that has become indispensable, not just for professional programmers and computer science students but for any student with interests in science, mathematics, and engineering, not to mention students who use computation in the liberal arts.
The companion web site, algs4.cs.princeton.edu, contains
The MOOC related to this book is accessible via the "Online Course" link at algs4.cs.princeton.edu. The course offers more than 100 video lecture segments that are integrated with the text, extensive online assessments, and the large-scale discussion forums that have proven so valuable. Offered each fall and spring, this course regularly attracts tens of thousands of registrants.
Robert Sedgewick and Kevin Wayne are developing a modern approach to disseminating knowledge that fully embraces technology, enabling people all around the world to discover new ways of learning and teaching. By integrating their textbook, online content, and MOOC, all at the state of the art, they have built a unique resource that greatly expands the breadth and depth of the educational experience.
================================================ FILE: extras/bibliography/09_python.md ================================================ # Livros: Introdução a Programação II
| Título | Programação Orientada a Objetos com Java: Uma Introdução Prática Usando o BlueJ |
|---|---|
| Autores | KÖLLING, M. |
| Ano de Publicação | 2008 |
| Edição | 4.a edição. |
| ISBN | 9788576051879 |
Com uma abordagem baseada na apresentação e no aprofundamento contínuo dos conceitos, "Programação orientada a objetos com Java" permite a transição natural para a prática da programação com o uso do ambiente BlueJ. Assim, ao mesmo tempo em que apresenta os conceitos fundamentais aos programadores iniciantes e conduz seu avanço para a programação avançada, torna-se também um guia para programadores mais avançados que querem migrar para a orientação a objetos.
| Título | Python Fluente: Programação Clara, Concisa e Eficaz |
|---|---|
| Autores | RAMALHO, L. |
| Ano de Publicação | 2023 |
| Edição | 2.a edição. |
| ISBN | 9781492056355 |
A simplicidade de Python permite que você se torne produtivo rapidamente, porém isso muitas vezes significa que você não estará usando tudo que ela tem a oferecer. Com este guia prático, você aprenderá a escrever um código Python eficiente e idiomático aproveitando seus melhores recursos – alguns deles, pouco conhecidos. O autor Luciano Ramalho apresenta os recursos essenciais da linguagem e bibliotecas de Python mostrando como você pode tornar o seu código mais conciso, mais rápido e mais legível ao mesmo tempo.
Muitos programadores experientes tentam dobrar o Python para que ele se enquadre em padrões aprendidos com outras linguagens e jamais descobrem os recursos do Python que estão além de sua experiência. Com este livro, esses programadores Python aprenderão a ser totalmente proficientes em Python 3.
| Título | Introduction to Computation and Programming Using Python, Third Edition: With Application to Computational Modeling and Understanding Data |
|---|---|
| Autores | GUTTAG, J. V. |
| Ano de Publicação | 2021 |
| Edição | 3.a edição. |
| ISBN | 9780262542364 |
This book introduces students with little or no prior programming experience to the art of computational problem solving using Python and various Python libraries, including numpy, matplotlib, random, pandas, and sklearn. It provides students with skills that will enable them to make productive use of computational techniques, including some of the tools and techniques of data science for using computation to model and interpret data as well as substantial material on machine learning.
================================================ FILE: extras/bibliography/10_object_orientation.md ================================================ # Livros: Orientação a Objetos
| Título | Java: como programar |
|---|---|
| Autores | DEITEL, P; DEITEL, H. |
| Ano de Publicação | 2016 |
| Edição | 10.a edição. |
| ISBN | 9788543004792 |
Milhões de alunos e profissionais aprenderam programação e desenvolvimento de software com os livros Deitel®. Java: como programar, 10ª edição, fornece uma introdução clara, simples, envolvente e divertida à programação Java com ênfase inicial em objetos. Destaques incluem: rica cobertura dos fundamentos com exemplos reais; apresentação com ênfase inicial em classes e objetos; uso com Java™ SE 7, Java™ SE 8 ou ambos; Java™ SE 8 abordado em seções modulares opcionais; lambdas, fluxos e interfaces funcionais usando métodos padrão e estáticos do Java SE 8; Swing e GUI do JavaFX: elementos gráficos e multimídia; conjunto de exercícios ''Fazendo a diferença''; tratamento de exceções integrado; arquivos, fluxos e serialização de objetos; concorrência para melhor desempenho com multiprocessamento; o livro contém o conteúdo principal para cursos introdutórios; outros tópicos: recursão, pesquisa, classificação, coleções genéricas, estruturas de dados, multithreading, banco de dados (JDBC ™ e JPA).
| Título | Princípios, Padrões e Práticas Ágeis em C# |
|---|---|
| Autores | MARTIN, Robert C. |
| Ano de Publicação | 2011 |
| Edição | 1.a edição. |
| ISBN | 9788577808410 |
Destinado a programadores, gerentes de desenvolvimento de software e analistas de negócios, contém diversos estudos de caso que ilustram os fundamentos do desenvolvimento e do projeto ágil, e mostram a evolução de modelos UML em códigos C# reais. Esta obra fornece uma visão completa sobre os princípios ágeis e as práticas da Programação Extrema; o desenvolvimento baseado em testes; a refatoração com testes de unidade; a programação em pares; e muito mais.
================================================ FILE: extras/bibliography/11_graph_algorithms.md ================================================ # Livros: Algoritimos em Grafos
| Título | Algoritmos - Teoria e Prática |
|---|---|
| Autores | CORMEN, T.; LEISERSON, C.; RIVEST, R.; STEIN, C. |
| Ano de Publicação | 2024 |
| Edição | 4.a edição. |
| ISBN | 9788595159907 |
Best-seller mundial sobre o tema, Algoritmos – Teoria e Prática chega à nova edição! Com o desenvolvimento tecnológico cada vez mais avançado, saber trabalhar com algoritmos tem se tornado um importante diferencial para estudantes e profissionais, isso porque, atualmente, os algoritmos são aplicáveis em diversas situações – nas áreas de tecnologia, engenharia, saúde, finanças, educação, entre outras –, das tarefas mais simples às mais complexas. Dessa forma, com sua didática e combinação única de rigor e abrangência, a proposta deste livro é tornar os algoritmos uma ferramenta acessível a leitores de todos os níveis de conhecimento. A obra combina teoria e prática para fornecer uma compreensão sólida dos princípios fundamentais dos algoritmos, ao mesmo tempo que fornece exemplos práticos e análises de complexidade.
Além disso, abrange uma variedade de algoritmos, estruturas de dados e técnicas de design de algoritmos. Totalmente atualizada, esta quarta edição apresenta as seguintes novidades:
Os capítulos são relativamente independentes, e cada um apresenta um algoritmo, uma técnica de projeto, uma área de aplicação ou um tópico relacionado. Além disso, os algoritmos são descritos de maneira simples, bastante objetiva e em um pseudocódigo projetado para ser lido por qualquer usuário com conhecimento básico de programação, independentemente da linguagem de programação utilizada. O conteúdo foi planejado para cursos de graduação e pós-graduação em algoritmos ou estruturas de dados, bem como para especialização e atualização de profissionais da área.
| Título | Algoritmos |
|---|---|
| Autores | DASGUPTA, S.; PAPADIMITRIOU, C.; VAZIRANI, U. |
| Ano de Publicação | 2010 |
| Edição | 1.a edição. |
| ISBN | 9788577260324 |
Extensivamente testado por cerca de uma década em cursos universitários, e adaptado às necessidades dos estudantes, Algoritmos explica os fundamentos de algoritmos em uma linha histórical, de fácil leitura e assimilação. A ênfase está na compreensão da idéia matemática por trás de cada algoritmo, de uma forma intuitiva, rigorosa, sem ser formal.
| Título | Grafos: Conceitos, algoritmos e aplicações |
|---|---|
| Autores | GOLDBARG, E.; GOLDBARG, M. |
| Ano de Publicação | 2012 |
| Edição | 1.a edição. |
| ISBN | 9788535257168 |
Este livro busca auxiliar o ensino e o estudo de grafos e algoritmos, especialmente visando equilibrar três focos de ensino: Conceitos básicos, o estudo de algoritmos em grafos e o desenvolvimento de aplicações reais. O texto pretende suportar principalmente o ensino de ciência da computação, das engenharias e de outras áreas em que a modelagem via grafos pode ser bastante útil como administração, economia, ciências contábeis etc.Visando os alunos de graduação, são propostos exemplos, ilustrações e mais de quatrocentos exercícios, dos quais cerca de cem são solucionados. Atendendo aos alunos com interesses pesquisa, são relatadas, em temas específicos, diversas revisões sumárias da literatura de forma a disponibilizar citações bibliográficas para um eventual aprofundamento nos temas abordados.
================================================ FILE: extras/bibliography/12_computer_architecture.md ================================================ # Livros: Arquitetura de Computadores
| Título | Arquitetura e Organização de Computadores |
|---|---|
| Autores | W. Stallings |
| Ano de Publicação | 2024 |
| Edição | 11.a edição. |
| ISBN | 9788582606360 |
Desde a última edição deste livro, a área de arquitetura e organização de computadores passou por inovações e melhorias contínuas. Esta nova edição dedica-se a capturar esse movimento sem perder a visão da área como um todo.Apesar da variedade e do ritmo de mudança no campo da computação, certos conceitos fundamentais se aplicam a toda a área de modo consistente. A aplicação desses conceitos depende do estado atual da tecnologia e dos objetivos de preço/desempenho do projetista. Esta nova edição discute de modo aprofundado os fundamentos da arquitetura e organização de computadores, relacionando-os a questões de projeto contemporâneas.Sempre foi importante projetar sistemas computacionais para que alcancem alto desempenho, mas nunca esse requisito foi tão relevante ou difícil de satisfazer quanto hoje. Arquitetura e organização de computadores auxiliará acadêmicos e profissionais na busca pelos melhores resultados.
| Título | Organização e Projeto de Computadores: a Interface Hardware/Software |
|---|---|
| Autores | D. Patterson; J. Hennessy. |
| Ano de Publicação | 2017 |
| Edição | 5.a edição. |
| ISBN | 9788535287936 |
A quinta edição da Organização de Computadores traz novos exemplos, exercícios e materiais destacando o surgimento da computação móvel e a nuvem. Esta mudança geracional é enfatizada e explorou com computadores conteúdo atualizado caracterizam tablet, infra-estrutura de nuvem, ea (computação em nuvem) arquiteturas ARM (dispositivos de computação móvel) e x86. A compreensão de hardware moderno é essencial para alcançar um bom desempenho e eficiência energética, esta edição inclui um novo exemplo concreto indo mais rápido, usado em todo o texto para demonstrar técnicas de otimização extremamente eficazes. Outra novidade para esta edição é a discussão dos Oito Grandes Ideias de arquitetura de computadores. Como nas edições anteriores, um processador MIPS é o núcleo usado para apresentar os fundamentos de tecnologias de hardware, a linguagem assembly, aritméticas computador, canalização, hierarquias de memória e I/O.
| Título | Organização Estruturada de Computadores |
|---|---|
| Autores | A. S. Tanenbaum. |
| Ano de Publicação | 2013 |
| Edição | 6.a edição. |
| ISBN | 9788581435398 |
Esta sexta edição traz o que há de mais moderno em termos de organização estruturada de computadores, apresentando as terminologias, tecnologias e tendências mais recentes em organização e arquitetura de computadores. Com novos exemplos e discussões sobre x86, microcontroladores AVR e arquitetura ARM, ""Organização estruturada de computadores"" é uma obra indispensável para estudantes de ciência da computação, engenharia da computação, análise e desenvolvimento de sistemas e sistemas de informação, bem como para profissionais da área.
================================================ FILE: extras/bibliography/13_statistics_probability.md ================================================ # Livros: Probabilidade e Estatística
| Título | Estatística Aplicada e Probabilidade para Engenheiros |
|---|---|
| Autores | MONTGOMERY, Douglas C.; RUNGER, George C. |
| Ano de Publicação | 2021 |
| Edição | 7.a edição. |
| ISBN | 9788521637332 |
Escrita pelos renomados professores Douglas C. Montgomery e George C. Runger, esta sétima edição de Estatística Aplicada e Probabilidade para Engenheiros inclui o conteúdo essencial da disciplina, comum às diversas habilitações em Engenharia. Os autores tiveram como premissa realizar uma ampla pesquisa junto a professores para que que o livro englobasse a teoria necessária para atender às demandas de sala de aula. Com isso, houve a inclusão da técnica bootstrap, além dos métodos descritivos e analíticos, necessários para quem lida com a variabilidade na observação de dados.Esta sétima edição inclui exercícios inéditos, criados a partir de situações reais e cotidianas dos engenheiros, que estão disponíveis online, bem como novos capítulos, exemplos, gráficos, interpretações práticas e métodos computacionais intensivos.Como destaque, no início de todos os capítulos, Montgomery e Runger criaram o tópico “Objetivos da aprendizagem”, explicando ao leitor o que ele deve esperar do capítulo e o que ele estará apto a compreender e realizar ao fi nal do estudo. Embora a matemática seja fundamental em Estatística e Probabilidade, os autores não pretendem apenas fornecer a teoria, mas ampliar a metodologia e mostrar como aplicá-la.
| Título | Estatística Básica |
|---|---|
| Autores | MORETTIN, Pedro Alberto; BUSSAB, Wilton de Oliveira. |
| Ano de Publicação | 2024 |
| Edição | 10.a edição. |
| ISBN | 9786587958491 |
Livro mais vendido da área, a 10ª edição de Estatística Básica confirma seu grande sucesso com extenso trabalho de revisão, atualização e ampliação, que contou com sugestões enriquecedoras de professores e leitores. Novidades desta edição: Novo capítulo sobre diversos tópicos de séries temporais. Introdução à regressão linear múltipla no Capítulo 16. Modificações pontuais ao decorrer da obra.O livro é dividido em três partes. A primeira trata da análise de dados unidimensionais e bidimensionais, com atenção especial para métodos gráficos. A segunda parte traz os conceitos básicos de probabilidades e variáveis aleatórias. Por fim, a terceira parte estuda os tópicos principais da inferência estatística, além de alguns temas especiais, como modelos de regressão.Completo e didático, Estatística Básica é o livro mais adequado para alunos e profissionais de diversas áreas do conhecimento e se destaca por ser a única obra com uma seção em todos os capítulos que ensina a aplicar a teoria por meio dos pacotes computacionais Minitab®, Excel®, Splus® e pacotes do Repositório livre R®.No final do livro, os autores disponibilizam vários conjuntos de dados para download na plataforma Saraiva Conecta.
| Título | Introdução à Estatística |
|---|---|
| Autores | TRIOLA, Mario F. |
| Ano de Publicação | 2017 |
| Edição | 12.a edição. |
| ISBN | 9788521633747 |
A nova e atualizada edição de Introdução à Estatística tem o objetivo de fornecer o melhor e mais amplo conteúdo para o ensino e a aprendizagem do tema. Obra clássica na área, traz desde aspectos conceituais até exercícios práticos, incluindo dicas de métodos de procura de emprego e de como evitar equívocos na elaboraçãode currículos.Cada capítulo começa com uma lista das seções que o compõem - incluindo uma breve revisão do conteúdo apresentado no capítulo anterior - e um problema proposto. Ao final, há uma revisão e um teste rápido sobre os temas abordados, além de exercícios e propostas de atividades.
================================================ FILE: extras/bibliography/14_advanced_calculus.md ================================================ # Livros: Cálculo II
| Título | Cálculo: Volume II |
|---|---|
| Autores | STEWART, James. |
| Ano de Publicação | 2022 |
| Edição | 9.a edição. |
| ISBN | 9786555584028 |
Nesta 9ª edição, assim como em todas as anteriores, os autores mantêm a tradição de escrever um livro que auxilie os estudantes a descobrir o cálculo – tanto por sua utilidade prática, como por sua surpreendente beleza. O intuito é transmitir ao leitor uma ideia da utilidade do cálculo, assim como promover o desenvolvimento de sua habilidade técnica. Ao mesmo tempo, os autores empenharam-se em valorizar a beleza intrínseca do assunto. Não há dúvida de que Newton experimentou uma sensação de triunfo quando fez suas grandes descobertas. O objetivo desta obra é fazer que os estudantes compartilhem um pouco desse entusiasmo.
| Título | Um Curso de Cálculo - Vol. 2 |
|---|---|
| Autores | GUIDORIZZI, H. |
| Ano de Publicação | 2018 |
| Edição | 6.a edição. |
| ISBN | 9788521635444 |
Guidorizzi, o conteúdo integral para o seu diferencial! De Hamilton Luiz Guidorizzi, Um Curso de Cálculo apresenta recursos pedagógicos digitais que aprofundam e fixam a aprendizagem dos estudantes de Cálculo e auxiliam aulas de professores da disciplina. Este primeiro volume aborda temas como limite, derivada, integral de funções, entre outros. É indicado para alunos de graduação de Matemática, Engenharia e Ciências Exatas que cursam Cálculo Diferencial e Integral e disciplinas de Cálculo relacionadas
================================================ FILE: extras/bibliography/15_haskell.md ================================================ # Livros: Programação Funcional
| Título | Aprender Haskell será um Grande Bem para Você |
|---|---|
| Autores | Miran Lipovača |
| Ano de Publicação | 2011 |
| Edição | 1.a edição. |
| ISBN | 9781593272838 |
| Versão online | https://haskell.tailorfontela.com.br |
Bem-vindo ao Aprender Haskell será um grande bem para você! Se você já está lendo isto, existem boas chances de você querer aprender Haskell. Muito bem, você já esta no lugar certo, mas antes vamos conversar um pouco sobre este tutorial. Este tutorial é destinado a pessoas que tenham experiência em linguagens de programação imperativa (C, C++, Java, Python …) sem terem programado antes em uma linguagem funcional (Haskell, ML, OCaml …). Apesar de que eu aposto que se você não tiver uma larga experiência em programação, um rápido capítulo como o que você irá acompanhar vai habilitá-lo a aprender Haskell.
| Título | An Introduction to Functional Programming Through Lambda Calculus |
|---|---|
| Autores | MICHAELSON, Greg. |
| Ano de Publicação | 2011 |
| Edição | 9.a edição. |
| ISBN | 9780486478838 |
| Última versão de rascunho (late draft) | https://www.macs.hw.ac.uk/~greg/books/gjm.lambook88.pdf |
Functional programming is rooted in lambda calculus, which constitutes the world's smallest programming language. This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.
| Título | Structure and Interpretation of Computer Programs |
|---|---|
| Autores | Harold Abelson, Gerald Jay Sussman. |
| Ano de Publicação | 1996 |
| Edição | 2.a edição. |
| ISBN | 9780262510875 |
| Versão online | https://web.mit.edu/6.001/6.037/sicp.pdf |
Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises. In addition, all the programs have been reworked to run in any Scheme implementation that adheres to the IEEE standard.
================================================ FILE: extras/bibliography/16_analysis_of_algorithms.md ================================================ # Livros: Análise de Algoritmos
| Título | Algoritmos |
|---|---|
| Autores | DASGUPTA, S.; PAPADIMITRIOU, C.; VAZIRANI, U. |
| Ano de Publicação | 2010 |
| Edição | 1.a edição. |
| ISBN | 9788577260324 |
Extensivamente testado por cerca de uma década em cursos universitários, e adaptado às necessidades dos estudantes, Algoritmos explica os fundamentos de algoritmos em uma linha histórical, de fácil leitura e assimilação. A ênfase está na compreensão da idéia matemática por trás de cada algoritmo, de uma forma intuitiva, rigorosa, sem ser formal.
| Título | Algoritmos - Teoria e Prática |
|---|---|
| Autores | CORMEN, T.; LEISERSON, C.; RIVEST, R.; STEIN, C. |
| Ano de Publicação | 2024 |
| Edição | 4.a edição. |
| ISBN | 9788595159907 |
Best-seller mundial sobre o tema, Algoritmos – Teoria e Prática chega à nova edição! Com o desenvolvimento tecnológico cada vez mais avançado, saber trabalhar com algoritmos tem se tornado um importante diferencial para estudantes e profissionais, isso porque, atualmente, os algoritmos são aplicáveis em diversas situações – nas áreas de tecnologia, engenharia, saúde, finanças, educação, entre outras –, das tarefas mais simples às mais complexas. Dessa forma, com sua didática e combinação única de rigor e abrangência, a proposta deste livro é tornar os algoritmos uma ferramenta acessível a leitores de todos os níveis de conhecimento. A obra combina teoria e prática para fornecer uma compreensão sólida dos princípios fundamentais dos algoritmos, ao mesmo tempo que fornece exemplos práticos e análises de complexidade.
Além disso, abrange uma variedade de algoritmos, estruturas de dados e técnicas de design de algoritmos. Totalmente atualizada, esta quarta edição apresenta as seguintes novidades:
Os capítulos são relativamente independentes, e cada um apresenta um algoritmo, uma técnica de projeto, uma área de aplicação ou um tópico relacionado. Além disso, os algoritmos são descritos de maneira simples, bastante objetiva e em um pseudocódigo projetado para ser lido por qualquer usuário com conhecimento básico de programação, independentemente da linguagem de programação utilizada. O conteúdo foi planejado para cursos de graduação e pós-graduação em algoritmos ou estruturas de dados, bem como para especialização e atualização de profissionais da área.
| Título | Como Pensar Sobre Algoritmos |
|---|---|
| Autores | Jeff Edmonds |
| Ano de Publicação | 2010 |
| Edição | 1.a edição. |
| ISBN | 9788521617310 |
O objetivo nesta obra não é apresentar o pacote completo, bem embrulhadinho e limpo, mas percorrer vagarosamente e com profundidade cada etapa do desenvolvimento dos algoritmos. Foram adicionados muitos inícios falsos, na esperança de que isso ajudará os estudantes a desenvolverem algoritmos por conta própria. As pessoas que desenvolvem algoritmos têm diferentes maneiras de pensar, além de uma intuição que, de modo geral, não é ensinada. A premissa básica de Como Pensar sobre Algoritmos é que isso não pode ser ensinado, mas tem que ser descoberto individualmente. Este livro tenta ensinar os estudantes a pensar como quem projeta algoritmos. Jeff Edmonds escreveu um livro divertido, organizado em blocos, cada um contendo um título e um único pensamento. O autor concentra-se na estrutura e na demonstração de correção de meta-algoritmos iterativos e recursivos e, dentro desses, de meta-algoritmos gulosos e de programação dinâmica. Ao aprender esses e suas demonstrações de correção, pode-se compreender facilmente a maioria dos algoritmos. O desafio é que pensar sobre meta-algoritmos exige bastante abstração. São apresentados analogias, paradigmas e diferentes notações, dentro dos quais é possível desenvolver e pensar sobre algoritmos.
================================================ FILE: extras/bibliography/17_numeric_methods.md ================================================ # Livros: Métodos Numéricos
| Título | Métodos Numéricos para Engenharia |
|---|---|
| Autores | Steven C. Chapra (Autor) e Raymond P. Canale |
| Ano de Publicação | 2016 |
| Edição | 7.a edição. |
| ISBN | 9788580555684 |
Escrito por autores renomados, Métodos Numéricos para Engenharia apresenta uma extensa gama de métodos numéricos, como o tratamento de otimização e de equações diferenciais. Com explicações simples e voltadas para a prática, conta com exemplos, estudos de caso e problemas elaborados de acordo com a prática da engenharia, incluindo áreas emergentes como bioengenharia.Esta edição mantém seu foco no uso apropridado de ferramentas computacionais, trazendo discussões meticulosas sobre seus alicerces matemáticos. Também fornece pseudocódigos para os algoritmos dos métodos numéricos e uma visão geral de pacotes de software populares, como MATLAB, Excel e MathCAD.Ganhador do prêmio de melhor livro-texto da American Society for Engineering Education, este é um recurso indispensável para os cursos de Engenharia e outros da área de Ciências Exatas, como Química, Física, Matemática e Computação.
| Título | Cálculo Numérico |
|---|---|
| Autores | Décio Sperandio, João Teixeira Mendes e Luiz Henry Monken |
| Ano de Publicação | 2014 |
| Edição | 2.a edição. |
| ISBN | 9788543006536 |
Com os atuais recursos computacionais, os métodos numéricos tornaram-se imprescindíveis na formação de cientistas e engenheiros. Atendendo a essa necessidade, Cálculo numérico apresenta os procedimentos matemáticos mais importantes para a análise de complexos modelos matemáticos, provenientes das mais variadas áreas de conhecimento. Na obra, os assuntos são descritos de maneira a terem sempre uma clara base matemática. A disposição dos tópicos facilita um entendimento crescente das abordagens mais frequentes em problemas numéricos, e muitos exemplos resolvidos passo a passo auxiliam o aprendizado dos esquemas numéricos. Para completar, exercícios ao final de cada capítulo permitem ao leitor testar seus conhecimentos e explorar o conteúdo teórico desenvolvido.
| Título | Cálculo Numérico: Aspectos Teóricos e Computacionais |
|---|---|
| Autores | Ruggiero, M.A.G. e Lopes, V.L.R. |
| Ano de Publicação | 2000 |
| Edição | 2.a edição. |
| ISBN | 9788534602044 |
O objetivo principal do texto é a apresentação de métodos numéricos com sua fundamentação teórica, suas vantagens e dificuldades computacionais. Em todos os capítulos - lista de exercícios, com respostas no apêndice. Na maioria dos capítulos, proposta de projetos.
================================================ FILE: extras/bibliography/18_database.md ================================================ # Livros: Banco de Dados
| Título | Sistema de Banco de Dados |
|---|---|
| Autores | Silberschatz, A., Korth, H., Sudarshan, S. |
| Ano de Publicação | 2020 |
| Edição | 7.a edição. |
| ISBN | 9788595157330 |
Tudo sobre sistema de banco de dados: dos fundamentos aos novos conceitos. Com questões práticas e teóricas, este livro apresenta aplicação, gerenciamento e implementação de banco de dados e inclui os assuntos recentes da área, como Big Data e blockchain. Como diferencial, Sistema de Banco de Dados apresenta conceitos e algoritmos em um ambiente geral, não ligados a um sistema de dados específico, o que flexibiliza a aplicação da teoria a cenários diversos. Além disso, oferece variedade de exercícios em diferentes níveis de complexidade e ferramentas de suporte ao aprendizado.Esta edição de Sistema de Banco de Dados é necessária porque traz:Extensa cobertura dos sistemas Big Data, do ponto de vista do usuário, além de uma perspectiva interna;Atualizações (em todos os capítulos) sobre aspectos internos do banco de dados, para refletir a tecnologia de última geração, como discos em estado sólido (SSD), bancos de dados na memória principal, sistemas de múltiplos núcleos e bancos de dados paralelos e distribuídos;Cobertura avançada do gerenciamento de dados semiestruturados usando JSON, RDF e SPARQL;Cobertura atualizada de dados temporais, análise de dados e técnicas de indexação avançadas, como índices otimizados para escrita;Reorganização e atualização dos capítulos para dar melhor suporte aos cursos, com um componente prático significativo, incluindo o uso de ferramentas de última geração para desenvolvimento de aplicações e sistemas Big Data, como Apache Hadoop e Spark;Novo capítulo sobre Bancos de Dados de Blockchain, que introduz a tecnologia e sua função cada vez mais importante nas aplicações corporativas.
| Título | Sistemas de Banco de Dados |
|---|---|
| Autores | Elsmari, R., Navathe, Shamkant B. |
| Ano de Publicação | 2019 |
| Edição | 7.a edição. |
| ISBN | 9788543025001 |
Sistemas de banco de dados apresenta de forma profunda e atualizada os aspectos mais importantes dos sistemas e aplicações de banco de dados, bem como das tecnologias relacionadas. Esta obra de referência introduz os conceitos fundamentais necessários para projetar, usar e implementar sistemas de banco de dados, enfatizando fundamentos de modelagem, projeto, linguagens e modelos fornecidos pelos sistemas de gerenciamento e técnicas de implementação. Nesta edição, foram introduzidos capítulos novos sobre os avanços recentes em sistemas de banco de dados e processamento Big Data, introdução a bancos de dados NOSQL e tecnologias para processamento de big data. Além disso, foram incluídos novos exemplos e o conteúdo sobre processamento e otimização de consulta e suas técnicas, estratégias e algoritmos para processamento foi expandido, e foram acrescentadas novas construções SQL. Com conteúdo atualizado, esta obra é ideal para estudantes de análise de redes, análise de sistemas processamento de dados e engenharia da computação que queiram dominar o assunto e destacar-se na área.
| Título | Sistemas de Gerenciamento de Bancos de Dados |
|---|---|
| Autores | Ramakrishnan, R. |
| Ano de Publicação | 2008 |
| Edição | 3.a edição. |
| ISBN | 9788577260270 |
Este livro apresenta uma abordagem clara e atualizada dos fundamentos dos sistemas de banco de dados. Os professores podem optar por dar ênfase a aplicações de bancos de dados ou a sistemas. O livro traz muitos exemplos e aplicações, incluindo SQL e Oracle, e aplicações para a Internet. Além disso, são introduzidos padrões atuais, como JDBC e XML, e desenvolvimento de aplicações em três camadas.
================================================ FILE: extras/bibliography/19_computer_architecture_II.md ================================================ # Livros: Arquitetura de Computadores
| Título | Arquitetura e Organização de Computadores |
|---|---|
| Autores | W. Stallings |
| Ano de Publicação | 2024 |
| Edição | 11.a edição. |
| ISBN | 9788582606360 |
Desde a última edição deste livro, a área de arquitetura e organização de computadores passou por inovações e melhorias contínuas. Esta nova edição dedica-se a capturar esse movimento sem perder a visão da área como um todo.Apesar da variedade e do ritmo de mudança no campo da computação, certos conceitos fundamentais se aplicam a toda a área de modo consistente. A aplicação desses conceitos depende do estado atual da tecnologia e dos objetivos de preço/desempenho do projetista. Esta nova edição discute de modo aprofundado os fundamentos da arquitetura e organização de computadores, relacionando-os a questões de projeto contemporâneas.Sempre foi importante projetar sistemas computacionais para que alcancem alto desempenho, mas nunca esse requisito foi tão relevante ou difícil de satisfazer quanto hoje. Arquitetura e organização de computadores auxiliará acadêmicos e profissionais na busca pelos melhores resultados.
| Título | Organização e Projeto de Computadores: a Interface Hardware/Software |
|---|---|
| Autores | D. Patterson; J. Hennessy. |
| Ano de Publicação | 2017 |
| Edição | 5.a edição. |
| ISBN | 9788535287936 |
A quinta edição da Organização de Computadores traz novos exemplos, exercícios e materiais destacando o surgimento da computação móvel e a nuvem. Esta mudança geracional é enfatizada e explorou com computadores conteúdo atualizado caracterizam tablet, infra-estrutura de nuvem, ea (computação em nuvem) arquiteturas ARM (dispositivos de computação móvel) e x86. A compreensão de hardware moderno é essencial para alcançar um bom desempenho e eficiência energética, esta edição inclui um novo exemplo concreto indo mais rápido, usado em todo o texto para demonstrar técnicas de otimização extremamente eficazes. Outra novidade para esta edição é a discussão dos Oito Grandes Ideias de arquitetura de computadores. Como nas edições anteriores, um processador MIPS é o núcleo usado para apresentar os fundamentos de tecnologias de hardware, a linguagem assembly, aritméticas computador, canalização, hierarquias de memória e I/O.
| Título | Organização Estruturada de Computadores |
|---|---|
| Autores | A. S. Tanenbaum. |
| Ano de Publicação | 2013 |
| Edição | 6.a edição. |
| ISBN | 9788581435398 |
Esta sexta edição traz o que há de mais moderno em termos de organização estruturada de computadores, apresentando as terminologias, tecnologias e tendências mais recentes em organização e arquitetura de computadores. Com novos exemplos e discussões sobre x86, microcontroladores AVR e arquitetura ARM, ""Organização estruturada de computadores"" é uma obra indispensável para estudantes de ciência da computação, engenharia da computação, análise e desenvolvimento de sistemas e sistemas de informação, bem como para profissionais da área.
================================================ FILE: extras/bibliography/20_logical_programming.md ================================================ # Livros: Programação Lógica
| Título | Aprenda PROLOG Já! |
|---|---|
| Autores | BLACKBURN, P; BOSS, J; STRIEGNITZ, K. |
| Ano de Publicação | 2014 |
| Edição | 1.a edição. |
| ISBN | 9781848901551 |
A Série Apontamentos tem por objetivo explorar preferencialmente textos de apoio didático a cursos de graduação ou pós-graduação. Sinopse Apresenta a linguagem de programação lógica Prolog, adequada para resolver problemas que envolvem objetos e relações entre objetos. Apresenta e discute um vasto conjunto de predicados Prolog para o tratamento de listas, árvores e grafos.
| Título | A cartilha PROLOG |
|---|---|
| Autores | Maria do Carmo Nicoletti |
| Ano de Publicação | 2021 |
| Edição | 1.a edição. |
| ISBN | 9788576000112 |
A Série Apontamentos tem por objetivo explorar preferencialmente textos de apoio didático a cursos de graduação ou pós-graduação. Sinopse Apresenta a linguagem de programação lógica Prolog, adequada para resolver problemas que envolvem objetos e relações entre objetos. Apresenta e discute um vasto conjunto de predicados Prolog para o tratamento de listas, árvores e grafos.
================================================ FILE: extras/bibliography/21_computer_network.md ================================================ # Livros: Redes de Computadores
| Título | Redes de Computadores e a Internet: Uma Abordagem Top-Down |
|---|---|
| Autores | KUROSE, J. F.; ROSS, K. W. |
| Ano de Publicação | 2021 |
| Edição | 8.a edição. |
| ISBN | 9788582605585 |
Seguindo o sucesso da abordagem top-down de suas edições anteriores, "Redes de computadores e a Internet" tem como foco camadas de aplicação e interfaces de programação, propondo ao leitor uma experiência prática com os conceitos de protocolo e redes de computadores antes de trabalhar com mecanismos de transmissão de informação das camadas inferiores das pilhas de protocolos.
| Título | Redes de Computadores |
|---|---|
| Autores | TANENBAUM, A. S. |
| Ano de Publicação | 2021 |
| Edição | 6.a edição. |
| ISBN | 9788582605608 |
Nesta que é a bíblia de redes de computadores, Tanenbaum, Feamster & Wetherall explicam o funcionamento das redes de dentro para fora. Isto é, começam com a camada física das redes, dos computadores e dos sistemas de transmissão e vão até às aplicações. Os capítulos apresentam os conceitos-chave e são ilustrados por exemplos de redes reais: Internet, redes sem fio, incluindo LANs sem fio; banda larga sem fio e Bluetooth. Esta 6ª edição de Redes de computadores traz muitas mudanças. Todos os capítulos foram atualizados e o Capítulo 8, que trata de segurança, foi completamente reformulado, priorizando a segurança de redes.
================================================ FILE: extras/bibliography/22_software_engineering.md ================================================ # Livros: Engenharia de Software
| Título | Engenharia de Software |
|---|---|
| Autores | SOMMERVILLE, I. |
| Ano de Publicação | 2019 |
| Edição | 10.a edição. |
| ISBN | 9788543024974 |
A 10ª edição de Engenharia de software foi extensivamente atualizada para refletir a adoção crescente de métodos ágeis na engenharia de software. Um dos destaques da nova edição é o acréscimo de conteúdo sobre a metodologia do Scrum. A divisão em quatro partes do livro foi significativamente reformulada para acomodar novos capítulos sobre engenharia de resiliência, engenharia de sistemas e sistemas de sistemas. Além disso, capítulos sobre tópicos como confiança, segurança e proteção foram completamente reorganizados.Todas essas mudanças se justificam por compreenderem questões essenciais para a engenharia de software moderna ― gerenciamento da complexidade, integração da agilidade a outros métodos e garantia de que os sistemas sejam seguros e resilientes. Obra de referência para estudantes de ciência da computação, engenharia da computação e sistemas de informação, e para qualquer profissional que deseje atualizar seus conhecimentos sobre reúso de software, arquitetura de projetos, confiabilidade e segurança e engenharia de sistemas.
| Título | Engenharia de Software: Uma abordagem profissional |
|---|---|
| Autores | PRESSMAN, Roger S.. |
| Ano de Publicação | 2021 |
| Edição | 9.a edição. |
| ISBN | 9786558040101 |
A nova edição do livro-texto líder de mercado em engenharia de software traz uma série de novidades. O livro foi totalmente revisado e reestruturado para melhorar seu fluxo pedagógico.Traz novos e importantes processos e práticas da área, dentre eles o uso de inteligência artificial e machine learning para garantir velocidade e qualidade nas entregas. O autor enfatiza aspectos de qualidade de software, principalmente no uso de métodos ágeis. Segurança é outro item que ganhou destaque.
| Título | Engenharia de Software - Produtos - Vol.1 e 2 |
|---|---|
| Autores | PÁDUA FILHO, W. |
| Ano de Publicação | 2019 |
| Edição | 4.a edição. |
| ISBN | 9788521636687 e 9788521636694 |
Referência para cursos de Computação e afins. De Wilson de Pádua Paula Filho, o livro Engenharia de Software – Produtos é uma ferramenta para estudantes e profissionais por apresentar conteúdos relevantes sobre a manutenção e desenvolvimento de software. Agora em dois volumes, esta primeira parte está ligada à área de Produtos e traz uma introdução ao assunto, mantendo um perfil mais técnico. Concentra capítulos de embasamento, apresentando temas como UML básica, requisitos, análise, desenho, testes e implementação, além dos padrões mais relevantes e detalhados dos métodos técnicos do processo Praxis “clássico” (SPraxis) e da respectiva versão “ágil” (XPraxis). O tratamento tem por base a tecnologia orientada a objetos. Sua notação de análise e desenho é a UML 2.0 e os padrões seguem os estabelecidos pela Engenharia de Software do Instituto de Engenheiros Eletricistas e Eletrônicos (IEEE), acompanhando todas as atualizações realizadas. Com material suplementar para professores, Engenharia de Software abrange tópicos requeridos por cursos de graduação diversos, como Informática, Engenharia da Computação, Ciência da Computação, Análise de Sistemas, Processamento de Dados, entre outros. Por que ler Engenharia de Software? Os sistemas informatizados têm enorme potencial de trazer benefícios, bem como prejuízos quando elaborados de maneira errada. Uma vez que o software é a alma dos sistemas informatizados, a Engenharia de Software é a disciplina que ensina a construir produtos reais a partir dos conceitos fundamentais da Informática. Assim, este livro apresenta as práticas mais consagradas dessa disciplina.
================================================ FILE: extras/bibliography/23_operating_system.md ================================================ # Livros: Sistemas Operacionais
| Título | Sistemas Operacionais Modernos |
|---|---|
| Autores | Tanenbaum, Andrew S. |
| Ano de Publicação | 2024 |
| Edição | 5.a edição. |
| ISBN | 9788582606162 |
Esta nova edição aborda os mais recentes desenvolvimentos em tecnologias de sistemas operacionais. Os estudos de caso exploram sistemas operacionais populares, sempre contextualizados à nossa realidade.De forma clara e divertida, os autores descrevem os conceitos que designers de sistema operacional precisam dominar, tais como processos, threads, gerenciamento de memória, sistemas de arquivos, E/S (entrada/saída), impasses, design de interface, multimídia, compensações de desempenho e tendências em design de sistema operacional. Vale destacar, ainda, um novo capítulo, sobre o Windows 11, a atualização do capítulo sobre segurança, com mais foco em tópicos que são diretamente relevantes aos sistemas operacionais e a ênfase dos solid state drives (SSDs) baseados em memória flash.
| Título | Fundamentos de Sistemas Operacionais |
|---|---|
| Autores | Abraham Silberschatz |
| Ano de Publicação | 2015 |
| Edição | 9.a edição. |
| ISBN | 9788521629399 |
Fundamentos de Sistemas Operacionais, já em sua 9a edição, está dividido em 20 capítulos, compostos por registros de experiências vivenciadas pelos autores em um universo em transformação constante. Neste livro, é possível ter uma abordagem aprofundada de assuntos como os sistemas móveis e a computação em nuvem.O sucesso da obra acontece já em sua concepção, quando os autores entendem que os sistemas operacionais são parte essencial de qualquer sistema de computação. Assim, o conteúdo foi pensado para oferecer uma ampla base teórica a estudantes e profissionais da área.O fato de os autores trabalharem detalhadamente com Linux e Windows – sistemas nos quais parte dos usuários ainda tem muitas dúvidas –, torna a obra ainda mais peculiar, única e interessante. Ela também faz uma análise apurada dos sistemas utilizados em smartphones, que são o grande destaque do momento no setor.Os conteúdos são abordados de maneira singular. Além da conceituação concreta, ainda há dezenas de exercícios e mais 20 novos problemas e projetos de programação. Quem deseja ampliar os conhecimentos nessa área irá encontrar em Fundamentos de Sistemas Operacionais uma excelente ferramenta.
| Título | Arquitetura de Sistemas Operacionais: Incluindo Exercícios com o Simulador SOSIM e Questões do ENADE |
|---|---|
| Autores | Machado, Francis Berenger; Maia, Luiz Paulo. |
| Ano de Publicação | 2013 |
| Edição | 5.a edição. |
| ISBN | 9788521622109 |
O estudo de sistemas operacionais ganha importância à medida que diversos profissionais da área de computação necessitam deste conhecimento para exercer suas atividades, como administradores de sistemas, programadores de aplicações concorrentes e gerentes de segurança. Outro fator importante é o relacionamento dos sistemas operacionais nas redes de comunicação de dados, o que faz seu estudo necessário para os administradores de rede. Arquitetura de Sistemas Operacionais aborda a arquitetura e funcionamento dos sistemas operacionais multiprogramáveis, de forma atual, abrangente e didática. Seu conteúdo é direcionado a estudantes e a profissionais de informática de todas as áreas. Como pré-requisito básico para sua leitura, é necessário apena s algum conhecimento de organização de computadores e estrutura de dados. Sempre que for necessário o uso de programas será utilizada a linguagem de programação Pascal, por sua clareza e fluência no meio acadêmico, assim como a linguagem Java, por sua ampla aceitação no mercado.
================================================ FILE: extras/bibliography/24_math_optimization.md ================================================ # Livros: Programação Matemática
| Título | Introdução à Pesquisa Operacional |
|---|---|
| Autores | HILLIER, F.S.; LIEBERMAN, G.J. |
| Ano de Publicação | 2013 |
| Edição | 9.a edição. |
| ISBN | 9788580551181 |
Por mais de quatro décadas, Introdução à Pesquisa Operacional tem sido um clássico na investigação de operações. Com os fundamentos mais atuais da área e maior cobertura de aplicativos de negócios, essa nova edição mantém a tradição de um texto com conceitos claros e abrangentes, extenso conjunto de problemas interessantes e casos para análise e prática, com uso de softwares de pesquisa operacional. Um extenso material de apoio encontra-se disponível no site do livro. O ponto forte da 9ª edição é a nova parceria entre a Introdução à Pesquisa Operacional (PO) e o Institute of Operations Research and the Management Sciences (INFORMS). Esses dois pilares da PO se uniram para demonstrar algumas aplicações de pesquisa de operações.
| Título | Pesquisa Operacional |
|---|---|
| Autores | ARENALES, M; ARMENTANO, V; MORABITO, R.; YANASSE, H. |
| Ano de Publicação | 2007 |
| Edição | 1.a edição. |
| ISBN | 9788535214543 |
Livro-texto base para disciplinas de introdução à Pesquisa Operacional e suas aplicações na graduação em Engenharia de Produção. O material é suficiente para dois cursos semestrais, ou um curso anual, e pretende ilustrar o uso das modelagens e as aplicações dos algoritmos em problemas da realidade brasileira, em particular, nos sistemas de produção e logística.
| Título | Otimização Combinatória e Programação Linear |
|---|---|
| Autores | GOLDBARG, M.C. e LUNA, H.P.L |
| Ano de Publicação | 2005 |
| Edição | 2.a edição. |
| ISBN | 9788535215205 |
Esta obra tem por objetivo propiciar subsídios técnicos, descrever modelos matemáticos, debater algoritmos de solução e sugerir temas de aplicação, dentro da visão quantitativa de análise do fenômeno de tomada de decisão, principalmente aos alunos de graduação das engenharias, cursos de administração e de ciência da computação.
O conteúdo programático coberto pelos capítulos 1 a 5 engloba o que é exigido em disciplinas como “Pesquisa Operacional”, “Otimização de Sistemas de Engenharia”, “Programação Linear” e outras. O conteúdo dos capítulos 6 a 10 aborda temas que são objeto de disciplinas como “Otimização Combinatória”, “Algoritmos em Grafos”, “Fluxos em Redes”, entre outras. Essa segunda parte do livro contém material um pouco mais avançado, servindo a disciplinas optativas de nossos cursos de graduação ou a disciplinas de pós-graduação.
Uma outra característica marcante deste trabalho são as várias aplicações práticas retiradas da realidade brasileira, o que permite aproximar a disciplina ao dia-a-dia do estudante, aumentando o incentivo à motivação. No âmbito da programação linear, o livro é caracterizado pelo uso intensivo de interpretação econômica do método simplex e das relações de dualidade e sensibilidade. A ideia é lembrar que as ferramentas de otimização indicam as atividades de maior produtividade nas empresas e que o uso dessas ferramentas também indica os preços de maior competitividade.
No âmbito da otimização combinatória, como o próprio nome indica, o livro se caracteriza pela apresentação dos problemas através do uso deliberado de formulações de programação linear inteira mista. Além do interesse teórico, a formulação de problemas combinatórios através da programação inteira abre caminho para o uso dos eficientes pacotes comerciais de programação matemática, cujo avanço na solução exata de importantes problemas práticos tem sido marcante. Mesmo para heurísticas que dispensam a formulação de programação linear inteira, muitas vezes podem ser feitas avaliações de qualidade de solução mediante o uso de relaxação do problema de programação linear.
Constituindo uma versão atualizada que preserva o conteúdo original e melhora a forma de apresentação, esta segunda edição contempla uma significativa inclusão de referências à produção científica do primeiro lustre do novo milênio. A atualização resultou em um saldo positivo de dezenas de páginas, com a supressão de algumas páginas do apêndice que não eram referenciadas no texto principal da primeira edição. A rica ilustração do livro foi reorganizada com a numeração restrita ao escopo de cada capítulo, abrangendo as referências a figuras, equações, quadros e tabelas, que, por sua vez, tiveram apresentação padronizada. Esta segunda edição surge numa época em que se consolida a ligação entre otimização combinatória e programação linear, o que ratifica o acerto do nome do livro e a importância da matéria nele ensinada.
================================================ FILE: extras/bibliography/25_fundamentals_computer_graphics.md ================================================ # Livros: Fundamentos de Computação Gráfica
| Título | Introdução à Pesquisa Operacional |
|---|---|
| Autores | Luiz Velho e Jonas Gomes |
| Ano de Publicação | 2015 |
| Edição | 1.a edição. |
| ISBN | 9788524402005 |
Este livro se originou das notas de aula de um curso introdutório de Computação Gráfica, lecionado no IMPA há 10 anos como parte do programa de Computação Gráfica IMPA/PUC-Rio. O livro enfoca aspectos conceituais da área de Computação Gráfica, estudando os diversos modelos matemáticos utilizados, bem como os problemas inerentes à discretização desses modelos. A abordagem do livro é feita de forma elementar, abrangendo todo o programa de um curso introdutório, exigindo como pré-requisitos apenas conhecimentos de Cálculo Diferencial, Álgebra Linear e noções de algoritmos.
| Título | Computer Graphics: Principles and Practice |
|---|---|
| Autores | Hughes, J. F., Van Dam, A., Mcguire, M., Sklar, D. F., Foley, J. D., Feiner, S. K., Akeley, K. |
| Ano de Publicação | 2013 |
| Edição | 3.a edição. |
| ISBN | 9780321399526 |
Computer Graphics: Principles and Practice, Third Edition, remains the most authoritative introduction to the field. The first edition, the original “Foley and van Dam,” helped to define computer graphics and how it could be taught. The second edition became an even more comprehensive resource for practitioners and students alike. This third edition has been completely rewritten to provide detailed and up-to-date coverage of key concepts, algorithms, technologies, and applications.
The authors explain the principles, as well as the mathematics, underlying computer graphics–knowledge that is essential for successful work both now and in the future. Early chapters show how to create 2D and 3D pictures right away, supporting experimentation. Later chapters, covering a broad range of topics, demonstrate more sophisticated approaches. Sections on current computer graphics practice show how to apply given principles in common situations, such as how to approximate an ideal solution on available hardware, or how to represent a data structure more efficiently. Topics are reinforced by exercises, programming problems, and hands-on projects.
================================================ FILE: extras/bibliography/26_automata_theory.md ================================================ # Livros: Linguagens Formais e Autômatos
| Título | Linguagens Formais e Autômatos |
|---|---|
| Autores | MENEZES, P. B. |
| Ano de Publicação | 2010 |
| Edição | 6.a edição. |
| ISBN | 9788577807659 |
A Teoria das Linguagens Formais foi originalmente desenvolvida na década de 1950 com o objetivo de desenvolver teorias relacionadas com as linguagens naturais. Entretanto, logo foi verificado que esta teoria era importante para o estudo das linguagens artificiais e, em especial, para as linguagens originárias na Ciência da Computação. Desde então, o estudo das Linguagens Formais desenvolveu-se significativamente e com diversos enfoques, com destaque para aplicações em análise léxica e sintática de linguagens de programação, modelos de sistemas biológicos, desenho de hardware e relacionamentos com linguagens naturais. Recentemente, inclui-se a ênfase no tratamento de linguagens não-lineares, como planares, espaciais e n-dimensionais.
Linguagens Formais e Autômatos visa apresentar os conceitos básicos da Teoria das Linguagens Formais. É baseado em experiências letivas no Curso de Bacharelado em Ciência da Computação da UFRGS. É delineado, principalmente, como um primeiro curso de Linguagens Formais, sendo auto-contido e podendo ser adotado como bibliografia básica. Possui um texto simples, exemplos detalhados e exercícios em níveis crescentes de raciocínio.
| Título | Linguagens Formais: Teorias e Conceitos |
|---|---|
| Autores | RAMOS, M.; NETO, J. J; VEGA, I. |
| Ano de Publicação | 2023 |
| Edição | 1.a edição. |
| ISBN | 9786555067163 |
Concebido como referência para cursos superiores da área de computação, este livro explora tópicos sobre as linguagens definidas pela Hierarquia de Chomsky. Contudo, seu alcance foi expressivamente ampliado pela inclusão de introduções à matemática discreta, aos conceitos básicos de linguagens, à classe das linguagens recursivas, à análise sintática descendente, à decidibilidade e à complexidade.Fruto de diversos anos da experiência docente e dedicação dos autores, em diversas instituições de ensino, à disciplina Linguagens Formais e Autômatos, esta obra, repleta de exemplos e exercícios, mitiga a aridez intrínseca dos muitos assuntos estudados, tornando-os mais acessíveis a um público-alvo amplo e diversificado.
| Título | Linguagens Formais: Exercícios e Soluçõess |
|---|---|
| Autores | RAMOS, M. |
| Ano de Publicação | 2021 |
| Edição | 1.a edição. |
| ISBN | 9786586057591 |
Fazer exercícios é a maneira mais eficaz de aprender linguagens formais e autômatos. É importante estudar exercícios resolvidos para melhorar o entendimento acerca das estratégias mais usadas e reduzir o tempo de resolução de problemas novos. Ainda assim, é raro que a solução de problemas novos não faça uso, pelo menos em parte, de estratégias consagradas utilizadas em problemas conhecidos. Em vez de teoria e conceitos abstratos, este livro é composto de 601 exercícios resolvidos sobre as temáticas dos capítulos. A ideia é que, a partir do enunciado, da solução e também das explicações que fundamentam as estratégias apresentadas, o leitor entenda como certas soluções são obtidas e se capacite mais rapidamente na resolução de novos problemas.
Esta obra é uma grande coletânea, devidamente revisada e estendida, do material que foi sendo acumulado ao longo de mais de uma década de dedicação ao ensino da disciplina Linguagens Formais e Autômatos na Universidade Federal do Vale do São Francisco. Em cada capítulo, uma pequena introdução traz um resumo das principais definições e resultados relevantes para o estudo do assunto, o que não dispensa o uso de uma boa referência teórica complementar sobre essa importante matéria.
================================================ FILE: extras/bibliography/27_artificial_intelligence.md ================================================ # Livros: Inteligência Artificial
| Título | Inteligência Artificial - Uma Abordagem de Aprendizado de Máquina |
|---|---|
| Autores | André Carlos Ponce de Leon Ferreira et al. |
| Ano de Publicação | 2021 |
| Edição | 2.a edição. |
| ISBN | 9788521637349 |
Inteligência Artificial sob novos olhares. Com abordagem equilibrada de tópicos básicos e avançados desenvolvidos por renomados pesquisadores da área, esta nova edição traz exemplos de implementações dos métodos abordados e exercícios teóricos e práticos.Vencedor do Prêmio Jabuti 2012 (Categoria Tecnologia e Informática) quando foi lançado, Inteligência Artificial – Uma Abordagem de Aprendizado de Máquina aborda os principais conceitos e algoritmos de aprendizado de máquina e aponta caminhos para transformar esse conhecimento em aplicações práticas, como:auxílio ao diagnóstico de doenças e descoberta de tratamentos mais eficazes;monitoramento da qualidade da água;prevenção de incêndios florestais;detecção e localização de falhas em linhas de transmissão de energia;reconhecimento de imagens para prover segurança em eventos;bloqueio de mensagens fraudulentas que impõem riscos aos usuários, entre outras.Por que ter Inteligência Artificial?Há algum tempo, a área de inteligência artificial deixou de ser vista apenas como teórica – destinada à aplicação em pequenos problemas “curiosos” – para se tornar um campo de pesquisa crescente, em busca de soluções de problemas reais da sociedade.Katti Faceli, Ana Carolina Lorena, João Gama, Tiago Agostinho Almeida e André Carlos Ponce Carvalho preenchem, com sucesso, a lacuna de livros abrangentes e atualizados voltados ao público nacional.
| Título | Inteligência Artificial |
|---|---|
| Autores | LUGGER, G. |
| Ano de Publicação | 2015 |
| Edição | 2.a edição. |
| ISBN | 9788581435503 |
Com uma abordagem clara e objetiva, George F. Luger reúne nesta sexta edição as práticas mais recentes do mercado e os tópicos importantes relacionados à inteligência artificial, como computação emergente, representação da incerteza e processamento probabilístico de linguagem natural, entre outros. Muito rica em exemplos práticos, esta obra é ideal para estudantes de ciência da computação, engenharia da computação e sistemas de informação, pois apresenta equilíbrio entre teoria e prática e os conceitos fundamentais da área, com detalhes e informações necessárias para a implementação dos algoritmos e estratégias discutidos no livro.
| Título | Inteligência Artificial |
|---|---|
| Autores | COPPIN, B. |
| Ano de Publicação | 2010 |
| Edição | 1.a edição. |
| ISBN | 9788521617297 |
O livro cobre uma variedade de técnicas de Inteligência Artificial, algoritmos e metodologias, incluindo playing game, agentes inteligentes, aprendizado de máquinas, algoritmos genéticos e vida artificial. Com texto descomplicado e acessível, o autor concentra-se em explicar como técnicas de Inteligência Artificial se relacionam e são derivadas de sistemas naturais, tais como o cérebro humano e a própria evolução das espécies, explicando como os equivalentes artificiais são utilizados no mundo real. Cada capítulo inclui uma introdução, explicando o que será abordado, um resumo do capítulo, alguns exercícios e questões para revisão, bem como sugestões para leitura adicional. Há uma bibliografia completa no final do livro, além de um glossário incluindo breves definições da maioria dos termos importantes.
================================================ FILE: extras/bibliography/28_distributed_computing.md ================================================ # Livros: Computação Distribuída
| Título | Sistemas Distribuídos: Conceitos e Projeto |
|---|---|
| Autores | COULOURIS, G; DOLLIMORE, J; KINDBERG, T; BLAIR, G. |
| Ano de Publicação | 2013 |
| Edição | 5.a edição. |
A Internet e a Web não param de crescer e têm impacto cada vez maior em diversos aspectos da nossa sociedade. Do ponto de vista do desenvolvimento de sistemas distribuídos, que interligam computadores e outros dispositivos, esse crescimento impõe novas demandas em termos de arquitetura, algoritmos, requisitos de projeto, variedade de aplicações e de cargas de trabalho. A 5ª edição deste best-seller continua a ser uma fonte de conhecimento abrangente sobre os princípios e a prática de sistemas distribuídos, com estudos de caso modernos que ilustram seu projeto e desenvolvimento e exercícios ao final de cada capítulo que ajudam a fixar o conteúdo abordado.Destaques da 5ª edição:• Novos capítulos: comunicação indireta, objetos e componentes distribuídos e projeto de sistemas distribuídos.• Novos tópicos: computação em nuvem, virtualização de rede e de sistemas operacionais, sistemas peer-to-peer não estruturados, espaços de tupla, baixo acoplamento em serviços Web e computação móvel e ubíqua.• Novos estudos de caso: JavaSpaces, JMS, WebSphere, Messa Queues, Entreprise JavaBeans,Skype, Gnutella, TOTA, L2imbo, BitTorrent, End System Multicast, infraestrutura Google.
| Título | Sistemas Distribuídos: Princípios e Paradigmas |
|---|---|
| Autores | Andrew S. Tanenbaum, Maarten Van Steen. |
| Ano de Publicação | 2007 |
| Edição | 2.a edição. |
| ISBN | 9788576051428 |
Nesta segunda edição, melhorada e atualizada, Tanenbaum e Van Steen apresentam os detalhes de funcionamento dos sistemas distribuídos, bem como as tecnologias subjacentes. Ao separar princípios de paradigmas, os autores mostram como os princípios se relacionam uns com os outros, discutindo quatro classes diferentes de sistemas distribuídos, o que permite uma percepção ainda mais abrangente do conteúdo apresentado.
================================================ FILE: extras/bibliography/29_graphs.md ================================================ # Livros: Teoria dos Grafos > #### ⚠️ Infelizmente, nessa seção a bibliografia está em inglês. Caso conheça materiais de qualidade sobre o assunto em Português, abra um PR.
| Título | Introduction to Graph Theory |
|---|---|
| Autor | Douglas B. West |
| Ano de Publicação | 2000 |
| Edição | 2.a edição. |
| ISBN | 9780130144003 |
This book fills a need for a thorough introduction to graph theory that features both the understanding and writing of proofs about graphs. Verification that algorithms work is emphasized more than their complexity. An effective use of examples, and huge number of interesting exercises, demonstrate the topics of trees and distance, matchings and factors, connectivity and paths, graph coloring, edges and cycles, and planar graphs. For those who need to learn to make coherent arguments in the fields of mathematics and computer science.
| Título | Graph Theory |
|---|---|
| Autor | Reinhard Diestel |
| Ano de Publicação | 2025 |
| Edição | 6.a edição. |
| ISBN | 9783662701065 |
This standard textbook on modern graph theory combines the authority of a classic with the engaging freshness of style that is the hallmark of active mathematics. It covers the core material of the subject, with concise yet complete proofs, while offering glimpses of more advanced methods in each field via one or two deeper results.
This is a major new edition. Among many other improvements, it offers additional tools for applying the regularity lemma, brings the tangle theory of graph minors up to the cutting edge of current research, and addresses new topics such as chi-boundedness in perfect graph theory.
The book can be used as a reliable text for an introductory graduate course and is also suitable for self-study.
| Título | Graph Theory |
|---|---|
| Autores | Adrian Bondy e U.S.R. Murty |
| Ano de Publicação | 2008 |
| Edição | 1.a edição. |
| ISBN | 9781846289699 |
Graph theory is a flourishing discipline containing a body of beautiful and powerful theorems of wide applicability. Its explosive growth in recent years is mainly due to its role as an essential structure underpinning modern applied mathematics – computer science, combinatorial optimization, and operations research in particular – but also to its increasing application in the more applied sciences. The versatility of graphs makes them indispensable tools in the design and analysis of communication networks, for instance.
The primary aim of this book is to present a coherent introduction to the subject, suitable as a textbook for advanced undergraduate and beginning graduate students in mathematics and computer science. It provides a systematic treatment of the theory of graphs without sacrificing its intuitive and aesthetic appeal. Commonly used proof techniques are described and illustrated, and a wealth of exercises - of varying levels of difficulty - are provided tohelp the reader master the techniques and reinforce their grasp of the material.
A second objective is to serve as an introduction to research in graph theory. To this end, sections on more advanced topics are included, and a number of interesting and challenging open problems are highlighted and discussed in some detail. Despite this more advanced material, the book has been organized in such a way that an introductory course on graph theory can be based on the first few sections of selected chapters.
================================================ FILE: extras/bibliography/30_multivariable_calculus.md ================================================ # Livros: Cálculo III
| Título | Um Curso de Cálculo - Vol. 3 |
|---|---|
| Autores | GUIDORIZZI, H. |
| Ano de Publicação | 2022 |
| Edição | 6.a edição. |
| ISBN | 9788521635451 |
Guidorizzi, o conteúdo integral para o seu diferencial! De Hamilton Luiz Guidorizzi, Um Curso de Cálculo apresenta recursos pedagógicos digitais que aprofundam e fixam a aprendizagem dos estudantes de Cálculo e auxiliam aulas de professores da disciplina. Este terceiro volume aborda temas como integrais duplas, integrais triplas, integrais de linha, entre outros. É indicado para alunos de graduação de Matemática, Engenharia e Ciências Exatas que cursam Cálculo Diferencial e Integral e disciplinas de Cálculo relacionadas.
| Título | Cálculo III |
|---|---|
| Autores | CARVALHO, A.N.; NUNES, W.V.L.; ZANI, S.L. |
| Ano de Publicação | 2001 |
Notas de Aula do ICMC - USP.
Disponível aqui. ================================================ FILE: extras/bibliography/31_theory_of_computation.md ================================================ # Livros: Teoria da Computação
| Titulo | Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing) |
|---|---|
| Autores | Martin Davis; Ron Sigal; Elaine J. Weyuker |
| Ano de Publicação | 1994 |
| Edição | 2.a edição. |
Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability. Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page. The number of exercises included has more than tripled. Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.
| Titulo | Introdução á teoria da computação |
|---|---|
| Autor | Michael Sipser |
| Ano de Publicação | 2005 |
| Edição | 2.a edição. |
Esta obra apresenta a teoria da computação por meio de teoremas e provas, sempre com a preocupação do autor em mostrar a intuição por trás de cada resultado e em amenizar a leitura destas últimas, apresentando, para cada teorema, uma ideia da prova. Com este livro, através da prática de resolução de problemas, os alunos, nos exercícios, revisarão definições e conceitos da área e, nos problemas, irão se deparar com atividades que exigem maior engenhosidade. Os três últimos capítulos são novos, e esta 2ª edição incorpora as sugestões de professores e alunos enviadas ao autor ao longo dos anos. Contém material para mais de um semestre de curso, propiciando flexibilidade para escolha de tópicos a serem mais ou menos explorados.
| Titulo | Introduction to the Theory of Computation |
|---|---|
| Autor | Michael Sipser |
| Ano de Publicação | 2012 |
| Edição | 3.a edição. |
Gain a clear understanding of even the most complex, highly theoretical computational theory topics in the approachable presentation found only in the market-leading INTRODUCTION TO THE THEORY OF COMPUTATION, 3E. The number one choice for today's computational theory course, this revision continues the book's well-know, approachable style with timely revisions, additional practice, and more memorable examples in key areas. A new first-of-its-kind theoretical treatment of deterministic context-free languages is ideal for a better understanding of parsing and LR(k) grammars. You gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs. INTRODUCTION TO THE THEORY OF COMPUTATION, 3E's comprehensive coverage makes this a valuable reference for your continued studies in theoretical computing.
| Titulo | Introduction to Languages and the Theory of Computation |
|---|---|
| Autor | John Martin |
| Ano de Publicação | 2010 |
| Edição | 4.a edição. |
Introduction to Languages and the Theory of Computation helps students make the connection between the practice of computing and an understanding of the profound ideas that defines it. The book's organization and the author's ability to explain complex topics clearly make this introduction to the theory of computation an excellent resource for a broad range of upper level students. The author has learned through many years of teaching that the best way to present theoretical concepts is to take advantage of the precision and clarity of mathematical language. In a way that is accessible to students still learning this language, he presents the necessary mathematical tools gently and gradually which provides discussion and examples that make the language intelligible.
================================================ FILE: extras/bibliography/32_deep_learning.md ================================================ # Livros: Deep Learning GOODFELLOW, I.; BENGIO, Y.; COURVILLE, A. Deep Learning. Cambridge, Massachusetts: The Mit Press, 2016. Abu-Mostafa, Y. (2012) Learning From Data. AML Book Haykin, S. O. (2008) Neural Networks and Learning Machines. Prentice Hall. Third Edition Braga, A. P., Carvalho, A. C. P. L. F. & Ludemir, T. B. (2007). Redes Neurais Artificiais – Teoria e Aplicações. LTC. Segunda Edição. ================================================ FILE: extras/bibliography/33_compilers.md ================================================ # Livros: Compiladores| Título | Compiladores: Princípios, Técnias, e Ferramentas |
|---|---|
| Autores | Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman |
| Ano de Publicação | 2007 |
| Edição | 2.a edição. |
| ISBN | 9788588639249 |
Abrangendo desde análise léxica e sintática (com técnicas como parsing LL e LR) até otimização e geração de código, o livro integra teoria (autômatos, gramáticas) e prática (exemplos implementáveis e estudos de caso), além de explorar tópicos modernos como compilação just-in-time e paralelismo. Sua abordagem equilibra rigor técnico e clareza, ensinando não só sobre compiladores, mas também desenvolvendo habilidades em algoritmos e design de sistemas, sendo relevante para estudantes, engenheiros e entusiastas de linguagens de programação.
