matemática simbólica

locução substantiva/feminina

Separação silábica: ma-te-má-ti-ca sim-bó-li-ca

Plural: matemáticas simbólicas

Significados

  1. Computação, Lógica Matemática
    locução substantiva/feminina
    Área da matemática e ciência da computação que trata da manipulação automática de expressões matemáticas usando regras formais.
  2. Educação, Filosofia da Matemática
    locução substantiva/feminina
    Tratamento e representação de conceitos matemáticos através de um sistema de símbolos abstratos e notações sintáticas.

Exemplos

  • O software de álgebra computacional utiliza matemática simbólica para simplificar expressões. — Exemplo ilustrativo
  • A prova automática de teoremas é uma aplicação importante da matemática simbólica. — Exemplo ilustrativo
  • Na escola, a transição da aritmética para a matemática simbólica pode ser um desafio para os alunos. — Exemplo ilustrativo

Sinônimos

Antônimos

Anagramas

Etimologia

Do grego antigo 'mathematikē', significando 'o que é aprendido', e do grego 'symbolon', significando 'sinal' ou 'emblema'.

Rimas