Формальные системы

Ushbu kitob oliy va o'rta maxsus ta'lim vazirligi tomonidan O'zbekiston Respublikasi uchun nashr etilgan bo'lib, Toshkent arxitektura-qurilish institutining "Informatika va axborot texnologiyalari" kafedrasida tayyorlangan "Mustaqil ish" hisoblanadi. Kitobda "Informatsion sistemalar" fanidan "Formal sistemalar" mavzusi o'rganiladi. Unda predmet sohasi, ob'ektlar, munosabatlar semantikasi, amallar, algebraik sistemalar, ularning xususiyatlari, formal logik sistemalar va algoritmlar keltirilgan.

Asosiy mavzular

Predmet sohasi va munosabatlar: Kitobda predmet sohasi sifatida pazl o'yinlari olinadi va uning asosiy ob'ektlari, munosabatlari, semantikasi, xususiyatlari va amallari o'rganiladi. Munosabatlar misollari sifatida "katta", "kichik" va "teng" munosabatlari keltirilgan.
Algebraik sistemalar: Algebraik sistemalar tushunchasi beriladi va pazllar ustida bajariladigan amallar (qo'shish, ko'paytirish, inversiya) orqali algebraik sistema yaratiladi. Bu sistemalarning xususiyatlari, tiplari va klasslari muhokama qilinadi.
Formal logik sistema: Amallarning aksiomatik xususiyatlariga asoslangan formal logik sistema quriladi. Mantiqiy xulosalar keltiriladi va isbotlanadi.
Algoritmlar: Algebraik sistemadagi munosabatlar va amallarni namoyish etuvchi programma blok-sxemalari keltirilgan.