Матэматычная логіка: Розніца паміж версіямі
| [дагледжаная версія] | [дагледжаная версія] |
Змесціва выдалена Змесціва дададзена
дапаўненне на аснове БелЭн |
др вікіфікацыя |
||
Радок 1:
'''Матэматычная логіка''', '''тэарэтычная логіка''', '''сімвалічная логіка''' — раздзел [[матэматыка|матэматыкі]], які вывучае [[матэматычны доказ|матэматычныя доказы]] і пытанні асноў матэматыкі; адзін з напрамкаў сучаснай фармальнай логікі, заснаваны на выкарыстанні матэматычных метадаў даследавання. У матэматычнай логіцы аперацыі мыслення і пераважна вывадных ведаў вывучаюцца шляхам іх адлюстравання ў спецыяльных фармалізаваных мовах, або лагічных злічэннях.
Адным з асноўных метадаў матэматычнай логікі з'яўляецца метад фармалізацыі, або вывучэння аб'ектаў з дапамогай адносна жорсткіх фіксаваных элементаў іх формы (пры адцягненні ад унутранага зместу).
| |||