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