Автор работы: Пользователь скрыл имя, 23 Марта 2015 в 17:40, реферат
Теория множеств – раздел математики, в котором изучаются общие свойства множеств – совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. Создана во второй половине 19 века Георгом Кантором при значительном участии Рихарда Дедекинда, привнесла в математику новое понимание природы бесконечности, была обнаружена глубокая связь теории с формальной логикой, однако уже в конце 19 – начале 20 века теория столкнулась со значительными сложностями в виде возникающих парадоксов, поэтому изначальная форма теории известна как наивная теория множеств.
Введение.............................................................................................................................................2
История теории множеств..............................................................................................................3
Подмножество...................................................................................................................................4
Пустое и универсальное множество..............................................................................................4
Логические операции над множествами......................................................................................5
Заключение........................................................................................................................................5
Список использованных источников............................................
Буква в конце индекса обозначает модификацию образца (например, М - модернизированный) или конструктивную особенность (напр. для осколочных снарядов и мин (53-О…) буква А обозначает материал корпуса - сталистый чугун).
В 1960 г. ГАУ стало Главным ракетно-артиллерийским управлением (ГРАУ) и им был введен «новый» принцип индексации. Согласно ему, индекс образца имеет следующий вид:
2А42
3ОФ25
В «новых» индексах две первые цифры, обозначающие отдел ГАУ, заменены на одну, причем соответствие сохранилось, то есть:
В связи с появлением новой техники, прежде всего ракетной, система обозначений периодически претерпевала изменения. Так, если для обозначения ранних образцов ракетной техники использовались индексы существующих отделов 2, 3, 4, то позднее для ракет Сухопутных Войск был введен отдел 9. Также, для некоторых ракет СВ, до передачи их в ведение РВСН, использовался отдел 8.
Появление новых видов Вооруженных Сил потребовало введения новых систем обозначений. При этом новые Заказывающие Управления, в основном, использовали принципы построения «новой» системы индексации ГРАУ.
Управление Вооружения Войск ПВО присваивало изделиям, относящимся к его ведению, индексы с номером отдела 5, а Управление ракетного вооружения РВСН использовало для своих изделий уже существовавший номер отдела 8. Позднее из УРВ РВСН выделилось ГУКОС - Главное управление космических средств, которое при присвоении индексов использовало номер отдела 11.
В дальнейшем, в связи с бурным развитием новой техники, УВ ПВО, УРВ РВСН и ГУКОС ввели новые отделы.
УВ ПВО ввело отдел 6, причем структура индекса стала «обратной», то есть номер отдела ставился в конце индекса, а номер образца - впереди, напр. 48Н6. Следует отметить, что чёткого разделения на типы изделий с помощью букв не наблюдается. Это характерно и для отдела 5.
УРВ РВСН в настоящее время присваивает индексы с номером отдела 15, а ГУКОС использует номера отделов 14 и 17.
Существуют также индексы с номерами отделов 13 и 16. Такие индексы присваиваются элементам капитального строительства, электро- и водоснабжения объектов РВСН и Космических Войск.
Порядок присвоения индексов:
Индексы «старой» системы ГАУ и УВ ВВС присваивались изделиям при принятии на вооружение. Впервые индекс публиковался в Артиллерийском журнале НТК ГАУ. В случае замены образца на новый, но близкий по характеристикам, индекс сохранялся. Так было, например, при замене фугасной авиабомбы ФАБ-250св на авиабомбу модели 1943 г. ФАБ-250М43. Индекс обоих образцов 7-Ф-325.
«Новые» индексы присваивались на этапе подписания ТЗ на ОКР по созданию соответствующих образцов. В ряде случаев проектировавшиеся образцы не поступали на вооружение, однако индексы таких образцов более не использовались. Также, в ходе утверждения ТЗ, образцу присваивался шифр, то есть словесное обозначение образца.[15]
Список использованных источников
ЗАДАНИЕ ДМ-02-06-2015
СОДЕРЖАНИЕ
Биографическая справка о Альфреде Норте
Уайтхеде......................
Биографическая справка о Стефане Коуле Клинине.......................
Список использованных источников....................
Биографическая справка о Альфреде Норте Уайтхеде
Альфред Норт Уайтхед (15 февраля 1861, Рамсгит, Кент, Великобритания – 30 декабря 1947, Кембридж, Массачусетс, США) – британский математик, логик, философ, который вместе с Бертраном Расселом написал логицизма и теории типов. После Первой Мировой войны преподавал в Гарвадском университете, разработал собственное платоническое учение с элементами бергсонианства («философия процесса»).
Рис. 1. Альфред Норт Уайтхед.[1]
Отец Уайтхеда – англиканский викарий, дед - основатель частного пансионата для мальчиков, брат - англиканский епископ Мадраса, племянник – математик Джон Уайтхед. В 1880 году Альфред поступил в Тринити-колледж Кембриджского университета, где его на первых порах интересовала только математика. В мае 1884 году был допущен в круг «апостолов» университета, зачислен в преподавательский состав.
Диссертация Уайтхеда (научный руководитель – Э.дж. Раус) была посвящена вопросам физики, а именно – максвелловской теории электричества и магнетизма. Путём сравнения проблем современной физики и алгебры Уайтхед приходит к идее сравнительного сопоставления и деконструкции параллельных символических дискурсов. В 1891 году начал работу над «Курсом универсальной алгебры», в 1898-1903 годах написал второй том этого капитального труда.
В 1891 году Уайтхед женился на ревностной католичке-ирландке, воспитанной в монастыре. Её религиозность оказала большое влияние на развитие его мысли в сторону метафизических и религиозных построений. Он стал живо интересоваться богословием, в особенности авторами-католиками, такими, как Генри Джон Ньюмен, однако официально не вступил ни в одну религиозную конгрегацию.
Уже в 1890 году внимание Уайтхеда привлёк один из самых его многообещающих учеников в Кэмбридже –Бертран Рассел. В июле 1900 года они отправились в Париж на Первый международный конгресс по философии, где их поразило выступление Джузеппе Пеано и в особенности аксиомы Пеано: принципы арифметики, казалось, можно было свести к началам символической логики.
До 1910 году Уайтхед и Рассел работали над переработкой «Принципов математики» в трёхтомный труд «Principia Mathematica», само название которого отсылает к ньютоновскому шедевру «Philosophiae Naturalis Principia Mathematica». «Сверхзадачей этой работы было охватить логической схемой все наличное содержание математического знания».
В 1924 году, когда Уайтхед стал серьёзно задумываться о выходе на пенсию, Гарвардский университет предложил ему на пять лет занять кафедру профессора философии. За этим предложением стоял друг Уайтхеда, историк Генри Осборн Тейлор; с энтузиазмом отнеслась к перемене обстановки и супруга философа. В начале 1925 году чета направилась в Бостон, где Уайтхед прочёл восемь лекций по теме «Наука и современный мир», в которых подверг беспощадной критике «научный материализм» как господствующее в современном мире воззрение, согласно которому природа сводится к материи в движении, либо к перетекающей из одного состояния в другое физической энергии. Собственные идеи Уайтхеда были пересыпаны цитатами из его любимых поэтов, Вордсворта и Шелли.
В январе 1927 года Уайтхед был приглашён с лекциями в Эдинбургский унивеситет. К этому времени его метафизическая «философия организма» стала слишком сложной для понимания рядовых студентов, и он был вынужден разработать замысловатый понятийный аппарат для её корректного и внятного изложения.
Книги А.Н. Уайтхеда:
Работы о А.Н. Уайтхеде:
Биографическая справка о Стефане Коуле Клинине
Рис. 2. Портрет Стефана Коуле Клини.[3]
Стивен Коул Клини (правильнее – Клейне; 5 января 1909, Хартфорд(Коннектикут), США – 25 января 1994, Мадисон, Винсконсин, США) – американский математик.
Его работы совместно с работами Алонзо Черча, Курта Геделя и Алана Тьюринга дали начало разделу математической логики – теории вычислимости. Кроме того, известен изобретением регулярных выражений. Его именем названы Алгебра Клини, Звездочка Клини, теорема Клини о рекурсии, теорема Клини о неподвижной точке. Работал также в области интуиционистсткой математики Брауэра. Внес важный вклад в теорию конечных автоматов.
Сам Клини произносил свою Фамилию как «Клейни», ошибочная транслитерация «Клини» утвердилась в Советском Союзе в связи с изданием переводов его книг именно под такой фамилией.
Среди наиболее известных работ, издававшихся на русском языке – книги «Введение в математику» и «Математическая логика».[4]
Список использованных источников
Дата печати: