Матэматычная логіка: Розніца паміж версіямі
| [недагледжаная версія] | [недагледжаная версія] |
Змесціва выдалена Змесціва дададзена
др вікіфікацыя |
Няма тлумачэння праўкі |
||
Радок 3:
Ідэя будовы універсальнай мовы для ўсёй матэматыкі была выстаўлена [[Лейбніц]]ам. Першыя навуковыя працы ў галіне матэматычнай логікі з'явіліся ў 19 ст. (гл. [[Гісторыя матэматычнай логікі]]).
'''Гл. таксама:'''
[[Лагічныя злічэнні]]
[[Логіка-матэматычныя злічэнні]]
[[Аксіяматычная тэорыя мностваў]]
[[Алгарытмічныя праблемы]]
[[Класічнае злічэнне прэдыкатаў]]
[[Канструкцыйная матэматыка]]
[[Тэорыя алгебраічных сістэм]]
[[Тэорыя мадэляў]]
[[Інтуіцыянісцкая логіка]]
[[Сітуацыйная семантыка]]
[[Мадальная логіка]]
[[Матэматычная індукцыя]]
[[Давядзенне да абсурду]]
[[Катэгорыя:Матэматыка]]
| |||