UniApontamentos
Cursos de Ensino Superior
6.644 horas de aulas universitárias transcritas via Whisper, 110 disciplinas mapeadas, 198 artigos planejados em 10 séries temáticas. Conceitos reestruturados com anotações reais (UniTO Dip. Informática + material de estudo pessoal), nunca cópia 1:1 de slides ou aulas gravadas. Síntese originais com exemplos próprios, código executável e multilíngue.
Todas as séries educacionais
Séries de temas, todas em publicação ativa com a mesma prioridade. Artigos reestruturados por anotações reais UniTO + corpo 122 k arquivo / D1/ProjetoAnotações.26
Fundamentos do ML
Bases de Aprendizado de Máquina refeitas com notebooks Jupyter universitários: da matemática básica aos modelos supervisionados e não supervisionados, com código Scikit-Learn e PyTorch.
- Entender o equilíbrio entre variação e ruído
- Implementar regressão linear e logística de zero
- Comparar modelos com validação cruzada
Probabilidade e Estatística
Transcrição e síntese das 50 aulas de vídeo do curso Probabilidade e Estatística da UniBa. Variações aleatórias, distribuições, estimativa, testes hipotéticos, regressão.
- Dominar distribuições notáveis
- Aplicar teste T, ANOVA, quadrado de Chi
- Construir intervalos de confiança corretos
Padrões de Design em Produção
Você tem seis padrões estruturais e comportamentais extraídos do LabSAS 2021-22 (Desenvolvimento de Aplicações de Software UniBa), explicados com exemplos de Java multi-módulo e testes unitários.
- Reconhecer quando aplicar Estratégia, Observador, Fábrica
- Refatorando seguro com testes
- Evitar padrões anti-comuns
Segurança de Informática e CTF
Conceitos de segurança cibernética reavaliados pela CyberChallenge UniBa: segurança do web (XSS, SSRF, SSTI), pwn (desbordamento de pilha, ROP), forensics (recuperacao de dumps de memoria), criptografia base.
- Entender vulnerabilidades OWASP Top 10
- Resolver desafio CTF básico (web, criptografia)
- Aplique base de endurecimento
Algoritmos e Estruturas de Dados
Algoritmos clássicos e ADT (lista, árvore, grafos, pilha, hash) reavaliados com exemplos em Python e análise de complexidade.
- Análise Big O de algoritmos comuns
- Implementar BFS/DFS/Dijkstra
- Escolher a estrutura de dados adequada para o problema
Sistemas Operacionais
Conceitos-chave de SO (processos, threads, agendamento, memória virtual, sistema de arquivos, sincronização), com exemplos C/Linux.
- Entender fork/exec/wait
- Reconhecer condição de raiva e aplicar bloqueio
- Explicar paginamento, segmentação, TLB
Redes de Computadores
Stack TCP/IP, modelo OSI, roteamento, protocolos aplicativos (HTTP, DNS, TLS), redes sem fio. Exemplos com tcpdump/Wireshark.
- Diagnósticos problemas rede (ping/traceroute/dig)
- Entender NAT, firewall e VPN
- Entender o handshake de TLS
Engenharia de Software
Metodologias ágeis, requisitos, arquitetura (MVC, camadas, microserviços), estratégia de teste, revisão de código, CI/CD. Referência ao projeto LabSAS.
- Escrever histórias de usuário eficazes
- Desenhar arquitetura camadas
- Adotar workflow Git colaborativo
Computação Quântica em Português
Primeira série divulgativa em italiano sobre processamento de quantas aplicado: qubit, superposição, entrelaçamento, modelo de portão, Grover, VQE, QAOA, QML. Tutorial Qiskit com IBM Q free tier.
- Costruire e simulare il primo circuito quantistico
- Implementare l'algoritmo di Grover
- Comprendere VQE per chimica computazionale
Bioinformática para CS
Bioinformática aplicada pensada para estudantes de Ciência da Computação que entram na Biologia (e vice-versa). FASTQ, BLAST, BioPython, Bioconductor, scanpy, Nextflow, design de medicamentos computacional.
- Ler e analisar arquivos FASTQ/SAM/ VCF
- Construir pipeline de RNA-Seq com Nextflow
- Visualizar dados de células individuais com scanpy
Arquitetura dos Elaboradores
Da lógica booleana às CPUs pipelined: ALU, registros, memória, cache, assembleagem MIPS/RISC-V. Revisado pelo curso UniTO (270h de áudio transcritto).
- Entender o caminho de dados de uma CPU MIPS
- Escreva programas em assembly RISC-V
- Analisar taxa de acerto/erro de cache
Matemática Discreta
Grupos, relações, indução, combinação, grafos, congruências. Revisado pelo curso UniTO (244h audio).
- Dominar as demonstrações de indução
- Aplicar o princípio de inclusão-exclusão
- Resolver problemas de combinação
Análise Matemática para Informáticos
Limites, derivadas, integrais, séries. Pensada para estudantes de CS que desejam rigor sem a fadiga desnecessária. Do curso UniTO (169h áudio).
- Calcular limites e aplicar de l'Hôpital
- Derivar e integrar funções de uma variável
- Estudiar convergência de séries
Programação em Python e Java
Três semestres de programação condensados: Python comandos + Java orientação objetual + construtos avançados. Dos cursos UniTO Prog1/2/3 (530h áudio transcrita).
- Dominar Python de forma imperativa e funcional
- Escreva classes Java de forma idiomática
- Entender o modelo de memória e coletor de garbage
Sistemas de Informação e Bases de Dados
De ER-model para SQL avançado, índices, transações ACID, NoSQL. Revisado pelo curso UniTO Sistemas Informáticos (145h áudio).
- Modelar esquemas ER complexos
- Escreva consultas SQL avançadas (CTE, janela)
- Entender Normalização 3NF/BCNF
Línguas Formais e Compiladores
Máquinas, expressões regulares, gramáticas contextuais, parseamento, otimização de código. De UniTO LFT (88h áudio).
- Construir DFA/NFA de regex
- Implementar um parser LL(1)
- Entender LR(1) e parseamento bottom-up
Métodos Numéricos e Cálculo científico
Erros de máquina, sistemas lineares, interpolação, ODE, otimização. Com NumPy/SciPy. Da UniTO - Métodos Números (105h áudio).
- Entender estabilidade e erro de propagação
- Resolver sistemas lineares (LU, QR)
- Interpolar com polinômios e splines
Redes Complexas e Ciência de Redes
De Erdős-Rényi a Barabási-Albert: pequeno mundo, semelhante à escala, comunidade, dinâmica. Com NetworkX. De UniTO Redes Complexas mestre (102h).
- Gerar e analisar grafos aleatórios
- Medir centralidade (graúdo, centralidade de caminho, vetor)
- Reconhecer comunidades (Louvain, Leiden)
Interatividade Homem-Máquina e Tecnologias Web
UX, acessibilidade, sistema de design, padrões web modernos. Do curso UniTO IUM (83h áudio).
- Aplicar algoritmos de Nielsen
- Implementar WCAG 2.1 AA
- Construir um sistema de design reutilizável
Física para Informáticos
Mecânica, termodinâmica, eletromagnetismo: só o que serve a um dev. Do curso UniTO Física (102h áudio).
- Capire le grandezze vettoriali
- Applicare conservazione energia
- Comprendere termodinamica per computing
Economia e Gestão para Desenvolvedores
Equilíbrio, modelo de negócios Canvas, direito industrial. Para devs que querem entender startups e VC. Do curso UniTO EGI (118h áudio).
- Ler um estado patrimonial
- Construir um BMC
- Entender o term sheet de startup
Inteligência Artificial Moderna
LLM, RAG, agentes, MCP, modelos de razão. Síntese de 21.923 arquivos em AI/IA classificados pelo corpus anotados (D1/projetoAnotados). Do Polimi e cursos AI da UniBO.
- Entender arquitetura de transformadores e LLM
- Implementar pipeline de RAG do zero
- Projetar agente multi-passo com MCP
Desenvolvimento Web Fullstack Moderno
TypeScript, Angular, Spring Boot, REST/GraphQL, orçamento de desempenho, CI/CD. 3.412 arquivos de desenvolvimento web classificados (corpus de anotações). Aulas da UniBO Tecnologias Web + IUM da UniTO.
- Arquitetar SPA com SSR
- Construir APIs REST resilientes
- Otimizar Core Web Vitals
Ciência de Dados Aplicada
Pipeline end-to-end: pandas/numpy, EDA, engenharia de características, deploy ML, dashboard. 5.340 arquivos de dados científicos classificados no corpus.
- Construir pipeline EDA → ML → dashboard
- Engenharia de características profissional
- Validar modelos para negócios
Complexidade Computacional e Capacidade de Cálculo
Máquinas de Turing, P vs NP, indecidibilidade, classes de complexidade, reduções. De 1.155 arquivos da teoria classificada (curso de mestrado).
- Entender os limites do calculável
- Demonstrar indecidibilidade por redução
- Classificar problemas em P/NP/PSpace
Sistemas de Multiação
Arquitetura BDI, JADE, coordenação, negociação. De 951 arquivos Sistemas de Agentes UniBA mestre + Universidade Federico/3º Ano/Todos os Sistemas de Agentes (2611 arquivos transcritos).
- Implementar agências BDI com JADE
- Projetar protocolos de negociação
- Coordenar inteligência de swarm
Materia principal transcrita
As 10 matérias com mais horas de lição transcritas pela Pipeline Whisper. Cada matéria tem uma página própria no <a href="https://github.com/FedericoCalo/whisper-universita">/universitá</a> , com links para séries e professores titulares.
Architettura degli Elaboratori
Algoritmi Strutture Dati
Matematica Discreta
Programmazione 1
Programmazione 2
Analisi Matematica
Sistemi Operativi
Sistemi Informativi
Sviluppo delle Applicazioni Software
Logica
Transparência nos conteúdos
Uni Appunti respeita restrições legais rígidas :
- Os conteúdos são recriações originais dos conceitos estudados, nunca cópias exatas de slides do professores, vídeos das aulas ou livros editoriais.
- Diagramas e esquemas são recriados em SVG (sem captura de tela).
- Cada artigo cita as referências bibliográficas com autor e editora.
- Código de código aberto reescrito mantém a atribuição do licença original (MIT / Apache/ GPL).
- Não são redistribuídos vídeos de aulas externas ou arquivos do repositório propietário.
Vê o catálogo legal completo: docs/07_banco_de_conhecimentos/13_universitários_apontamentos/
Sugira uma alteração
Encontrou um erro ou gostaria de sugerir tópicos para uma nova série? Estou aberto a comentários, revisão por pares, colaborações com professores e instituições acadêmicas.