Сторінка
5

Логіко-дедуктивне обґрунтування програмування

ЛІТЕРАТУРА:

1. Аристотель. Соч. в 4-х т. – Т.2. – М.: Мысль, 1978. – 687 с.

2. Гильберт Д. Основы геометрии. М. – Л. ОГИЗ, 1948. – 491 с.

3. Гильберт Д., Бернайс П. Основания математики, теория доказательств. – М.: Наука, 1982.

4. Свинцицкий В.Н. Кибернетический стиль мышления в современном научном мире //Философ. проблемы соврем. Естествознания. – No 47. – 1979.

5. Дейкстра Э. Дисциплина программирования. – М.: Мир, 1978.

6. Молчанов И.Н. Проблемы и перспективы развития прикладного программного обеспечения //Управляющие системы и машины. – No2. – 1988.

7. Андерсон Р. Доказательство правильности программ. – М.: Мир, 1982.

8. Анисимов А.М. ЭВМ и понимание математических доказательств //Вопр. философии. – No 3. – 1988.

9. Яковлев Ю.С., Новиков Б.В., Штерн Ю.М. и др. Принципы организации инструментальных средств автоматизации прикладного программирования для персональных ЭВМ //Управляющие системы и машины. – No 2. – 1988.

10. Глушков В.М. Соч. Т.2.

11. Философский анализ особенностей развития современного естествознания. – Киев.: Наукова думка, 1984.