Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- ...s)|ideal em teoria dos anéis]] e tem considerável importância na teoria da ordem e na de [[reticulado|reticulados]], incluindo as [[Álgebra booleana|Álgebra *[[Filtro (teoria dos conjuntos)]] ...3 kB (456 palavras) - 01h35min de 30 de novembro de 2024
Resultados no conteúdo das páginas
- ...ordem''' é a [[espaço topológico|topologia]] associada a uma [[relação de ordem]] em um conjunto. ...recisa ser de ordem total. Podemos associar 3 topologias a essa relação de ordem parcial, definidas por suas [[base (topologia)|sub-bases]]: ...2 kB (324 palavras) - 02h03min de 10 de abril de 2024
- ...m]], de forma que a [[operação binária]] é ''compatível'' com a relação de ordem. ...total]], temos um [[grupo totalmente ordenado]], caso seja uma relação de ordem parcial, temos um '''grupo parcialmente ordenado'''. ...2 kB (325 palavras) - 20h40min de 5 de agosto de 2021
- Na teoria dos [[sistema dinâmico|sistemas dinâmicos]], um '''sistema autônomo''' é um Um sistema autônomo de ordem '''n''' é uma equação diferencial ordinária da seguinte forma: ...1 kB (242 palavras) - 22h16min de 12 de agosto de 2024
- ...uma sequência de n termos ordenados de tal forma que a [[Relação de ordem|ordem]] mostre-se importante. Geralmente a sequência encontra-se representada den [[Categoria:Teoria dos conjuntos|Par ordenado]] ...1 kB (198 palavras) - 13h05min de 14 de setembro de 2021
- ...is especificamente em [[teoria da ordem]], uma '''pré-ordem''' ou '''quase-ordem''' é uma [[relação binária]] reflexiva e transitiva. Toda [[ordem parcial]] ou [[relação de equivalência]] é também uma pré-ordem. ...4 kB (654 palavras) - 02h31min de 28 de novembro de 2024
- * É possível definir uma relação de ordem no [[corpo das funções racionais]] <math>\R(x)\,</math>. Este corpo não é A [[Categoria:Teoria dos corpos]] ...1 kB (151 palavras) - 00h36min de 1 de março de 2017
- ...operação de adição. A teoria aditiva dos números tem muitas ligações com [[teoria combinatória dos números]] e [[geometria dos números]]. Dois objetos princi ...minimal se não é subconjunto próprio de nenhuma outra base assintotica de ordem. ...3 kB (478 palavras) - 07h59min de 18 de junho de 2017
- ...o menor dos seus [[Elemento (matemática)|elementos]] relativamente a essa ordem. O [[Princípio da boa-ordenação]] afirma que qualquer subconjunto dos [[números naturais]], < ...853 byte (146 palavras) - 20h02min de 17 de dezembro de 2020
- ...math>n</math> [[Números primos entre si|coprimo]] com <math>a</math>, a '''ordem multiplicativa''' de <math>a</math> [[Aritmética modular|módulo]] <math>n</ ...th> é a ordem de <math>a</math> no [[grupo multiplicativo]] das [[Unidade (teoria dos anéis)|unidades]] no [[Anel (matemática)|anel]] dos inteiros módulo <ma ...4 kB (683 palavras) - 23h04min de 29 de setembro de 2020
- ...xioma lógico|axiomas lógicos]] e os axiomas “próprios”, “profissionais” da teoria específica que se está axiomatizando ou investigando. ...se a teoria dos conjuntos segue a [[teoria dos tipos]], e não-lógica se a teoria dos conjuntos é determinada axiomaticamente, como é o caso dos [[axiomas de ...2 kB (323 palavras) - 18h50min de 15 de maio de 2016
- Em matemática, mais exatamente em [[teoria dos conjuntos]], um '''urelemento''' ou '''ur-elemento''' (onde ''ur-'' é u == Teoria == ...2 kB (360 palavras) - 23h26min de 12 de março de 2018
- ...maximal e minimal não precisam ser únicos no conjunto. O elemento '''e''' da figura é maximal e minimal ao mesmo tempo.]] ...os os elementos do conjuntos são maiores que ele, pois nem toda relação de ordem permite comparar qualquer dois elementos entre si. Um elemento que é menor ...1 kB (235 palavras) - 04h43min de 7 de dezembro de 2018
- O '''Teorema da Consistência Conjunta de Robinson''' é um importante teorema da [[lógica matemática]], sendo relacionado com a [[Interpolação de Craig]] e ...ath>), então a união <math>T_1\cup T_2</math> é consistente. Observe que a teoria é completa se ela resolve cada formula, isto é tanto <math>T \vdash \varphi ...2 kB (266 palavras) - 10h22min de 2 de setembro de 2021
- ...s)|ideal em teoria dos anéis]] e tem considerável importância na teoria da ordem e na de [[reticulado|reticulados]], incluindo as [[Álgebra booleana|Álgebra *[[Filtro (teoria dos conjuntos)]] ...3 kB (456 palavras) - 01h35min de 30 de novembro de 2024
- ...ordem''' é um conjunto de sentenças de [[Lógica de primeira ordem|primeira ordem]]. ...finem teorias, deve-se tomar cuidado adicional e uma linguagem normal de [[teoria dos conjuntos]] pode não ser apropriada. ...6 kB (1 041 palavras) - 17h52min de 4 de julho de 2022
- ...va feijão''' é uma [[curva plana]] de [[curva plana de quarta ordem|quarta ordem]] com a seguinte equação: ...a plana, as singularidades são classificadas pela invariante de [[ligação (teoria do nó)|ligação]] correspondente, como na figura abaixo: ...1 kB (187 palavras) - 17h17min de 10 de janeiro de 2023
- ...americano e [[Teoria dos conjuntos|teórico de conjunto]] da [[Universidade da Califórnia]], [[Berkeley (Califórnia)|Berkeley]].}}) é um número cardinal ' ...: ''N'' → ''M'' tal que para cada fórmula ''σ'' de primeira ordem (''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>) e todos os elemento ...3 kB (424 palavras) - 16h09min de 22 de outubro de 2021
- ...uma [[fórmula]]. Normalmente são consideradas apenas fórmulas de primeira ordem. Em alguns contextos se considera a noção mais geral de '''ordem de indiscerníveis''', e o termo '''sequência de indiscerníveis''' frequente ...2 kB (310 palavras) - 15h16min de 3 de fevereiro de 2024
- ...mentos em um conjunto. Diferentemente de uma [[Relação de ordem|relação de ordem]] total, nem todos os elementos precisam ser comparáveis. ...ath>, onde <math>P</math> é um conjunto e <math>\leq</math> é a relação de ordem definida sobre este. Denotamos por <math>a \leq b</math> quando um elemento ...2 kB (388 palavras) - 10h19min de 29 de janeiro de 2025
- ...as satisfazem as mesmas σ-sentenças de [[Lógica de primeira ordem|primeira ordem]]. ...ada de '''subestrutura elementar''' de ''M'' se toda σ-formula de primeira ordem φ(''a''<sub>1</sub>, …, ''a''<sub>n</sub>) com parâmetros ''a''<s ...7 kB (1 125 palavras) - 06h50min de 8 de outubro de 2023