Funções - operações e propriedades

A videoaula conceitua funções e suas variáveis como uma regra ou um mecanismo de transformação de uma entrada em uma saída. Por fim, traz ainda a definição de função como conjunto de pares; Domínio e Imagem; a representação gráfica das funções e representação gráfica de funções sobre conjuntos finitos; a composição de funções; as funções inversível, injetiva, sobrejetiva, bijetiva, e a contagem de funções e propriedades.

Divisor e Máximo Divisor Comum

A videoaula traz o teorema da divisão no contexto dos números inteiros e o Máximo Divisor Comum (MDC). Destaca ainda o algoritmo de Euclides, sendo este usado para cálculo do máximo divisor comum.

Relações entre conjuntos

A videoaula apresenta as relações entre conjuntos. Uma relação é uma comparação entre objetos, onde dois objetos podem ou não estar relacionados por alguma regra, bem como por alguma forma de associação. A videoaula também destaca a relação menor que; o produto cartesiano; o domínio e imagem, as relações sobre um conjunto, as operações entre relações, e as representações gráficas de relações sobre conjuntos finitos.

Propriedades de relações e relações de equivalência

A videoaula traz as propriedades de relações, com foco nas relações reflexiva, irreflexiva, simétrica, antissimétrica, transitiva, e nas classes de equivalência.

Aritmética Modular

A videoaula traz o conceito de aritmética modular, como sendo o estudo das operações básicas sobre um contexto diferente, que é o sistema dos números inteiros módulo n. As operações básicas são: adição mod n, subtração mod n, multiplicação mod n, e divisão mod n. O material destaca ainda a adição e multiplicação modulares, a subtração e a divisão modular, o inverso modular e seus elementos e, por fim, o cálculo de equações.

Conjuntos parcialmente ordenados

A videoaula traz o conceito de conjunto parcialmente ordenado e o conceito de relação de ordem parcial. Destaca também o Diagrama de Hasse, os elementos comparáveis e não comparáveis, o máximo e o mínimo divisor comum, a regra da tricotomia, as extensões lineares e as ordenações lineares.

Teoria dos Grafos

A videoaula conceitua a teoria dos grafos, que oferece a base de estruturas de representação para diversos problemas como listas, árvores, pilhas, filas, e outras. Destaca também a adjacência, laços e arestas múltiplas, o grau de um vértice, a notação, os subgrafos, os grafos isomorfos, o passeio e caminho, e, por fim, os grafos cíclicos e acíclicos.

GRAFOS coloração, planaridade e "Matching"

A matemÆtica discreta Ø um dos ramos mais antigos da matemÆtica. Nos tempos mais recentes sofreu grandes avanos em especial na teoria dos grafos, a qual tornou-se numa poderosa ferramenta de anÆlise para entender e dar soluªo a vÆrios tipos de problemas complexos. O objectivo deste trabalho Ø contribuir para a obtenªo de possveis relaıes entre assuntos que partida poderamos pensar que sªo dspares (quando na realidade nªo o sªo), como coloraªo, planaridade e a existŒncia de matching em grafos. Esta dissertaªo Ø um trabalho de natureza reexiva, sobre a teoria dos grafos onde a ideia principal passa por questionarmos e discutirmos alguns temas pertinentes, deniıes e teoremas relacionando sempre com a planaridade dos grafos. DesenvolveremosumraciocnioecriaremosargumentosquefundamentemaexistŒncia de uma relaªo entre este tema e a coloraªo de grafos e a existŒncia de matching em grafos, utilizando exemplos e estabelecendo relaıes de causa e consequŒncia, deduzindo assim as respetivas conclusıes. Por vezes, os grafos nªo planares podem conter um aspeto visual um pouco complexo, devido aos vÆrios cruzamentos entre as suas arestas, originando assim um certo desencorajamento em utilizÆ-los como ferramenta para a soluªo de vÆrios problemas, quer sejam bÆsicos do quotidiano, ou mais complexos das mais vastas Æreas ligadas investigaªo. Um dos propsitos deste trabalho passa por desmisticar esta ideia e provar que existem muitas deniıes, propriedades, teoremas e algoritmos que podem ser aplicados em qualquer tipo de grafos, independentement da sua planaridade.

Uma proposta de oficina de coloração de mapas e grafos para o ensino fundamental e médio

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Lineamentos de análise combinatória

Pós-graduação em Matemática em Rede Nacional - IBILCE 31075010001P2

Algoritmos de búsqueda de posiciones óptimas en localizaciones circulares. Aplicación a la competición política

