Чтобы простой связный граф был деревом, необходимо и достаточно, чтобы число вершин было больше числа ребер на один.
Чтобы граф был деревом, необходимо и достаточно, чтобы любые две вершины его соединялись единственным маршрутом.
Граф будет деревом тогда и только тогда, когда добавление любого нового ребра приводит к появлению ровно одного цикла.
Под исчислением понимается свод правил, для определения истинности или ложности комбинаций высказываний.
Если некоторая формула выполнима или тождественно истинна на некотором множестве, то то же самое будит иметь и на любом другом множестве с тем же самым числом элементов. Поэтому проблема разрешимости выполнимости и общезначимости формул логики предикатов состоит фактически в том, чтобы ответить на вопрос, для каких множеств данная формула выполнима, а для каких – нет. Теорема: Если некоторая формула логики предикатов выполнима в каком – нибудь множестве, то она выполнима также и в каждом множестве с большим числом элементов.
Способствование формированию и развитию информационной культуры пользователей БПИ.
Изучение, обобщение и распространение передового педагогического опыта.
Осуществление взаимодействия
Основные функции банка
Изучение информационных потребностей педагогических кадров с целью эффективного формирования БПИ.
Классификация, хранение, распространение и предоставление пользователю необходимой педагогической информации.
Работа с электронной почтой.
Обеспечение необходимой педагогической информацией различных категорий слушателей курсов повышения квалификации и профессиональной переподготовки.
Оказание информационных услуг различным категориям потребителей.
Поиск педагогической информации в сети INTERNET по запросам.
Обеспечение функционирования имеющихся и создание новых информационных потоков с целью развития БПИ.
Участие в подготовке и проведении научно-практических конференций, совещаний, смотров-конкурсов по вопросам педагогики с целью сбора и обобщения информации для пополнения БПИ.
обеспечивающий управление объектом (комплексом) в производственной, научной или общественной сфере.
Автоматизированные системы научных исследований (АСНИ) – программно-аппаратные комплексы, обрабатывающие данные от различного рода экспериментальных установок и измерительных приборов, и на основе анализа этих данных облегчают обнаружение новых эффектов и закономерностей.
Системы автоматизированного проектирования (САПР) – близки по своей структуре и функциям АСНИ, осуществляют поиск конструкторских решений, их расчет и обоснование, создание опытного образца.
Геоинформационные системы – инф. системы, которые хранят в себе знания о каких-либо участках земли, и позволяют их актуализировать, сопоставлять, исследовать для решения прикладных задач.
Экспертные системы – инф. системы с элементами искусственного интеллекта, построенные на основе высококачественных специальных знаний по некоторой предметной области, полученных от экспертов-специалистов в этой области.
Компьютерные обучающие системы – тренировочные и контролирующие, наставнические, имитационные и моделирующие, развивающие игры.
3. По типу носителя:
- основанные на использовании неэлектронных носителей информации;
- основанные на электронных носителях.
распределению.
Критерий является квадратичной формой вида:
- эмпирические частоты, - теоретические частоты
Полученное значение сравнивается с критическим значением при заданном уровне значимости () и числе степеней свободы k=s-1, где s – число групп (интервалов).
Если < - нулевую гипотезу не отвергаем.
Для других распределений K=S-m-1, где m- число параметров, рассчитанных по данным выборки.
Для равномерного распределения m=0
Для распределения Пирсона m=1.
однозначно идентифицировать данный символ. Варианты начертания символов задают разные шрифты. Для перевода информации из машинного представления в человеческий необходимы таблицы кодировки символов - таблицы соответствия между символами определенного языка и кодами символов. Самая известная – код ASCII (Американский стандартный код для обмена информацией). Поскольку в исходном коде ASCII было всего 128 символов, для их кодирования хватило значений байта, у которых 8-ой бит равен 0. Значения байта с 8-ым битом, равным 1, стали использовать для представления символов псевдографики, математических знаков и некоторых символов из других языков (греч., немецких умляутов, французских диакритических знаков и т.п.). Для других стран и языков места для новых символов уже не стало хватать: фирма IBM ввела в употребление несколько кодовых таблиц, ориентированных на конкретные страны: для скандинавских стран была предложена таблица 865 (Nordic), для арабских стран - таблица 864 (Arabic), для Израиля - таблица 862 (Israel) и т.д. Для русского языка символов во второй половине кодовой таблицы можно произвести разными способами: появились несколько разных таблиц кодировки символов кириллицы: KOI8-R, IBM-866, CP-1251, ISO-8551-5. Все они одинаково изображают символы первой половины таблицы (от 0 до 127) и различаются представлением символов русского алфавита и псевдографики.
- эмпирические частоты, 
- теоретические частоты
сравнивается с критическим значением при заданном уровне значимости () и числе степеней свободы k=s-1, где s – число групп (интервалов).
- нулевую гипотезу не отвергаем.