Descobrir Matemática com a Música realizado na Casa da Música em Outubro 2007
|
|
- Valdomiro Fontes Fialho
- 7 Há anos
- Visualizações:
Transcrição
1 Descorir Mtemátic com Músic relizdo n Cs d Músic em Outuro 2007 O conceito principl deste workshop é o de simetri - se de todos os pdrões, n rte, n ciênci, n nturez, e portnto tmém nos pdrões musicis - e su relizção mtemátic trvés d noção de grupo. Nests folhs poderás encontrr um resumo dos tems trtdos no workshop, ssim como um série de trefs que poderás relizr de modo consolidr e profundr s noções mtemátics presentds. Podes encontrr o workshop no endereço Estudr Mtemátic n FCUP convidmos-te visitr o site: 1
2 Exemplo 1 Construir um melodi usndo pens 3 nots com mesm durção e stisfzendo s regrs seguintes: R1 n melodi têm que precer s 3 nots ordends de tods s forms possíveis R2 cd um ds ordenções ds 3 nots só pode precer um únic vez (chmremos série cd um desss ordenções) Ess construção deverá ser feit de form determinist, isto é, usndo um conjunto de instruções em definids. E o menor número possível de instruções pr que o processo não fique demsido complicdo. Designemos s três nots por: Existem 6 modos distintos de ordenr ests 3 nots: 2
3 Construção de um melodi de form determinist começr com instrução : trocr s posições ds dus primeirs nots instrução : trocr s posições ds dus últims nots Note-se que =e e =e sendo instrução e: não fzer nd 3
4 Usndo s instruções e, será possível construir um melodi com pens 3 nots e stisfzendo s regrs descrits trás? Começndo com série, existem pens 2 melodis ns condições nteriores: 4
5 Ms existem mis instruções que poderemos dr: trocr primeir com últim posição (ou ) trocr tods s posições e Existem portnto 6 instruções distints que podemos seguir pr otermos tods s séries de 3 nots: e. E qulquer cominção de dus dests operções dá novmente um dels: e e e e e e e e 5
6 Est máquin de instruções constitui quilo que os mtemáticos chmm de grupo. Um grupo é um conjunto de ojectos (neste cso instruções) que podem ser comindos entre si (trvés de um operção ) de form oter novmente um elemento desse conjunto (neste cso plicção consecutiv de instruções) e stisfzendo 3 regrs: 1. existênci de um ojecto especil, o não fz nd e e g=g e=g 2. cd um dos ojectos tem um pr que comindo consigo conduz o não fz nd g h=h g=e ex: =e =e () () =e 3. operção é ssocitiv ( ordem pel qul grupmos s operções é irrelevnte g (h i)=(g h) i Tref 1: Usndo tel d págin nterior, verific que cd um ds instruções tem um pr ns condições de 2. 6
7 Gerdores de um grupo: conjunto de ojectos que podem ser usdos pr oter todos os outros elementos do grupo. O conjunto constituído pels 6 instruções: e e pel operção é um grupo, onde g h signific plicr instrução h e seguir instrução g. Tref 2: Recorrendo à tel d págin 5, verific vercidde d firmção cim. Esse grupo (constituído pels 6 instruções) é tmém o grupo ds simetris de um triângulo equilátero: e 7
8 Exemplo 2 Construir um melodi usndo 4 nots com mesm durção e stisfzendo s regrs seguintes: R1 n melodi têm que precer s 4 nots ordends de tods s forms possíveis R2 cd um ds ordenções ds 4 nots só pode precer um únic vez Designemos s qutro nots por: Existem 24 mneirs distints de ordenr ests 4 nots e portnto situção é mis complicd. Se pretendermos construir um melodi de form determinist como no cso nterior, poderemos colocr seguinte questão: Qul o número mínimo de instruções necessáris pr construir melodi? Temos gor 4 nots pr ordenr. Inspirdos no exemplo nterior iremos considerr esss 4 nots como os vértices de um qudrdo. 8
9 9 O qudrdo tem 8 simetris, 4 de reflexão e 4 de rotção. rotção de 90º (sentido ntihorário) Consideremos s simetris seguintes:
10 10 Cominndo s simetris e conseguimos oter tods s 8 simetris do qudrdo. Rotções: de 90º: de 180º: de 270º: de 360º: =e Reflexões:
11 Tref 3: Constrói um tel nálog à d págin 5 correspondente às 8 simetris do qudrdo. Verific que se trt efectivmente de um grupo. Note-se que =e e =e. Assim pr construir melodi terá que se plicr e lterndmente: Não é possível construir melodi com pens ests dus instruções, pois não é possível oter s 24 séries de 4 nots. 11
12 Pr construirmos melodi necessitremos de pelo menos mis um instrução. E est instrução não poderá corresponder um simetri do qudrdo: c troc d 3ª e 4ª posições Construção d melodi: c c 12
13 E poderemos vnçr pr exemplos mis complicdos com um mior número de nots. Ms Qunto tempo demorri tocr um melodi com s regrs proposts? Supondo que tocmos 30 séries por minuto: número de nots n número de séries n! durção prox. d melodi 12 segundos 48 segundos 24 minutos 22 hors 84 dis 30 nos e meio nos 13
14 Os mtemáticos tentm generlizr s situções concrets que estudm de modo colocá-ls no âmito de um teori mis gerl que explique esss e outrs situções prentemente distints. Nos dois exemplos nteriores o que há de essencil? Um conjunto de séries de nots. Ms poderim ser outros ojectos musicis. Por exemplo céluls rítmics, cordes, etc M={ojectos musicis} Um grupo G gerdo por instruções,, que ctum nos ojectos musicis de M trnsformndo-os uns nos outros. G M Alguns exemplos ilustrtivos 14
15 1. Círculo ds quints Pr presentr M necessitremos primeiro de um pouco de ritmétic do relógio. Pensemos num relógio com 0 n posição ds 12 hors: =3 mod =2 mod =0 mod =11 mod =1 mod 12 etc 0-3=9 mod ={0,1,2,3,4,5,6,7,8,9,10,11} é chmdo conjunto dos inteiros módulo 12. Tref 4: Mostr que 12 com operção de dição módulo 12 é um grupo. 15
16 M clsses dos 12 (semi)tons cromáticos so igul tempermento, otids trvés de equivlênci por oitvs lá# si 0 dó 1 dó# ré 2 modelo mtemático 9 8 lá sol# 7 sol fá# 6 fá ré# mi M = 12 ={0,1,2,3,4,5,6,7,8,9,10,11} dição módulo 12 16
17 Que tipo de trnsformções se podem fzer em M = 12? Trnsposições e Inversões são dus trnsformções muito utilizds por músicos. Trnsposição: A função T n : definid por T n (x)=x+n mod 12 é chmd trnsposição pelos músicos e trnslção pelos mtemáticos lá# si 0 dó 1 dó# ré 2 T lá lá# 11 si 0 dó dó# 1 9 lá ré# 3 8 sol# ré 2 8 sol# 7 sol fá# 6 fá 5 mi 4 7 sol fá# 6 fá 5 ré# mi
18 Inversão: A função I n : definid por I n (x)= -x+n mod 12 é chmd inversão pelos músicos e reflexão pelos mtemáticos lá# lá si 0 dó I 0 1 dó# ré ré# lá# lá si 0 dó 1 dó# I 1 ré ré# sol# 7 sol fá# 6 fá mi sol# 7 sol fá# 6 fá mi 5 4 I 1 =T 1 I 0 18
19 Podemos encontrr trnsposições e inversões por exemplo em: Fugue No.6 in D minor, The ell-tempered Clvier Book I de Johnn Sestin Bch ( ) Um fug começ usulmente com um tem principl que se repete váris vezes so diferentes forms. Num fug podemos encontrr ocorrêncis de trnsposição e inversão. tem: <ré,mi,fá,sol,mi,fá,ré,dó#,ré,lá#,sol,lá> = <2,4,5,7,4,5,2,1,2,10,7,9> T 7 P = <9,11,0,2,11,0,9,8,9,5,2,4> I 6 P = <4,2,1,11,2,1,4,5,4,8,11,9> De fcto não é exctmente I 6 P que podemos ouvir ms sim dus séries muito precids, diferindo pens ns 3 últims nots : <4,2,1,11,2,1,4,5,4,9,0,10> e <4,2,1,11,2,1,4,5,4,7,10,9> Explor em 19
20 Tref 5: Us o modelo 12 pr reescrever seguinte melodi n Cnção do Toredor no 2º cto d óper Crmen de Bizet: e clcul I 6 (P), e T 4 (P). P= < dó,ré, dó,lá, lá, lá,sol, lá, lá#, lá, lá#, sol, dó > O conjunto G de tods s trnsposições em 12 com operção definid como n pág.7 constitui um grupo. G={T 0,T 1,T 2,T 3,T 4,T 5,T 6,T 7,T 8,T 9,T 10,T 11 } T 7 é um gerdor do grupo G Tref 6: Mostr que T 7 é de fcto um gerdor do grupo de tods s trnsposições em
21 G M 1 0 dó 3 4 ré# mi 7 sol 8 sol# T 7 dó# 2 ré 5 6 fá fá# 9 lá 10 lá# 11 si Começndo com dó e plicndo T 7 sucessivmente: 10 lá# 3 ré# 5 fá 0 dó Círculo ds Quints 7 sol ré lá 2 9 (um quint just ou quint perfeit é o intervlo entre dus nots musicis correspondente um intervlo de 7 meios tons) 8 sol# dó# 1 fá# 6 si 11 mi 4 21
22 Existem pens 4 mneirs distints de dispôr s 12 nots de M sore um círculo de tl modo que o intervlo entre dus nots consecutivs no círculo sej sempre o mesmo: lá# lá si sol# sol 7 0 dó fá# 6 1 dó# ré ré# mi fá dó# dó si 2 2 ré lá# 10 círculo dos semitons 3 scendente e descendente 3 lá 9 ré# 4 4 mi sol# 8 fá T fá# sol 1 T lá# ré# sol# dó# 1 fá 0 dó fá# 6 7 sol ré si 2 lá 9 círculo ds quints 9 ré# 3 scendente e descendente lá mi sol# 4 mi 4 8 si dó# 11 fá# 11 1 T T ré sol 0 dó 5 fá lá# 10 22
23 Flámos em trnsposições e inversões. O conjunto constituído por tods s trnsposições de 12 é um grupo, ms o conjunto constituído por tods s inversões de 12 não é um grupo. No entnto, o conjunto constituído por tods s trnsposições e inversões de 12 é um grupo.. Tref 7: Mostr que o conjunto constituído por tods s inversões de 12 não é um grupo e que o conjunto constituído por tods s trnsposições e inversões de 12 é um grupo. 23
24 2. Acordes (escrit ou execução de três ou mis nots simultnemente) Tríde Mior corde de 3 semitons d form {k, k+4, k+7} 4 3 Tríde Menor corde de 3 semitons d form {k, k+3, k+7} 3 4 Existem 12 trídes miores otids trvés do corde de dó mior: dóm={dó,mi,sol}= ={0,4,7} por trnsposição: {0,4,7} {1,5,8} {2,6,9} {3,7,10} {4,8,11} {5,9,0} Existem 12 trídes menores otids trvés do corde de dó menor:dóm={dó,ré#,sol}= ={0,3,7} por trnsposição: {0,3,7} {1,4,8} {2,5,9} {3,6,10} {4,7,11} {5,8,0} Podemos oter trídes menores prtir de trídes miores trvés de inversões.. I 7 {0,4,7} {0,3,7} I 0 {0,4,7} {5,8,0} 24
25 Qulquer tríde menor pode ser otid trvés de um inversão dequd de qulquer tríde mior e vice-vers. I n {j,j+4,j+7} I m {k,k+3,k+7} Tref 8: Mostr que qulquer tríde menor pode ser otid trvés de um inversão dequd de qulquer tríde mior e vice-vers. G M 12 inversões 12 trnsposições 12 trídes menores 12 trídes miores grupo T I 25
26 N 9ª Sinfoni de L. Beethoven ( )(compssos do 2º ndmento) pode encontrr-se seguinte sequênci de cordes (usndo o modelo 12 ): I 4 I 9 I 2 {0,4,7} {9,0,4} {5,9,0} {2,5,9} {10,2,5} {7,10,2} I 7 I 0 I 5 I 10 {3,7,10} {0,3,7} I 3 I 8 {8,0,3} {5,8,0} I 1 I 6 {1,5,8} {10,1,5} I 11 {6,10,1} {3,6,10} {11,3,6} {8,11,3} {4,8,11} {1,4,8} I 4 I 9 I 2 I 7 I 0 I 5 {9,1,4} 26
27 A prtir de um tríde mior é possível oter 3 trídes menores, cd um tendo 2 nots em comum com tríde mior. E prtir de um tríde menor é possível oter 3 trídes miores, cd um tendo 2 nots em comum com tríde menor. P {0,4,7} L R P L {0,3,7} R {0,3,7} {4,7,11} {9,0,4} {0,4,7} {3,7,10} {8,0,3} Tref 9: Aplic s instruções P, L e R os cordes {sol#,si,ré#} e {lá#,ré,fá}. 27
28 A prtir de um definição rigoros ds instruções P L e R é possível mostrr que o conjunto gerdo por ests três instruções é um grupo. grupo PLR G P, L, R, P P P L P R P P L M 12 trídes menores 12 trídes miores Tref 10: Verific que s inversões d págin 27 correspondem de fcto às instruções L e R. 28
29 3. Músic Seril Dodecfónic Neste exemplo M é o conjunto constituído por tods s séries de 12 clsses de semitons cromáticos so igul tempermento (séries de 12 elementos de 12 ). Tref 11: Clcul o número de elementos de M. Pr presentr o grupo G é necessário definir mis um instrução: Pr presentr o grupo G é necessário de definir mis um instrução: Retrogrdção ( R ): tocr série do fim pr o início. R <0,1,2,3,4,5,6,7,8,9,10,11> <11,10,9,8,7,6,5,4,3,2,1,0> G M inversões trnsposições retrogrdção séries de 12 clsses de semitons cromáticos so igul tempermento. grupo TIR 29
30 A músic seril dodecfónic sei-se no seguinte: Começ-se com um série de M e plicm-se sucessivmente váris instruções do grupo TIR. série inicil R T 9 I 10 Tref 12: Escolhe um série inicil e compõe um músic seril 30
Adriano Pedreira Cattai
Adrino Pedreir Ctti pctti@hoocomr Universidde Federl d Bhi UFBA, MAT A01, 006 Superfícies de Revolução 1 Introdução Podemos oter superfícies não somente por meio de um equção do tipo F(,, ), eistem muitos
Leia maisObjetivo. Conhecer a técnica de integração chamada substituição trigonométrica. e pelo eixo Ox. f(x) dx = A.
MÓDULO - AULA Aul Técnics de Integrção Substituição Trigonométric Objetivo Conhecer técnic de integrção chmd substituição trigonométric. Introdução Você prendeu, no Cálculo I, que integrl de um função
Leia maisINTEGRAIS DEFINIDAS. Como determinar a área da região S que está sob a curva y = f(x) e limitada pelas retas verticais x = a, x = b e pelo eixo x?
INTEGRAIS DEFINIDAS O Prolem d Áre Como determinr áre d região S que está so curv y = f(x) e limitd pels rets verticis x =, x = e pelo eixo x? Um idei é proximrmos região S utilizndo retângulos e depois
Leia maisINTEGRAIS DEFINIDAS. Como determinar a área da região S que está sob a curva y = f(x) e limitada pelas retas verticais x = a, x = b e pelo eixo x?
INTEGRAIS DEFINIDAS O Prolem d Áre Como determinr áre d região S que está so curv y = f(x) e limitd pels rets verticis x =, x = e pelo eixo x? Um idei é proximrmos região S utilizndo retângulos e depois
Leia maisIntegrais Duplas em Regiões Limitadas
Cálculo III Deprtmento de Mtemátic - ICEx - UFMG Mrcelo Terr Cunh Integris Dupls em egiões Limitds Ou por curiosidde, ou inspirdo ns possíveis plicções, é nturl querer usr integris dupls em regiões não
Leia maisDiogo Pinheiro Fernandes Pedrosa
Integrção Numéric Diogo Pinheiro Fernndes Pedros Universidde Federl do Rio Grnde do Norte Centro de Tecnologi Deprtmento de Engenhri de Computção e Automção http://www.dc.ufrn.br/ 1 Introdução O conceito
Leia maisComprimento de arco. Universidade de Brasília Departamento de Matemática
Universidde de Brsíli Deprtmento de Mtemátic Cálculo Comprimento de rco Considerefunçãof(x) = (2/3) x 3 definidnointervlo[,],cujográficoestáilustrdo bixo. Neste texto vmos desenvolver um técnic pr clculr
Leia maisEscola Secundária/2,3 da Sé-Lamego Ficha de Trabalho de Matemática A Ano Lectivo 2011/12 Distribuição de probabilidades 12.º Ano
Escol Secundári/, d Sé-Lmego Fich de Trlho de Mtemátic A Ano Lectivo 0/ Distriuição de proiliddes.º Ano Nome: N.º: Turm:. Num turm do.º no, distriuição dos lunos por idde e sexo é seguinte: Pr formr um
Leia mais3 Teoria dos Conjuntos Fuzzy
0 Teori dos Conjuntos Fuzzy presentm-se qui lguns conceitos d teori de conjuntos fuzzy que serão necessários pr o desenvolvimento e compreensão do modelo proposto (cpítulo 5). teori de conjuntos fuzzy
Leia maisEQUAÇÃO DO 2 GRAU. Seu primeiro passo para a resolução de uma equação do 2 grau é saber identificar os valores de a,b e c.
EQUAÇÃO DO GRAU Você já estudou em série nterior s equções do 1 gru, o gru de um equção é ddo pelo mior expoente d vriável, vej lguns exemplos: x + = 3 equção do 1 gru já que o expoente do x é 1 5x 8 =
Leia maisObjetivo A = 2. A razão desse sucesso consiste em usar somas de Riemann, que determinam
Aplicções de integris Volumes Aul 28 Aplicções de integris Volumes Objetivo Conhecer s plicções de integris no cálculo de diversos tipos de volumes de sólidos, especificmente os chmdos método ds seções
Leia maisResolução Numérica de Sistemas Lineares Parte I
Cálculo Numérico Resolução Numéric de Sistems ineres Prte I Prof. Jorge Cvlcnti jorge.cvlcnti@univsf.edu.br MATERIA ADAPTADO DOS SIDES DA DISCIPINA CÁCUO NUMÉRICO DA UFCG - www.dsc.ufcg.edu.br/~cnum/ Sistems
Leia maisoperation a b result operation a b MUX result sum i2 cin cout cout cin
Módulo 5 Descrição e simulção em VHDL: ALU do MIPS Ojectivos Pretende-se que o luno descrev, n lingugem VHDL, circuitos comintórios reltivmente complexos, usndo, pr esse efeito, lguns mecnismos d lingugem
Leia maisIntegral. (1) Queremos calcular o valor médio da temperatura ao longo do dia. O valor. a i
Integrl Noção de Integrl. Integrl é o nálogo pr unções d noção de som. Ddos n números 1, 2,..., n, podemos tomr su som 1 + 2 +... + n = i. O integrl de = té = b dum unção contínu é um mneir de somr todos
Leia maisIFRN Campus Natal/Central. Prof. Tibério Alves, D. Sc. FIC Métodos matemáticos para físicos e engenheiros - Aula 02.
IFRN Cmpus Ntl/Centrl Prof. Tibério Alves, D. Sc. FIC Métodos mtemáticos pr físicos e engenheiros - Aul 0 Séries de Fourier 3 de gosto de 08 Resumo Neste ul, vmos estudr o conceito de conjunto completo
Leia maisLRE LSC LLC. Autômatos Finitos são reconhecedores para linguagens regulares. Se não existe um AF a linguagem não é regular.
Lingugens Formis Nom Chomsky definiu que s lingugens nturis podem ser clssificds em clsses de lingugens. egundo Hierrqui de Chomsky, s lingugens podem ser dividids em qutro clsses, sendo els: Regulres
Leia maisPotencial Elétrico. Evandro Bastos dos Santos. 14 de Março de 2017
Potencil Elétrico Evndro Bstos dos Sntos 14 de Mrço de 2017 1 Energi Potencil Elétric Vmos começr fzendo um nlogi mecânic. Pr um corpo cindo em um cmpo grvitcionl g, prtir de um ltur h i té um ltur h f,
Leia maisDep. Matemática e Aplicações 27 de Abril de 2011 Universidade do Minho 1 o Teste de Teoria das Linguagens. Proposta de resolução
Dep. Mtemátic e Aplicções 27 de Aril de 2011 Universidde do Minho 1 o Teste de Teori ds Lingugens Lic. Ciêncis Computção Propost de resolução 1. Considere lingugem L = A sore o lfeto A = {,}. Durção: 2
Leia maisÁrea entre curvas e a Integral definida
Universidde de Brsíli Deprtmento de Mtemátic Cálculo Áre entre curvs e Integrl definid Sej S região do plno delimitd pels curvs y = f(x) e y = g(x) e s rets verticis x = e x = b, onde f e g são funções
Leia mais4. Teorema de Green. F d r = A. dydx. (1) Pelas razões acima referidas, a prova deste teorema para o caso geral está longe
4 Teorem de Green Sej U um berto de R 2 e r : [, b] U um cminho seccionlmente, fechdo e simples, isto é, r não se uto-intersect, excepto ns extremiddes Sej região interior r([, b]) prte d dificuldde n
Leia maisTrigonometria FÓRMULAS PARA AJUDÁ-LO EM TRIGONOMETRIA
Trigonometri é o estudo dos triângulos, que contêm ângulos, clro. Conheç lgums regrs especiis pr ângulos e váris outrs funções, definições e trnslções importntes. Senos e cossenos são dus funções trigonométrics
Leia maisUNIVERSIDADE FEDERAL DE PERNAMBUCO. Resumo. Nesta aula, utilizaremos o Teorema Fundamental do Cálculo (TFC) para o cálculo da área entre duas curvas.
CÁLCULO L1 NOTAS DA DÉCIMA SÉTIMA AULA UNIVERSIDADE FEDERAL DE PERNAMBUCO Resumo. Nest ul, utilizremos o Teorem Fundmentl do Cálculo (TFC) pr o cálculo d áre entre dus curvs. 1. A áre entre dus curvs A
Leia maisFUNÇÃO DO 2º GRAU OU QUADRÁTICA
FUNÇÃO DO º GRAU OU QUADRÁTICA - Definição É tod função do tipo f() = + + c, com *, e c. c y Eemplos,, c números e coeficient termo vr vr iável iável es independen reis indepemdem dependente de te ou te
Leia maisResumo com exercícios resolvidos do assunto: Aplicações da Integral
www.engenhrifcil.weely.com Resumo com exercícios resolvidos do ssunto: Aplicções d Integrl (I) (II) (III) Áre Volume de sólidos de Revolução Comprimento de Arco (I) Áre Dd um função positiv f(x), áre A
Leia maisVectores Complexos. Prof. Carlos R. Paiva
Vectores Complexos Todos sem que se podem representr vectores reis do espço ordinário (tridimensionl) por sets Porém, qul será representção geométric de um vector complexo? Mis do que um questão retóric
Leia maisAula 27 Integrais impróprias segunda parte Critérios de convergência
Integris imprópris segund prte Critérios de convergênci MÓDULO - AULA 7 Aul 7 Integris imprópris segund prte Critérios de convergênci Objetivo Conhecer dois critérios de convergênci de integris imprópris:
Leia maisGramáticas Regulares. Capítulo Gramáticas regulares
Cpítulo Grmátics Regulres Ests nots são um complemento do livro e destinm-se representr lguns lgoritmos estuddos ns uls teórics. É ddo um exemplo de plicção de cd conceito. Mis exemplos form discutidos
Leia maisBhaskara e sua turma Cícero Thiago B. Magalh~aes
1 Equções de Segundo Gru Bhskr e su turm Cícero Thigo B Mglh~es Um equção do segundo gru é um equção do tipo x + bx + c = 0, em que, b e c são números reis ddos, com 0 Dd um equção do segundo gru como
Leia maisIntrodução à Integral Definida. Aula 04 Matemática II Agronomia Prof. Danilene Donin Berticelli
Introdução à Integrl Definid Aul 04 Mtemátic II Agronomi Prof. Dnilene Donin Berticelli Áre Desde os tempos mis ntigos os mtemáticos se preocupm com o prolem de determinr áre de um figur pln. O procedimento
Leia maisx u 30 2 u 1 u 6 + u 10 2 = lim (u 1)(1 + u + u 2 + u 3 + u 4 )(2 + 2u 5 + u 10 )
Universidde Federl de Viços Deprtmento de Mtemátic MAT 40 Cálculo I - 207/II Eercícios Resolvidos e Comentdos Prte 2 Limites: Clcule os seguintes ites io se eistirem. Cso contrário, justique não eistênci.
Leia maisfundamental do cálculo. Entretanto, determinadas aplicações do Cálculo nos levam a formulações de integrais em que:
Cpítulo 8 Integris Imprópris 8. Introdução A eistênci d integrl definid f() d, onde f é contínu no intervlo fechdo [, b], é grntid pelo teorem fundmentl do cálculo. Entretnto, determinds plicções do Cálculo
Leia maisAos pais e professores
MAT3_015_F01_5PCImg.indd 9 9/09/16 10:03 prcels ou termos som ou totl Pr dicionres mentlmente, podes decompor os números e dicioná-los por ordens. 136 + 5 = (100 + 30 + 6) + (00 + 50 + ) 300 + 80 + 8 MAT3_015_F0.indd
Leia maisREGULARIDADES NUMÉRICAS E PROGRESSÃO ARITMÉTICA
Formção continud em MATEMÁTICA Fundção CECIERJ/consórcio CEDERJ Mtemátic 2º no 2º Bimestre/ 2013 Plno de Trblho REGULARIDADES NUMÉRICAS E PROGRESSÃO ARITMÉTICA Trblho elbordo pelo Cursist: Mrcos Pulo Henrique.
Leia maisINTEGRAIS DEFINIDAS. Como determinar a área da região S que está sob a curva y = f(x) e limitada pelas retas verticais x = a, x = b e pelo eixo x?
Cálculo II Prof. Adrin Cherri 1 INTEGRAIS DEFINIDAS O Prolem d Áre Como determinr áre d região S que está so curv y = f(x) e limitd pels rets verticis x =, x = e pelo eixo x? Um idei é proximrmos região
Leia mais1 Assinale a alternativa verdadeira: a) < <
MATEMÁTICA Assinle lterntiv verddeir: ) 6 < 7 6 < 6 b) 7 6 < 6 < 6 c) 7 6 < 6 < 6 d) 6 < 6 < 7 6 e) 6 < 7 6 < 6 Pr * {} temos: ) *, * + e + * + ) + > + + > ) Ds equções (I) e (II) result 7 6 < ( 6 )
Leia maisProgramação II. Ordenação (sort) Bruno Feijó Dept. de Informática, PUC-Rio
Progrmção II Ordenção (sort) Bruno Feijó Dept. de Informátic, PUC-Rio Bule Sort Bule Sort Apens de interesse didático e de referênci A idéi é ir comprndo dois vizinhos e trocndo o menor pelo mior té que
Leia maisMatemática. Resolução das atividades complementares. M13 Progressões Geométricas
Resolução ds tividdes complementres Mtemátic M Progressões Geométrics p. 7 Qul é o o termo d PG (...)? q q? ( ) Qul é rzão d PG (...)? q ( )? ( ) 8 q 8 q 8 8 Três números reis formm um PG de som e produto
Leia maise dx dx e x + Integrais Impróprias Integrais Impróprias
UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E TECNOLÓGICAS CURSO DE ENGENHARIA CIVIL DISCIPLINA: CÁLCULO DIFERENCIAL E INTEGRAL I. Integris imprópris
Leia maisMatrizes. Matemática para Economistas LES 201. Aulas 5 e 6 Matrizes Chiang Capítulos 4 e 5. Márcia A.F. Dias de Moraes. Matrizes Conceitos Básicos
Mtemátic pr Economists LES uls e Mtrizes Ching Cpítulos e Usos em economi Mtrizes ) Resolução sistems lineres ) Econometri ) Mtriz Insumo Produto Márci.F. Dis de Mores Álgebr Mtricil Conceitos Básicos
Leia maisMÉTODO DA POSIÇÃO FALSA EXEMPLO
MÉTODO DA POSIÇÃO FALSA Vimos que o Método d Bissecção encontr um novo intervlo trvés de um médi ritmétic. Ddo o intervlo [,], o método d posição fls utiliz médi ponderd de e com pesos f( e f(, respectivmente:
Leia maisdx f(x) dx p(x). dx p(x) + dx f (n) n! i=1 f(x i) l i (x) ), a aproximação seria então dada por f(x i ) l i (x) = i=1 i=1 C i f(x i ), i=1 C i =
Cpítulo 7 Integrção numéric 71 Qudrtur por interpolção O método de qudrtur por interpolção consiste em utilizr um polinômio interpolnte p(x) pr proximr o integrndo f(x) no domínio de integrção [, b] Dess
Leia maisModelos de Computação -Folha de trabalho n. 2
Modelos de Computção -Folh de trlho n. 2 Not: Os exercícios origtórios mrcdos de A H constituem os prolems que devem ser resolvidos individulmente. A resolução em ppel deverá ser depositd n cix d disciplin
Leia maisProgressões Aritméticas
Segund Etp Progressões Aritmétics Definição São sequêncis numérics onde cd elemento, prtir do segundo, é obtido trvés d som de seu ntecessor com um constnte (rzão).,,,,,, 1 3 4 n 1 n 1 1º termo º termo
Leia maisRecordando produtos notáveis
Recordndo produtos notáveis A UUL AL A Desde ul 3 estmos usndo letrs pr representr números desconhecidos. Hoje você sbe, por exemplo, que solução d equção 2x + 3 = 19 é x = 8, ou sej, o número 8 é o único
Leia maisCanguru Matemático sem Fronteiras 2010
Cnguru Mtemático sem Fronteirs 2010 Durção: 1h30min Destintários: lunos do 9 Ano de Escolridde Nome: Turm: Não podes usr clculdor. Há pens um respost correct em cd questão. As questões estão grupds em
Leia maisMaterial envolvendo estudo de matrizes e determinantes
E. E. E. M. ÁREA DE CONHECIMENTO DE MATEMÁTICA E SUAS TECNOLOGIAS PROFESSORA ALEXANDRA MARIA º TRIMESTRE/ SÉRIE º ANO NOME: Nº TURMA: Mteril envolvendo estudo de mtrizes e determinntes INSTRUÇÕES:. Este
Leia maisQuadratura por interpolação Fórmulas de Newton-Cotes Quadratura Gaussiana. Integração Numérica. Leonardo F. Guidi DMPA IM UFRGS.
Qudrtur por interpolção DMPA IM UFRGS Cálculo Numérico Índice Qudrtur por interpolção 1 Qudrtur por interpolção 2 Qudrturs simples Qudrturs composts 3 Qudrtur por interpolção Qudrtur por interpolção O
Leia maisse vai Devagar Devagar se vai longe longe...
Compelm M et e tn át os de M ic Devgr Devgr se se vi vi o o longe... longe 130 ) Describe the pttern by telling how ech ttribute chnges. A c) Respost possível: b B B B A b b... A b) Drw or describe the
Leia maisTeorema Fundamental do Cálculo - Parte 1
Universidde de Brsíli Deprtmento de Mtemátic Cálculo Teorem Fundmentl do Cálculo - Prte Neste texto vmos provr um importnte resultdo que nos permite clculr integris definids. Ele pode ser enuncido como
Leia maisDiferenciação Numérica
Cpítulo 6: Dierencição e Integrção Numéric Dierencição Numéric Em muits circunstâncis, torn-se diícil oter vlores de derivds de um unção: derivds que não são de ácil otenção; Eemplo clculr ª derivd: e
Leia maisPOLINÔMIOS. Definição: Um polinômio de grau n é uma função que pode ser escrita na forma. n em que cada a i é um número complexo (ou
POLINÔMIOS Definição: Um polinômio de gru n é um função que pode ser escrit n form P() n n i 0... n i em que cd i é um número compleo (ou i 0 rel) tl que n é um número nturl e n 0. Os números i são denomindos
Leia maisCPV conquista 70% das vagas do ibmec (junho/2007)
conquist 70% ds vgs do ibmec (junho/007) IBME 08/Junho /008 NÁLISE QUNTITTIV E LÓGI DISURSIV 0. Num lv-rápido de crros trblhm três funcionários. tbel bio mostr qunto tempo cd um deles lev sozinho pr lvr
Leia maisIncertezas e Propagação de Incertezas. Biologia Marinha
Incertezs e Propgção de Incertezs Cursos: Disciplin: Docente: Biologi Biologi Mrinh Físic Crl Silv Nos cálculos deve: Ser coerente ns uniddes (converter tudo pr S.I. e tender às potêncis de 10). Fzer um
Leia maisSistems Lineres Form Gerl onde: ij ij coeficientes n n nn n n n n n n b... b... b...
Cálculo Numérico Módulo V Resolução Numéric de Sistems Lineres Prte I Profs.: Bruno Correi d Nóbreg Queiroz José Eustáquio Rngel de Queiroz Mrcelo Alves de Brros Sistems Lineres Form Gerl onde: ij ij coeficientes
Leia maisCapítulo III INTEGRAIS DE LINHA
pítulo III INTEGRIS DE LINH pítulo III Integris de Linh pítulo III O conceito de integrl de linh é um generlizção simples e nturl do conceito de integrl definido: f ( x) dx Neste último, integr-se o longo
Leia maisPropriedades Matemáticas
Proprieddes Mtemátics Guilherme Ferreir guifs2@hotmil.com Setembro, 2018 Sumário 1 Introdução 2 2 Potêncis 2 3 Rízes 3 4 Frções 4 5 Produtos Notáveis 4 6 Logritmos 5 6.1 Consequêncis direts d definição
Leia maisProf. Ms. Aldo Vieira Aluno:
Prof. Ms. Aldo Vieir Aluno: Fich 1 Chmmos de mtriz, tod tbel numéric com m linhs e n coluns. Neste cso, dizemos que mtriz é do tipo m x n (onde lemos m por n ) ou que su ordem é m x n. Devemos representr
Leia mais. Estas equações são equações paramétricas da curva C.
Universidde Federl d Bhi -- UFBA Deprtmento de Mtemátic, Cálculo IIA, Prof. Adrino Ctti Cálculo de áres de figurs plns (curvs sob equções prmétrics) (por Prof. Elin Prtes) Exemplo : Sej o círculo C de
Leia maisFísica Geral e Experimental I (2011/01)
Diretori de Ciêncis Exts Lbortório de Físic Roteiro Físic Gerl e Experimentl I (/ Experimento: Cinemátic do M. R. U. e M. R. U. V. . Cinemátic do M.R.U. e do M.R.U.V. Nest tref serão borddos os seguintes
Leia maisUniversidade Federal do Rio Grande FURG. Instituto de Matemática, Estatística e Física IMEF Edital 15 CAPES. FUNÇÕES Parte B
Universidde Federl do Rio Grnde FURG Instituto de Mtemátic, Esttístic e Físic IMEF Editl 5 CPES FUNÇÕES Prte B Prof. ntônio Murício Medeiros lves Profª Denise Mri Vrell Mrtinez UNIDDE FUNÇÕES PRTE B. FUNÇÂO
Leia maisAula 20 Hipérbole. Objetivos
MÓDULO 1 - AULA 20 Aul 20 Hipérbole Objetivos Descrever hipérbole como um lugr geométrico. Determinr su equção reduzid no sistem de coordends com origem no ponto médio entre os focos e eixo x como o eixo
Leia maisMaterial Teórico - Módulo Teorema de Pitágoras e Aplicações. Algumas demonstrações do Teorema de Pitágoras - Parte 2. Nono Ano
Mteril Teórico - Módulo Teorem de itágors e plicções lgums demonstrções do Teorem de itágors - rte 2 Nono no utor: rof. Ulisses Lim rente Revisor: rof. ntonio minh M. Neto 27 de ril de 2019 1 lgums plicções
Leia mais3. Seja Σ um alfabeto. Explique que palavras pertencem a cada uma das seguintes linguagens:
BCC244-Teori d Computção Prof. Lucíli Figueiredo List de Exercícios DECOM ICEB - UFOP Lingugens. Liste os strings de cd um ds seguintes lingugens: ) = {λ} ) + + = c) {λ} {λ} = {λ} d) {λ} + {λ} + = {λ}
Leia maisUniversidade Estadual do Sudoeste da Bahia
Universidde Estdul do Sudoeste d Bhi Deprtmento de Estudos Básicos e Instrumentis 3 Vetores Físic I Prof. Roberto Cludino Ferreir 1 ÍNDICE 1. Grndez Vetoril; 2. O que é um vetor; 3. Representção de um
Leia maisModelagem Matemática de Sistemas Eletromecânicos
1 9 Modelgem Mtemátic de Sistems Eletromecânicos 1 INTRODUÇÃO Veremos, seguir, modelgem mtemátic de sistems eletromecânicos, ou sej, sistems que trtm d conversão de energi eletromgnétic em energi mecânic
Leia maisFÓRMULA DE TAYLOR USP MAT
FÓRMULA DE TAYLOR USP MAT 5 SEVERINO TOSCANO DO REGO MELO. Polinômios de Tylor A ret tngente o gráfico de um função f derivável em um ponto define função de primeiro gru que melhor proxim função em pontos
Leia maisPrezados Estudantes, Professores de Matemática e Diretores de Escola,
Prezdos Estudntes, Professores de Mtemátic e Diretores de Escol, Os Problems Semnis são um incentivo mis pr que os estudntes possm se divertir estudndo Mtemátic, o mesmo tempo em que se preprm pr s Competições
Leia maisLinguagens Formais Capítulo 5: Linguagens e gramáticas livres de contexto
Lingugens ormis Cpítulo 5: Lingugens e grmátics livres de contexto José Lucs Rngel, mio 1999 5.1 - Introdução Vimos no cpítulo 3 definição de grmátic livre de contexto (glc) e de lingugem livre de contexto
Leia maisE m Física chamam-se grandezas àquelas propriedades de um sistema físico
Bertolo Apêndice A 1 Vetores E m Físic chmm-se grndezs àquels proprieddes de um sistem físico que podem ser medids. Els vrim durnte um fenômeno que ocorre com o sistem, e se relcionm formndo s leis físics.
Leia maisResolução Numérica de Sistemas Lineares Parte I
Cálculo Numérico Módulo V Resolução Numéric de Sistems ineres Prte I Profs.: Bruno Correi d Nóbreg Queiroz José Eustáquio Rngel de Queiroz Mrcelo Alves de Brros Sistems ineres Form Gerl... n n b... n n
Leia maisMódulo 02. Sistemas Lineares. [Poole 58 a 85]
Módulo Note em, leitur destes pontmentos não dispens de modo lgum leitur tent d iliogrfi principl d cdeir Chm-se à tenção pr importânci do trlho pessol relizr pelo luno resolvendo os prolems presentdos
Leia maisCálculo Numérico Módulo III Resolução Numérica de Sistemas Lineares Parte I
Cálculo Numérico Módulo III Resolução Numéric de Sistems Lineres Prte I Prof: Reinldo Hs Sistems Lineres Form Gerl... n n b... n n b onde: ij n n coeficientes i incógnits b i termos independentes... nn
Leia maisNotação. Se u = u(x, y) é uma função de duas variáveis, representamos por u, ou ainda, por 2 u a expressão
Seção 20: Equção de Lplce Notção. Se u = u(x, y) é um função de dus vriáveis, representmos por u, ou ind, por 2 u expressão u = 2 u = u xx + u yy, chmd de lplcino de u. No cso de função de três vriáveis,
Leia maisé: y y x y 31 2 d) 18 e) O algarismo das unidades de é igual a: a) 1 b) 3 c) 5 d) 7 e) 9
0. Dentre s firmtivs bio, ssinle quel que NÃO é verddeir pr todo nturl n: - n = b - n- = - n+ n n c d - n = -- n e - n- = -- n 07. O lgrismo ds uniddes de 00. 7 00. 00 é igul : b c d 7 e 0. O vlor de 6
Leia maisé: 31 2 d) 18 e) 512 y y x y
0. Dentre s firmtivs bio, ssinle quel que NÃO é verddeir pr todo nturl n: ) -) n = b) -) n- = -) n+ n n c) ) ) d) -) n = --) n e) -) n- = --) n 07. O lgrismo ds uniddes de 00. 7 00. 00 é igul : ) b) c)
Leia maisCONJUNTOS NUMÉRICOS NOTAÇÕES BÁSICAS. : Variáveis e parâmetros. : Conjuntos. : Pertence. : Não pertence. : Está contido. : Não está contido.
CONJUNTOS NUMÉRICOS NOTAÇÕES BÁSICAS,,... A, B,... ~ > < : Vriáveis e prâmetros : Conjuntos : Pertence : Não pertence : Está contido : Não está contido : Contém : Não contém : Existe : Não existe : Existe
Leia maisUNIVERSIDADE FEDERAL DE MINAS GERAIS INSTITUTO DE CIÊNCIAS EXATAS DEPARTAMENTO DE MATEMÁTICA. Andréa Costa Nascimento
UNIVERSIDDE FEDERL DE MINS GERIS INSTITUTO DE CIÊNCIS EXTS DEPRTMENTO DE MTEMÁTIC ndré Cost Nscimento Dus mneirs diferentes de demonstrr Relção de Euler pr poliedros convexos, vist no ensino médio Belo
Leia maisUNIVERSIDADE FEDERAL DA BAHIA DEPARTAMENTO DE MATEMÁTICA MAT ALGEBRA LINEAR I-A PROF.: GLÓRIA MÁRCIA
UNIVERSIDADE FEDERAL DA BAHIA DEPARTAMENTO DE MATEMÁTICA MAT - ALGEBRA LINEAR I-A PROF.: GLÓRIA MÁRCIA LISTA DE EXERCÍCIOS ) Sejm A, B e C mtries inversíveis de mesm ordem, encontre epressão d mtri X,
Leia maisApós encontrar os determinantes de A. B e de B. A, podemos dizer que det A. B = det B. A?
PROFESSOR: EQUIPE DE MATEMÁTICA BANCO DE QUESTÕES - MATEMÁTICA - ª SÉRIE - ENSINO MÉDIO ============================================================================================= Determinntes - O vlor
Leia maisResumo. Estruturas de Sistemas Discretos. A Explosão do Ariane 5. Objectivo. Representações gráficas das equações às diferenças
Resumo Estruturs de Sistems Discretos Luís Clds de Oliveir lco@ist.utl.pt Instituto Superior Técnico Representções gráfics ds equções às diferençs Estruturs ásics de sistems IIR Forms trnsposts Estruturs
Leia maisResolução 2 o Teste 26 de Junho de 2006
Resolução o Teste de Junho de roblem : Resolução: k/m m k/m k m 3m k m m 3m m 3m H R H R R ) A estti globl obtém-se: α g = α e + α i α e = ret 3 = 3 = ; α i = 3 F lint = = α g = Respost: A estrutur é eteriormente
Leia maisEXERCÍCIOS RESOLVIDOS DE TEORIA DOS GRAFOS
EXERCÍCIOS RESOLVIDOS DE TEORIA DOS GRAFOS.) Considere tbel de trefs seguir pr construção de um cs de mdeir: TAREFAS PRÉ-REQUISITOS DIAS. Limpez do terreno Nenhum. Produção e colocção d fundção. Produção
Leia maisUso da linguagem R para análise de dados em ecologia
Uso d lingugem R pr nálise de ddos em ecologi Objetivo d ul Demonstrr função ed.shpe() e Apresentr noções básics de álgebr liner e mostrr como el se relcion à nálise de ddos. EDA Shpe Função presentd no
Leia maisSERVIÇO PÚBLICO FEDERAL Ministério da Educação
SERVIÇO PÚBLICO FEDERAL Ministério d Educção Universidde Federl do Rio Grnde Universidde Abert do Brsil Administrção Bchreldo Mtemátic pr Ciêncis Sociis Aplicds I Rodrigo Brbos Sores . Mtrizes:.. Introdução:
Leia maisROTAÇÃO DE CORPOS SOBRE UM PLANO INCLINADO
Físic Gerl I EF, ESI, MAT, FQ, Q, BQ, OCE, EAm Protocolos ds Auls Prátics 003 / 004 ROTAÇÃO DE CORPOS SOBRE UM PLANO INCLINADO. Resumo Corpos de diferentes forms deslocm-se, sem deslizr, o longo de um
Leia maisAula 29 Aplicações de integrais Áreas e comprimentos
Aplicções de integris Áres e comprimentos MÓDULO - AULA 9 Aul 9 Aplicções de integris Áres e comprimentos Objetivo Conhecer s plicções de integris no cálculo d áre de um superfície de revolução e do comprimento
Leia maisFaculdade de Computação
UNIVERIDADE FEDERAL DE UBERLÂNDIA Fculdde de Computção Disciplin : Teori d Computção Professor : ndr de Amo Revisão de Grmátics Livres do Contexto (1) 1. Fzer o exercicio 2.3 d págin 128 do livro texto
Leia maisProblemas e Algoritmos
Problems e Algoritmos Em muitos domínios, há problems que pedem síd com proprieddes específics qundo são fornecids entrds válids. O primeiro psso é definir o problem usndo estruturs dequds (modelo), seguir
Leia maisSumário. Volta às aulas. Vamos recordar? Regiões planas e seus contornos Números Sólidos geométricos... 29
Sumário Volt às uls. Vmos recordr?... 7 1 Números... 10 Números... ej como tudo começou... 11 Os números de 0 10... 13 A dezen... 18 Os números de 0 1... 1 Números e dinheiro... 23 Ordem nos números...
Leia maisV ( ) 3 ( ) ( ) ( ) ( ) { } { } ( r ) 2. Questões tipo exame Os triângulos [ BC Da figura ao lado são semelhantes, pelo que: BC CC. Pág.
António: c ; Diogo: ( ) i e ; Rit: e c Pág Se s firmções dos três migos são verddeirs, firmção do António é verddeir, pelo que proposição c é verddeir e, consequentemente, proposição c é fls Por outro
Leia maisÁLGEBRA LINEAR Equações Lineares na Álgebra Linear EQUAÇÃO LINEAR SISTEMA LINEAR GEOMETRIA DA ESQUAÇÕES LINEARES RESOLUÇÃO DOS SISTEMAS
EQUAÇÃO LINEAR SISTEMA LINEAR GEOMETRIA DA ESQUAÇÕES LINEARES RESOLUÇÃO DOS SISTEMAS Equção Liner * Sej,,,...,, (números reis) e n (n ) 2 3 n x, x, x,..., x (números reis) 2 3 n Chm-se equção Liner sobre
Leia maisAno / Turma: N.º: Data: / / GRUPO I
Novo Espço Mtemátic A.º no Nome: Ano / Turm: N.º: Dt: / / GRUPO I N respost cd um dos itens deste grupo, selecion únic opção corret. Escreve, n folh de resposts: o número do item; letr que identific únic
Leia maisDraft-v Autómatos mínimos. 6.1 Autómatos Mínimos
6. Autómtos Mínimos 6 Autómtos mínimos Dd um lingugem regulr L, muitos são os utómtos determinísticos que representm. Sej A L o conjunto dos utómtos tis que (8A)(A 2A L =) L(A) =L). Os utómtos de A L não
Leia maisFUNÇÕES. Mottola. 1) Se f(x) = 6 2x. é igual a (a) 1 (b) 2 (c) 3 (d) 4 (e) 5. 2) (UNIFOR) O gráfico abaixo. 0 x
FUNÇÕES ) Se f() = 6, então f ( 5) f ( 5) é igul () (b) (c) 3 (d) 4 (e) 5 ) (UNIFOR) O gráfico bio 0 () não represent um função. (b) represent um função bijetor. (c) represent um função não injetor. (d)
Leia maisMATRIZES, DETERMINANTES E SISTEMAS LINEARES PROF. JORGE WILSON
MATRIZES, DETERMINANTES E SISTEMAS LINEARES PROF. JORGE WILSON PROFJWPS@GMAIL.COM MATRIZES Definição e Notção... 11 21 m1 12... 22 m2............ 1n.. 2n. mn Chmmos de Mtriz todo conjunto de vlores, dispostos
Leia maisAULA 1. 1 NÚMEROS E OPERAÇÕES 1.1 Linguagem Matemática
1 NÚMEROS E OPERAÇÕES 1.1 Lingugem Mtemátic AULA 1 1 1.2 Conjuntos Numéricos Chm-se conjunto o grupmento num todo de objetos, bem definidos e discerníveis, de noss percepção ou de nosso entendimento, chmdos
Leia mais1 Distribuições Contínuas de Probabilidade
Distribuições Contínus de Probbilidde São distribuições de vriáveis letóris contínus. Um vriável letóri contínu tom um numero infinito não numerável de vlores (intervlos de números reis), os quis podem
Leia maisDefinição 1. (Volume do Cilindro) O volume V de um um cilindro reto é dado pelo produto: V = area da base altura.
Cálculo I Aul 2 - Cálculo de Volumes Dt: 29/6/25 Objetivos d Aul: Clculr volumes de sólidos por seções trnsversis Plvrs-chves: Seções Trnsversis - Volumes Volume de um Cilindro Nosso objetivo nest unidde
Leia mais