Desarrollo de teoría y algoritmos para la búsqueda de posiciones óptimas en un espacio circular. En este trabajo se desarrolla una aplicación de los datos direccionales a la ciencia política. Se presenta un modelo en el que las preferencias políticas de los tipos de votantes de una población se representan como puntos de la circunferencia unidad y los partidos políticos buscan las posiciones óptimas en ella para captar el máximo apoyo de ese conjunto finito de tipos de votantes. Se desarrollan algoritmos de búsqueda basados en los estudios realizados y se implementa uno de ellos, realizándose simulaciones de ejemplos relacionados con el posicionamiento político e interpretándose los resultados.

GRAFOS coloração, planaridade e "Matching"

A matemÆtica discreta Ø um dos ramos mais antigos da matemÆtica. Nos tempos mais recentes sofreu grandes avanos em especial na teoria dos grafos, a qual tornou-se numa poderosa ferramenta de anÆlise para entender e dar soluªo a vÆrios tipos de problemas complexos. O objectivo deste trabalho Ø contribuir para a obtenªo de possveis relaıes entre assuntos que partida poderamos pensar que sªo dspares (quando na realidade nªo o sªo), como coloraªo, planaridade e a existŒncia de matching em grafos. Esta dissertaªo Ø um trabalho de natureza reexiva, sobre a teoria dos grafos onde a ideia principal passa por questionarmos e discutirmos alguns temas pertinentes, deniıes e teoremas relacionando sempre com a planaridade dos grafos. DesenvolveremosumraciocnioecriaremosargumentosquefundamentemaexistŒncia de uma relaªo entre este tema e a coloraªo de grafos e a existŒncia de matching em grafos, utilizando exemplos e estabelecendo relaıes de causa e consequŒncia, deduzindo assim as respetivas conclusıes. Por vezes, os grafos nªo planares podem conter um aspeto visual um pouco complexo, devido aos vÆrios cruzamentos entre as suas arestas, originando assim um certo desencorajamento em utilizÆ-los como ferramenta para a soluªo de vÆrios problemas, quer sejam bÆsicos do quotidiano, ou mais complexos das mais vastas Æreas ligadas investigaªo. Um dos propsitos deste trabalho passa por desmisticar esta ideia e provar que existem muitas deniıes, propriedades, teoremas e algoritmos que podem ser aplicados em qualquer tipo de grafos, independentement da sua planaridade.

Contribuição à teoria matemática do custo padrão

A teoria de custo padrão ressente-se de um tratamento matemático, como o que aqui é proposto. Conforme foi salientado no início, este tratamento matemático, embora substancialmente simples, é todavia absolutamente rigoroso e também é completo quando visto do prisma que se adotou. Modelamos a distinção necessariamente explícita entre a produção contínua e a produção discreta, através do uso dos modelos algébricos a dois e três fatores, respectivamente. Unificamos de uma maneira sistemática a abordagem dos três elementos básicos do custo, simplificando de um lado e generalizando do outro. Esta unificação levou aos elementos diretos, como deve ser, todo o rigorismo analítico do elemento indireto. Ampliou-se a estreita visão das variaçoes de preço e quantidade com a consideração da variação de unidades, que acarretou automaticamente a substituição do conceito de variação total pelo de variação total orçamentária

Simetria de invariância de escala discreta, log-periodicidade e singularidades em tempo finito

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Um método para classificação de imagens de satélite usando Transformada Cosseno Discreta com detecção e remoção de nuvens e sombras

Apresenta-se nesta dissertação a proposta de um algoritmo supervisionado de classificação de imagens de sensoreamento remoto, composto de três etapas: remoção ou suavização de nuvens, segmentação e classificação.O método de remoção de nuvens usa filtragem homomórfica para tratar as obstruções causadas pela presença de nuvens suaves e o método Inpainting para remover ou suavizar a preseça de sombras e nuvens densas. Para as etapas de segmentação e classificação é proposto um método baseado na energia AC dos coeficientes da Transformada Cosseno Discreta (DCT). O modo de classificação adotado é do tipo supervisionado. Para avaliar o algioritmo foi usado um banco de 14 imagens captadas por vários sensores, das quais 12 possuem algum tipo de obstrução. Para avaliar a etapa de remoção ou suavização de nuvens e sombras são usados a razão sinal-ruído de pico (PSNR) e o coeficiente Kappa. Nessa fase, vários filtros passa-altas foram comparados para a escolha do mais eficiente. A segmentação das imagens é avaliada pelo método da coincidência entre bordas (EBC) e a classificação é avaliada pela medida da entropia relativa e do erro médio quadrático (MSE). Tão importante quanto as métricas, as imagens resultantes são apresentadas de forma a permitir a avaliação subjetiva por comparação visual. Os resultados mostram a eficiência do algoritmo proposto, principalmente quando comparado ao software Spring, distribuído pelo Instituto Nacional de Pesquisas Espaciais (INPE).