Список детей дошкольного возраста на 2011-2012 учебный год

Список детей дошкольного возраста на 2011-2012 учебный год

Список детей дошкольного возраста на 2011-2012 учебный год

Список детей дошкольного возраста на 2011-2012 учебный год

Список основной и дополнительной литературы

1.Шелехов В.И. Предикатное программирование. Учебное пособие. — НГУ, Новосибирск, 2009. — 109с.

2.Методы предикатного программирования. Вып.1— Сборник работ ИСИ СО РАН под ред. Шелехова В.И. — Новосибирск, 2003.

3.Шелехов В.И. Разработка программы построения дерева суффиксов в технологии предикатного программирования. — Новосибирск, 2004. — 52с. — (Препр. / ИСИ СО РАН; N 115).

4.Методы предикатного программирования. Вып.2— Сборник работ ИСИ СО РАН под ред. Шелехова В.И. — Новосибирск, 2006.

5.Шелехов В.И. Модель корректности программ на языке исчисления вычислимых предикатов. — Новосибирск, 2007. — 50с. — (Препр. / ИСИ СО РАН; N 145).

6.Шелехов В.И. Исчисление вычислимых предикатов. — Новосибирск, 2007. — 24с. — (Препр. / ИСИ СО РАН; N 143).

7.Hoare C.A.R. Communicating Sequential Processes / Prentice-Hall. ¾ 1985.

8.Milner R. A Calculus of Communicating Systems, Springer Verlag, ISBN 0387102353

9.Шелехов В.И. Предикатное программирование. Учебное пособие. — НГУ, Новосибирск, 2009. — 109с.

10. Шелехов В.И. Верификация и синтез эффективных программ стандартных функций в технологии предикатного программирования // Программная инженерия, 2011, № 2. ¾ С. 14-21.

11. Чушкин М. С., Шелехов В.И. Генерация и доказательство формул корректности предикатных программ. — Новосибирск, 2012. — 34с. — (Препр. / ИСИ СО РАН; N 166).

12. PVS Language Reference. Version 2.4. — SRI International. 2001. — http://pvs.csl.sri.com/doc/pvs-language-reference.pdf

Программу подготовил Шелехов В.И.

Зав. лаб., к.т.н.

в МДОУ детский сад общеразвивающего вида с приоритетным осуществлением деятельности по социально-личностному развитию детей №1 «Ласточка»

	Фамилия, имя ребенка
	Давыдов Даниил
	Рогозина Екатерина
	Герасимова Виктория

Приложение №2

в МДОУ детский сад общеразвивающего вида с приоритетным осуществлением деятельности по физическому развитию детей №2 «Зоренька»

	Фамилия, имя ребенка
	Коркина Софья
	Иванов Артем
	Пентешин Александр

Приложение №3

в МДОУ «Центр развития ребенка» - детский сад №3 «Радуга»

	Фамилия, имя ребенка
	Петровский Егор
	Присяжнюк Таня
	Морозова Дарина
	Дрюпин Михаил
	Александров Дмитрий

Приложение №4

в МДОУ детский сад общеразвивающего вида с приоритетным осуществлением деятельности по художественно-эстетическому развитию детей №4 «Россияночка»

	Фамилия, имя ребенка
	Степанов Алеша
	Бахтиярова Лиза
	Васильева Евдокия
	Хомяков Егор
	Матушкина Ольга
6.	Петров Никита
7.	Воронцова Алена
8.	Белявская Лиза (возр. гр. с 6 до 7 лет)
9.	Лукянец Виктория (возр. гр. с 6 до 7 лет)
10.	Рудаева Любовь (возр. гр. с 6 до 7 лет)
11.	Бойкова Настя (возр. гр. с 6 до 7 лет)
	Кольцова Анастасия (возр. гр. с 6 до 7 лет)

Приложение №5

Дата добавления: 2015-06-27