Перайсьці да зьместу

Матэматычная лёгіка

Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі

Матэматы́чная лё́гікасупольнасьць матэматычных фармальных тэорый, матэматычнай мадэльлю кожнай зь якіх зьяўляецца некаторая альгебра лёгікі.

  • Логіка выказванняў: вучэбны дапаможнік / Гарбузаў, Віктар Мікалаевіч; Немец, Уладзімер Сьцяпанавіч; ГрДУ імя Я. Купалы. — Гродна: ГрДУ, 1997. — 44 с.
  • Матэматыка: вучэб.-мэтад. дапам. У 2 ч. Ч. 1 — 2-е выд., перапрац. / Баранцэвіч, Канстанцін Зянонавіч; Пакала, Аляксандар Анатольевіч. — Мн., БДПУ, 2005. — 176 с.
  • Матэматыка: вучэб.-мэтад. дапам. У 2 ч. Ч. 1. / Баранцэвіч, Канстанцін Зянонавіч; Пакала, Аляксандар Анатольевіч. — Мн., 1996.
  • Кантрольная праца па матэматыцы / Баранцэвіч, Канстанцін Зянонавіч; Пакала, Аляксандар Анатольевіч. — Мн., 1993.
  • Геаметрыя 7 — 11. / Пагарэлаў А. — Мн., 1991.
  • Задачнік-практыкум па матэматыцы / Пакала А. А. — Мн., 1994.
  • Асновы пачатковага курса матэматыкі / Стойлава Л. П., Пышкала А. М.— Мн., 1990.