выводимые из эвм
1Дедукция — (от лат. deductio выведение) переход от общего к частному; в более специальном смысле термин «Д.» обозначает процесс логического вывода, т. е. перехода по тем или иным правилам логики (См. Логика) от некоторых данных предложений посылок к …
2ГЕНЦЕНА ФОРМАЛЬНАЯ СИСТЕМА — логико математич. исчисление, служащее для формализации и исследования содержательных доказательств, оперирующих с допущениями (гипотезами). Введены Г. Генценом (G. Gentzen, |2]). Г. ф. с. делят на системы естественного вывода (или натуральные,… …
3Троичная логика — Для улучшения этой статьи по логике желательно?: Дополнить статью (статья слишком короткая либо содержит лишь словарное определение). Проставив сноски, внести более точные указания на источники …
4Интеллектуальные информационные системы — Интеллектуальная информационная система (ИИС) это один из видов автоматизированных информационных систем, иногда ИИС называют системой, основанных на знаниях. ИИС представляет собой комплекс программных, лингвистических и логико математических… …
5Интеллектуальная информационная система — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете …
6Буферизация ввода-вывода — организация ввода вывода информации в ЭВМ, при которой все выводимые данные (например, электронная верстка полосы издания) запоминаются до окончания вывода в буферном файле. Аналогично при вводе все данные, предназначенные для электронной… …
7ВОЕННАЯ РЕФОРМА И ВОЕННАЯ КОНВЕРСИЯ — – сокращение размеров (объемов) военного производства и ВС при котором гражданское производство расширяется за счет высвобождаемых мощностей оборонной промышленности и передаче некоторых видов военной техники в гражданский сектор. Непосредственно …
8буферизация входных и выходных потоков периферийных устройств (в многозадачных ОС) — Способ организации обмена, при котором все выводимые задачей данные временно запоминаются в буферном файле (для последующего независимого вывода); аналогично при вводе все данные, предназначенные для задачи, загружаются в буферный файл до ее… …
