| Головна » Реферати » Реферати 1 курс » Логіка |
Логіко-дедуктивне обґрунтування програмування
Список використаної літератури
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.
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.
Повна інформація про роботу
реферат "Логіко-дедуктивне обґрунтування програмування" з предмету "Логіка". Робота є оригінальною та абсолютно унікальною, тобто знайти її на інших ресурсах мережі Інтернет просто неможливо. Дата та час публікації: 04.08.2010 в 23:23. Автором даного матеріалу є Олег Вернадський. З моменту опублікування роботи її переглянуто 391 та скачано 40 раз(ів). Для ознайомлення з відгуками щодо роботи натисніть [перейти до коментарів]. По п'ятибальній шкалі користувачі порталу оцінили роботу в "5.0" балів.
Олег Вернадський...
Виконував дуже старанно, намагався детально розкрити всі пункти. Наш найвимогливіший викладач в університеті (Віктор Анатолійович) оцінив на 100 балів...