Математикăлла логика: версисем пӗр-пӗринчен уйрӑлса тӑни
Контента кӑларса петӗмӗр Контента хушрӑмӑр
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.
Математикăлла локикăн ытти логикăсенчен уйрăлса тăракан енĕсене А.А.Зализняк академик çапларах палăртнă:
|