Аксиома схемасы

Аксиома схемасы (Схема аксиом; the circuit of axioms) — кейбір өрнектің синтаксистік құрылымын және одан осы құрылымның еркін аксиомасын алудың ережесін анықтау. <ref>Қазақ тілі терминдерінің салалық ғылыми түсіндірме сөздігі: Информатика және компьютерлік техника / Жалпы редакциясын басқарған, түсіндірме сөздіктер топтамасын шығару жөніндегі ғылыми-баспа бағдарламасының ғылыми жетекшісі, педагогика ғылымдарының докторы, профессор, Қазақстан Республикасы Мемлекеттік сыйлығының лауреаты А. Қ. Құсайынов.

– Алматы: «Мектеп» баспасы» ЖАҚ, 2002 жыл. – 456 бет. ISBN 5-7667-8284-5</ref>

Дереккөздер

<references/> Үлгі:Суретсіз мақала