Кирлĕ тата çителĕклĕ малсăлтавсем
Курӑнакан калӑплав
Урăх чĕлхе уйрăмĕнче туллирех статья пур Necessity and sufficiency(акăлч.) Çак статьяна куçарса эсир проекта пулăшма пултаратăр.
|
Кирлĕ малсăлтав тата çителĕклĕ малсăлтав — пĕр-пĕр шухăшларăшпа логикăлла çыхăннă малсăлтавсен тĕсĕсем. Çав малсăлтавсен уйрăмлăхĕсем логикăра тата математикăра пĕлтерĕшлĕ.
Çавăн пекех
[тӳрлет | кодне тӳрлет]Асăрхавсем
[тӳрлет | кодне тӳрлет]Литература
[тӳрлет | кодне тӳрлет]- Эдельман С. Л. Математическая логика. — М.: Высшая школа, 1975. — 176 с.
- Гиндикин С. Г. Алгебра логики в задачах. — М.: Наука, 1972. — 288 с.
Каçăсем
[тӳрлет | кодне тӳрлет]- Видео2016 ҫулхи Ака уйӑхӗн 15-мӗшӗнче архивланӑ. кирлĕ тата çителĕклĕ малсăлтавсем тĕлĕшпе
- «Кирлĕлĕх тата çителĕклĕх2019 ҫулхи Юпа уйӑхӗн 10-мӗшӗнче архивланӑ.» MathIt вĕренткĕч