Объемы двух понятий исключают друг друга, но входят в третье более широкое. 1. Суждение «Некоторые студенты учатся в МГЮА» является частноутвердительным, т.к. в нем присутствует частный квантор «некоторые» и нет отрицательной частицы НЕ. Некоторые студенты учатся в МГЮА КВ S P Некоторые S есть Р I S- P+ Суждение «Ни один студент не учится в МГЮА» является общеотрицательным, т.к. в нем присутствует общий квантор «ни один» и есть отрицательная частица НЕ. Ни один студент не учится в МГЮА КВ S P Ни один S не есть Р Е S+ P+ Суждения находятся в отношении противоречия и не могут быть одновременно не истинными не ложными (Е – I). 4. Суждение «В здоровом теле здоровый дух» является общеутвердительным. В здоровом теле здоровый дух S P Все S есть Р А S+ P- 5. Суждение «Не верно, что Митя и Вася весь день просидели перед компьютером» является противоречащим. Оно эквивалентно суждению «Митя и Вася НЕ весь день просидели перед компьютером». По правилу частноотрицательных суждений имеем «Некоторые S не есть Р». Митя и Вася НЕ весь день просидели перед компьютером S P Некоторые S не есть Р О S- P+
Объяснение:
Итак, 17 ноября 2009 года на очередной ежегодной суперкомпьютерной конференции «Supercomputing 2009» (SC09), проходившей в Портланде (шт. Орегон), была объявлена 34-я редакция списка пятисот самых мощных компьютеров мира TOP500.
Что же, друзья, время дуть в дудки, стучать в барабаны и размахивать флагами — на 12-м месте списка находится суперкомпьютер «Ломоносов» Московского государственного университета! Впервые Россия оказалась так высоко в TOP500.
Да-да, это тот самый компьютер, который начали монтировать еще летом, и система охлаждения которого отняла половину территории автомобильной стоянки около 2-го учебного корпуса МГУ.
Надеюсь, скоро на parallel.ru или на сайте научно-исследовательского вычислительного центра (НИВЦ МГУ) появится подробное описание новой машины, но пока мы вынуждены ограничиться скудными данными с сайта TOP500:
пиковая производительность
414,42 ТФлопс
реальная производительность
350,10 ТФлопс
процессоры
Intel EM64T Xeon X55xx (Nehalem-EP) 2930 МГц (11,72 ГФлопс)
число процессорных ядер
35 360
общий объем оперативной памяти
54 312 ГБ
коммуникационная сеть
Infiniband
операционная система
Linux
Заканчивая эту заметку, отмечу все установленные в России суперкомпьютеры, которые попали в список TOP500:
12. Ломоносов (НИВЦ МГУ)
38. МВС-100К (МСЦ РАН — Межведомственный Суперкомпьютерный Центр РАН)
107. СКИФ МГУ «Чебышёв» (НИВЦ МГУ) (37-е место в июне 2008 года)
138. IBM BladeCenter HS22 Cluster (банковский сектор)
181. IBM xSeries x3650M2 Cluster (правительственный сектор)
320. HP Cluster Platform 3000 BL460c (РНЦ «Курчатовский институт») (118-е место в ноябре 2008 года)
377–382. IBM Blue Gene/P (факультет ВМК МГУ) (126–130-е место в ноябре 2008 года)
450. СКИФ-Аврора (ЮУрГУ — Южно-Уральский государственный университет)
Кстати, на первом месте TOP500 находится суперкомпьютер Jaguar Cray XT5-HE, установленный в Оук-Риджской национальной лаборатории США. При пиковой производительности в 2331 ТФлопс его реальная производительность составляет 1759 ТФлопс.
Имеются и другие определения из международных и российских стандартов:
совокупность программ системы обработки информации и программных документов[8], необходимых для эксплуатации этих программ (ГОСТ 19781-90[9]);
все или часть программ, процедур, правил и соответствующей документации системы обработки информации (ISO/IEC 2382-1:1993)[10][11];
компьютерные программы, процедуры и, возможно, соответствующая документация и данные, относящиеся к функционированию компьютерной системы (IEEE Std 829—2008)[12].
Программное обеспечение является одним из видов обеспечения вычислительной системы, наряду с техническим (аппаратным), математическим, информационным, лингвистическим, организационным, методическим и правовым обеспечением[13].
Академические области, изучающие программное обеспечение, — это информатика и программная инженерия.
В компьютерном сленге часто используется слово «софт», произошедшее от английского слова «software», которое в этом смысле впервые применил в статье журнала American Mathematical Monthly математик из Принстонского университета
А есть фото что то я не поняла вопрос можешь?