Acesso mais rápido do que o navegador!
45 relações: Abstração, Alfabeto (ciência da computação), Axioma, Bem definido, Cadeia de caracteres, Cálculo lambda, Ciências formais, Completude (lógica), Conjunto, Conjunto finito, Conjunto recursivo, Correção, David Hilbert, Decidibilidade, Douglas Hofstadter, Fórmula bem formada, Gödel, Escher, Bach, Gramática, Gramática formal, Gramática gerativa, Implicação, Inferência, Interpretação (lógica), Lógica, Linguagem formal, Linguagem objeto, Linguística, Matemática, Matemática moderna, Métodos formais, Metalinguagem, Metamatemática, Metateorema, Notação Bra-ket, Os Elementos, Paul Dirac, Semântica, Sentença, Sintaxe, Sistema axiomático, Teorema, Teoremas da incompletude de Gödel, Teoria dos modelos, Valor de verdade, Variáveis livres e ligadas.
Abstração
Abstração (do termo latino abstractio) é uma operação intelectual que consiste em isolar, por exemplo num conceito, um elemento à exclusão de outros, dos quais então se faz abstração.
Novo!!: Sistema formal e Abstração · Veja mais »
Alfabeto (ciência da computação)
Em ciência da computação e em lógica matemática, um alfabeto é um conjunto de símbolos, como letras ou dígitos.
Novo!!: Sistema formal e Alfabeto (ciência da computação) · Veja mais »
Axioma
Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.
Novo!!: Sistema formal e Axioma · Veja mais »
Bem definido
Em matemáticas, o termo bem definido(a) se utiliza para especificar que um conceito (uma função, uma propriedade, uma relação, uma operação etc.) se define de forma lógica ou matemática usando um conjunto de axiomas básicos sem ambigüidade alguma, e sem contradizer nenhum axioma.
Novo!!: Sistema formal e Bem definido · Veja mais »
Cadeia de caracteres
Na programação de computadores, uma cadeia de caracteres ou string é uma sequência de caracteres, geralmente utilizada para representar palavras, frases ou textos de um programa.
Novo!!: Sistema formal e Cadeia de caracteres · Veja mais »
Cálculo lambda
Na lógica matemática e na ciência da computação, lambda cálculo, também escrito como cálculo-λ é um sistema formal que estuda funções recursivas computáveis, no que se refere a teoria da computabilidade, e fenômenos relacionados, como variáveis ligadas e substituição.
Novo!!: Sistema formal e Cálculo lambda · Veja mais »
Ciências formais
As ciências formais são os ramos da ciência que estudam os sistemas formais, como por exemplo, a lógica, matemática, teoria dos sistemas e os aspectos teóricos da ciência computacional, teoria da informação, microeconomia, teoria da decisão, estatística e linguística.
Novo!!: Sistema formal e Ciências formais · Veja mais »
Completude (lógica)
Em lógica matemática e na metalógica, um sistema formal é chamado completo com respeito a uma propriedade específica se toda fórmula tendo a propriedade pode ser obtida usando esse sistema, isto é, é um de seus teoremas; caso contrário, o sistema é dito incompleto.
Novo!!: Sistema formal e Completude (lógica) · Veja mais »
Conjunto
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.
Novo!!: Sistema formal e Conjunto · Veja mais »
Conjunto finito
Intuitivamente, um conjunto é finito quando é possível contar seus elementos e a contagem termina.
Novo!!: Sistema formal e Conjunto finito · Veja mais »
Conjunto recursivo
Na teoria da computabilidade, um conjunto de números naturais é chamado recursivo, computável ou decidível se existe um algoritmo que termina após uma quantidade finita de tempo e decide corretamente se um número pertence ou não ao conjunto.
Novo!!: Sistema formal e Conjunto recursivo · Veja mais »
Correção
Na lógica matemática, um sistema lógico possui a propriedade da correção se e somente se suas regras de inferências demonstram somente fórmulas que são válidas do ponto de vista de sua semântica.
Novo!!: Sistema formal e Correção · Veja mais »
David Hilbert
David Hilbert (Königsberg, — Göttingen) foi um matemático alemão.
Novo!!: Sistema formal e David Hilbert · Veja mais »
Decidibilidade
Em lógica, o termo decidível se refere a um problema de decisão, ou seja, a questão da existência de um método efetivo para determinar a pertinência em um conjunto de fórmulas.
Novo!!: Sistema formal e Decidibilidade · Veja mais »
Douglas Hofstadter
Douglas Richard Hofstadter (Nova Iorque) é um acadêmico estadunidense das áreas da ciência cognitiva, física e literatura comparada, cuja pesquisa inclui conceitos como o sentido do Eu ("si mesmo" ou self) em relação ao mundo externo, consciência, uso de analogia, criação artística, tradução literária e descobertas matemáticas e físicas.
Novo!!: Sistema formal e Douglas Hofstadter · Veja mais »
Fórmula bem formada
formulações sem sentido ou fórmulas bem formadas. Uma linguagem formal pode ser interpretada como sendo o conjunto de suas fórmulas bem formadas. O conjunto de fórmulas bem formadas pode ser dividido em teoremas e não-teoremas. Em lógica matemática, uma fórmula bem formada, abreviadamente fbf, é uma expressão (por exemplo, uma sequência finita de símbolos de determinado alfabeto) que é parte de uma Linguagem formal.
Novo!!: Sistema formal e Fórmula bem formada · Veja mais »
Gödel, Escher, Bach
Gödel, Escher, Bach: um entrelaçamento de Gênios Brilhantes (geralmente chamado GEB) é um livro vencedor do Prémio Pulitzer escrito pelo acadêmico estadunidense Douglas Hofstadter.
Novo!!: Sistema formal e Gödel, Escher, Bach · Veja mais »
Gramática
Gramática (do grego: γραμματική, transl. grammatiké, feminino substantivado de grammatikós) designa conjunto de prescrições e regras que determinam o uso considerado correto da língua escrita e falada.
Novo!!: Sistema formal e Gramática · Veja mais »
Gramática formal
Em teoria das linguagens formais, uma gramática formal (algumas vezes simplesmente chamada de gramática) é um conjunto de regras de produção de cadeias em uma linguagem formal, ou seja, um objeto que permite especificar uma linguagem ou língua.
Novo!!: Sistema formal e Gramática formal · Veja mais »
Gramática gerativa
Noam Chomsky, linguista estadunidense, iniciador da '''teoria da gramática generativa''', A gramática gerativa ou generativa é uma teoria linguística elaborada por Noam Chomsky e pelos linguistas do Massachusetts Institute of Technology a partir do fim da década de 1950.
Novo!!: Sistema formal e Gramática gerativa · Veja mais »
Implicação
Na lógica e na matemática, a implicação, ou condicional é a indicação do tipo "SE...ENTÃO", indicando que uma condição deve ser satisfeita necessariamente para que a outra seja verdadeira.
Novo!!: Sistema formal e Implicação · Veja mais »
Inferência
Em Lógica, inferência ou ilação é operação intelectual mediante a qual se afirma a verdade de uma proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras.
Novo!!: Sistema formal e Inferência · Veja mais »
Interpretação (lógica)
Uma interpretação é uma atribuição de significado para os símbolos de uma Linguagem formal.
Novo!!: Sistema formal e Interpretação (lógica) · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Sistema formal e Lógica · Veja mais »
Linguagem formal
Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.
Novo!!: Sistema formal e Linguagem formal · Veja mais »
Linguagem objeto
Uma linguagem objeto é uma linguagem que é o "objeto" de estudo em diversos campos.
Novo!!: Sistema formal e Linguagem objeto · Veja mais »
Linguística
é o estudo científico da linguagem.
Novo!!: Sistema formal e Linguística · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Sistema formal e Matemática · Veja mais »
Matemática moderna
O Movimento da Matemática Moderna foi um movimento internacional do ensino de matemática que surgiu na e se baseava na formalidade e no rigor dos fundamentos da e da para o ensino e a aprendizagem de.
Novo!!: Sistema formal e Matemática moderna · Veja mais »
Métodos formais
Na ciência da computação e engenharia de software, métodos formais são técnicas baseadas em formalismos matemáticos para a especificação, desenvolvimento e verificação dos sistemas de softwares e hardwares.
Novo!!: Sistema formal e Métodos formais · Veja mais »
Metalinguagem
Em lógica e linguística, uma metalinguagem é uma linguagem usada para descrever algo sobre outra(s) linguagens (linguagens objeto).
Novo!!: Sistema formal e Metalinguagem · Veja mais »
Metamatemática
A metamatemática é um conceito formulado por Jacques Herbrand em 1930 e expandido por Tarski e Gödel.
Novo!!: Sistema formal e Metamatemática · Veja mais »
Metateorema
Em lógica, um metateorema é uma afirmação sobre um sistema formal comprovado em uma metalinguagem.
Novo!!: Sistema formal e Metateorema · Veja mais »
Notação Bra-ket
Notação Bra-ket é uma notação padrão para descrever estados quânticos na teoria da mecânica quântica.
Novo!!: Sistema formal e Notação Bra-ket · Veja mais »
Os Elementos
frontispício da primeira edição de Sir Henry Billingsley em língua inglesa dos ''Elementos'' de Euclides, de 1570 Os Elementos é um tratado matemático e geométrico consistindo de 13 livros escrito pelo matemático grego Euclides em Alexandria por volta de 300 a.C..
Novo!!: Sistema formal e Os Elementos · Veja mais »
Paul Dirac
Paul Adrien Maurice Dirac (Bristol, – Tallahassee) foi um físico teórico inglês considerado um dos fundadores da mecânica quântica e da eletrodinâmica quântica.
Novo!!: Sistema formal e Paul Dirac · Veja mais »
Semântica
Rede semântica em língua portuguesa Semântica (do grego σημαντικός, sēmantiká, plural neutro de sēmantikós, derivado de sema, sinal) é o estudo do significado.
Novo!!: Sistema formal e Semântica · Veja mais »
Sentença
Uma sentença judicial, nos termos do Código de Processo Civil brasileiro (Lei nº. 13.105/2015), é o pronunciamento por meio do qual o juízo, com base nos artigos 485 e 487 do Código de Processo Civil, põe fim à fase cognitiva do procedimento comum, bem como extingue a execução.
Novo!!: Sistema formal e Sentença · Veja mais »
Sintaxe
Sintaxe (pronúncia no) (do grego clássico σύνταξις "estrutura", de σύν, transl. syn, "mais", e τάξις, transl. táxis, "classe") é o estudo das regras que regem a construção de frases nas línguas naturais.
Novo!!: Sistema formal e Sintaxe · Veja mais »
Sistema axiomático
Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para logicamente derivar teoremas.
Novo!!: Sistema formal e Sistema axiomático · Veja mais »
Teorema
Na matemática, um teorema é uma afirmação que pode ser provada como verdadeira, por meio de outras afirmações já demonstradas, como outros teoremas, juntamente com afirmações anteriormente aceitas, como axiomas.
Novo!!: Sistema formal e Teorema · Veja mais »
Teoremas da incompletude de Gödel
Os teoremas da incompletude de Gödel são dois teoremas da lógica matemática que estabelecem limitações inerentes a quase todos os sistemas axiomáticos, exceto aos mais triviais.
Novo!!: Sistema formal e Teoremas da incompletude de Gödel · Veja mais »
Teoria dos modelos
Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam sistemas matemáticos.
Novo!!: Sistema formal e Teoria dos modelos · Veja mais »
Valor de verdade
Na lógica e na matemática, um valor de verdade, também chamado de valor veritativo ou valor verdade, é um valor que indica o grau de verdade de uma proposição, dependendo da interpretação.
Novo!!: Sistema formal e Valor de verdade · Veja mais »
Variáveis livres e ligadas
Em programação de computadores, uma variável livre é uma variável referenciada em uma função, que não é nem uma variável local nem um argumento daquela função.
Novo!!: Sistema formal e Variáveis livres e ligadas · Veja mais »
Redireciona aqui:
Sistema Formal, Sistema lógico.
