Математикăлла логика

Математикăлла логика (урăх ятсем: теорилле логика, символла логикаБродский И. Н. Элементарное введение в символическую логику. — Издательство Ленинградского университета, 1972. — 63 с.) — математикăри паллăсене, формаллĕ системăсене, математикăри шухăшларăшсен ĕнентереслĕхне,  математикăри ĕнентерÿсен пĕтĕмĕшле кăк-тымарне , шутлаяслăха тата математика никĕсĕсен ытти аспекчĕсене тĕпчесе вĕрентекен пайmathematical logic: definition of mathematical logic in Oxford dictionary (American English). . 
Анлăрах лаптăкра  формаллĕ логикăн математика валли майлаштарнă енĕ пек шутланатьН. И. Кондаков, Логический словарь-справочник, М.: «Наука», 1975, с. 259.: «ăшлăхĕпе —логика, меслечĕпе — математика»Платон Порецкий палăртавĕпе., « математика меслечĕсемпе аталанакан логика»С. К. Клини, Математическая логика, М., 1973, с.12..

Математикăлла логикăн ытти логикăсенчен уйрăлса тăракан енĕсене А.А.Зализняк академик çапларах палăртнă:

Математикăлла логикăна аслă шкулсен математика уйрăмĕсенче вĕрентеççĕ.
 Асăрхавсем 

Категори:Математика
Категори:Математика хутшăнăвĕсем
Категори:Математикăлла логика