Баяндауларды есептеу

Баяндауларды есептеу (Исчисление предикатов; predicate calculus) — айтылымдардың кеңейтілген есептеуі. Оған пәндік символдар (индивидтер), олардың арасындағы қатынастар, бар және жалпыға ортақ кванторлар енгізіледі.Қазақ тілі терминдерінің салалық ғылыми түсіндірме сөздігі: Информатика және компьютерлік техника / Жалпы редакциясын басқарған түсіндірме сөздіктер топтамасын шығару жөніндегі ғылыми-баспа бағдарламасының ғылыми жетекшісі, педагогика ғылымдарының докторы, профессор, Қазақстан Республикасы Мемлекеттік сыйлығының лауреаты А.Қ.Құсайынов.
 – Алматы: «Мектеп» баспасы» ЖАҚ, 2002 жыл. – 456 бет. ISBN 5-7667-8284-5
Дереккөздер

Сілтемелер:
Исчисление предикатов
predicate calculus - Wiktionary

Санат:Ақпараттану
Санат:Компьютерлік техника