Математикăлла логика: версисем пӗр-пӗринчен уйрӑлса тӑни

Контента кӑларса петӗмӗр Контента хушрӑмӑр
Ellodanis5 (Сӳтсе яв | хушни)
Çĕнĕ страница "'''Математикăлла логика''' (урăх ятсем: теорилле логика, символла логика<ref>Бродский И. Н.…"
 
Ellodanis5 (Сӳтсе яв | хушни)
Тӳрлетӗве ӑнлантарман
1-мĕш йĕрке:
'''Математикăлла логика''' (урăх [[ят|ятсем]]: теорилле логика, символла логика<ref>Бродский И. Н. Элементарное введение в символическую логику. — Издательство Ленинградского университета, 1972. — 63 с.</ref>) — математикăри паллăсене, формаллĕ системăсене, математикăри шухăшларăшсен ĕнентереслĕхне, математикăри ĕнентерÿсен пĕтĕмĕшле кăк-тымарне , [[Шутлаяслăх теорийĕ|шутлаяслăха]] тата математика никĕсĕсен ытти аспекчĕсене тĕпчесе вĕрентекен пай<ref>[http://www.oxforddictionaries.com/definition/american_english/mathematical-logic mathematical logic: definition of mathematical logic in Oxford dictionary (American English).]</ref>.
Анлăрах лаптăкра [[формаллĕ логика|формаллĕ логикăн]] математика валли майлаштарнă енĕ пек шутланать<ref>Н. И. Кондаков, ''Логический словарь-справочник'', М.: «Наука», 1975, с. 259. «''математическая логика — вторая, после традиционной логики, ступень в развитии формальной логики, применяющая математические методы и специальный аппарат символов и исследующая мышление с помощью исчислений (формализованных языков)''»</ref>: «''ăшлăхĕпе —логика, меслечĕпе — математика''»<ref>Платон Порецкий палăртавĕпе.</ref>, «'' математика меслечĕсемпе аталанакан логика''»<ref>С. К. Клини, ''Математическая логика'', М., 1973, с.12.</ref>.
 
Математикăлла локикăн ытти логикăсенчен уйрăлса тăракан енĕсене А.А.Зализняк академик çапларах палăртнă: