EMENTA:

• Conjuntos e relações;
• Demonstrações por indução e contradição, exemplos;
• Números naturais. Cardinalidades finitas e infinitas, enumerabilidade;
• Números racionais e reais. Limites e convergência de sequências e séries numéricas;
• Topologia da reta: abertos, fechados, compactos, conexos, densos;
• Conjunto ternário de Cantor;
•  Funções contínuas: Teorema de Bolzano-Weierstrass, Teorema do Valor Intermediário, continuidade uniforme.

MAT1605/MAT2614
Turma 3ZB

• Introdução à Análise
• Tópicos de Análise I

EMENTA:

Quantum computers can be described by a relatively easy mathematical model based on linear algebra and probability theory. We show how entanglement allows having computational speed-up. At the same time some “easy” algorithms such as “adding 1” have nontrivial details. The most famous algorithms are quantum Fourier transform, Quantum search (Grover), Shor. In the course we consider them as well as more practical-related approaches such as Q-RAM and speeding up linear algebra (HHL- algorithm).

Computadores quânticos podem ser descritos por um modelo matemático relativamente simples, baseado em álgebra linear e teoria das probabilidades. Mostramos como o emaranhamento permite obter uma aceleração computacional. Ao mesmo tempo, alguns algoritmos "simples", como "somar 1", possuem detalhes não triviais. Os algoritmos mais famosos são a Transformada de Fourier Quântica, a Busca Quântica (Grover) e o algoritmo de Shor. No curso, consideramos esses algoritmos, assim como abordagens mais voltadas para a prática, como Q-RAM e aceleração de álgebra linear (algoritmo HHL).

MAT2425 
Turma 3ZB

• Tópicos de Física Matemática I
  

Quantum Computing 

Computação Quântica

• Números e Funções Reais
• Geometria
• Matemática Discreta
• Aritmética
  

PMA 2021/MA 21

•  Resolução de Problemas