| Головна » Реферати » Реферати 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 її автором (Сергій). З моменту опублікування роботи її переглянуто 233 та скачано 17 раз(ів). Коментарі щодо роботи залишили 0 відвідувачів. Для того, щоб оцінити роботу, натисніть на відповідну кількість зірочок
Коментар автора роботи
Сергій...
Роботу писав самостійно, детально розкрив тему в цілому, вимогливий викладач оцінив на 100 балів. Користуйтеся...
Скачати роботу безкоштовно
УВАГА! При копіюванні матеріалів роботи ссилка на цю сторінку обов'язкова
→ Показати код ссилки на цю сторінку
→ Показати код ссилки на цю сторінку
