Predikatlar logikası formulaları Rejesi: Kirisiw Tiykarǵı bólim

Paydalanılǵan ádebiyatlar
1.“Logikalıq algebra hám onıń qollanılıwı” J. Eldon Uaytsitt. Continental Publishing Company, 1980 jıl.
2. “Informatika ushın matematika” Erik Lehman F.Tobson Leyton
3. “Abstrakt analiz elementleri” Mícheál O'Searcoid doktorlıq dissertatsiyası. Matematika kafedrası. Universitet kolledji Dublin, Beldfild, Dublind.
4.Logika hám deduktiv pánleri metodologiyasına kirisiw.Alfred Tarski, Nyu-York, Oksford. Oksford universiteti baspasózi.
5. G. P. Gavrilov, A. A. Sapojnikov. Zadachi i uprajneniya po diskretnoy matematikalıqe: Uchebnoe posobie. M: FIZMATLIT, 2005, 416 s.
6. Kayzer G. Dj. Kombinatornaya matematika. M.. Mir, 1966
7. Yemelichev V. A. i dr. Lektsii po teorii grafov. M.. Nauka, 1990.
8. Mendel'son E. Vvedenie v matematicheskuyu logiku. M., Nauka, 1976.
9. Yoqubov T. Matematikalıq logika elementleri. Tashkent, “Oqıtıwshı”, 1983.
10. Tóreev H. Matematikalıq logika hám diskret matematika. Samarqand, 2003.
11. Gavrilov G. P. i dr. Sbornik zadach po diskretnoy matematikalıqı. M.: Nauka, 1977.
12. Zikov A. A. Osnovi teorii grafov. M., Nauka, 1987.
13. Yershov Yu. L. i dr. Matematicheskaya logika. M., Nauka, 19