Movatterモバイル変換

[0]ホーム
URL:

Ir al contenido
BiquipediaA enciclopedia libre
Mirar

Lochica matematica

De Biquipedia
Iste articlo ye en proceso de cambio enta laortografía oficial de Biquipedia (laOrtografía de l'aragonés de l'Academia Aragonesa d'a Luenga). Puez aduyar a completar este proceso revisando l'articlo, fendo-ie los cambios ortograficos necesarios y sacando dimpués ista plantilla.

ALochica matematica ye una parte d'aLochica y d'asMatematicas, que consiste en o estudio matematico d'a Lochica y en l'aplicación d'este estudio a atras arias d'as Matematicas. A Lochica matematica tiene estreitas connexions con asCiencias d'a computación y con aLochica filosofica.

A Lochica matematica estudia ossistemas formals en relación con o modo en que codifican nocions intuitivas d'obchectos matematicos comoconchuntos,numeros,demostracions ycomputación.

A lochica matematica gosa dividir-se en cuatro subcampos:teoría de modelos,teoría d'a demostración,teoría de conchuntos yteoría d'a recursión. A investigación en lochica matematica ha chugau un papel fundamental en o estudio d'osfundamentos d'as matematicas. Actualment s'usan indiferentment comosinonimos as expresions: lochica simbolica (u lochistica), lochica matematica y lochica formal.[1]

A Lochica matematica no ye a «lochica d'as matematicas» sino a «matematica d'a lochica». Incluye aquellas partes d'a lochica que pueden estar modeladas y estudiadas matematicament.

Referencias

[editar |modificar o codigo]
  1. ↑Evandro Agazzi, 1986.
Control d'autoridaz
Obteniu de "https://an.wikipedia.org/w/index.php?title=Lochica_matematica&oldid=2177671"
Categoría:
Categorías amagadas:
[8]ページ先頭
©2009-2025 Movatter.jp