правильность результатов, получаемых при выполнении программ на ЭВМ.
Ответственные участки программы проверяются с использованием методов доказательства правильности программ...
Методы доказательства правильности программ
Неформальными методами доказательства правильности программ...
Но эти методы не решают полностью проблему правильности программы....
Программу считают правильной, если она решает сформулированную задачу....
Метод установления правильности программ при помощи строгих средств называется верификацией программ.
Сущность программы «Разговор о правильном питании»
Программа «Разговор о правильном питании» была разработана...
в соответствии с требованиями ФГОС НОО на основании следующих программ:
«Разговор о правильном питании...
Макеева 2007 г.;
«Формула правильного питания» М. М. Безруких, Т. А. Филиппова, А. Г....
осуществление деятельности, поисковые этапы работы и отработку знаний о продуктах правильного питания...
Программа «Разговор о правильном питании» выстраивается в соответствии со следующими принципами:
научная
В ходе исследования изучалось влияние школьной программы обучения основам правильного питаниия на знания и поведение педагогов, участвующих в ее реализации. В исследовании приняли участие две группы учителей начальных классов из 6 регионов России. Первая группа 3 и более лет проводила специальный курс «Разговор о правильном питании», вторая не участвовавала в работе по формированию культуры питания у школьников. Всего было опрошено 400 педагогов. Выявлен позитивный вклад участия педагогов в специальном обучении школьников основам правильного питания. Он выражается, главным образом, в повышении уровня осведомленности учителей о различных аспектах питания, расширении репертуара культурных моделей поведения, связанного с питанияем, а также более внимательном отношении к своему рациону и режиму питания.
[reading automation] — использование технических средств для автоматического переноса текстов и изображений с одного физического носителя на другой для их последующей обработки, хранения и воспроизведения с применением ЭВМ.
набор электронных цепей для связи процессора с периферийными устройствами.
процедура приближенного формализованного представления сложных геометрических многообразий через совокупность более простых. Например, замена произвольных кривых ломаными линиями, состоящими из прямолинейных отрезков; произвольных криволинейных поверхностей – системой сопряженных плоских граней, тел сложной конфигурации – многогранниками. Процедура А. позволяет упрощать математические описания объектов виртуального мира и, соответственно, создание системы виртуальной реальности.
