Логическое программирование. Учебно-методическое пособие к лабораторным работам

91

класс

чин граж-

данский

чины военные

прочие чины

ТИТУЛ

чин пехотный и артиллерии

чин кавалерии (казаки)

чин морской

чин

придворный

чин горный

учёная

степень

1

государствен-

ный канцлер

генерал-

фельдмар-

шал

генерал-

фельдмар-

шал

генераладмирал

---

высокопревосходительство

2

действитель-

ный тайный советник

генерал от инфантерии (от артилле-

рии)

генерал от кавалерии

адмирал

оберкамергер

---

высокопревосходительство

3

тайный совет-

ник

генераллейтенант

вицеадмирал

гоф-

мейстер,

камергер

--- ---

превосходительство

4

действитель-

ный статский советник

генералмайор

контрадмирал

герольд-

мейстер,

камергер

---

превосходительство

5

статский со-

ветник

бригадир

капитанкомандор

---

оберберггауптман

---

высокородие

6

коллежский

советник

полковник

(полковник)

капитан 1го ранга

камерфурьер

берг

-

гауптман

---

высокоблагородие

7

надворный

советник

подполков-

ник

подполков-

ник

(войсковой старшина)

капитан 2го ранга

---

оберберг

-

мейстер

---

высокоблагородие

8

коллежский

асессор

майор

капитанлейтенант

---

бергмейстер

доктор

высокоблагородие

9

титулярный советник

капитан

ротмистр

(есаул)

лейтенант

гоф

-

фурьер

марк

-

шейдер

магистр

благородие

10

коллежский

секретарь

штабскапитан

штабсротмистр

(подъесаул)

---

гиттенфе

-

рвальтер

кандидат

благородие

11

корабельный

секретарь

----

---

----

---

благородие

12

губернский

секретарь

поручик

(сотник)

мичман

тафель

-

деккер

бергге

-

шворен

действи-

тельный студент

благородие

13

кабинетский

регистратор

подпоручик

(хорунжий)

--- ---

бергпро

-

бирер

---

благородие

14

коллежский

регистратор

прапорщик корнет

(подхорунжий)

констапель

---

шихт

-

мейстер

---

благородие

Приложение 2. Табель о рангах XVIII века

92

нумер (дортуар)

воспитанник

годы жизни

прозвища

успехи в учёбе

служба после лицея

№ 6

Юдин Павел Михайлович

1798–1852

_____

_______

коллегия иностранных дел

№ 7

Малиновский Иван Васильевич

1796–1873

Казак

_______

военная служба

№ 8

Корф Модест Андреевич

1800–1876

Модинька, Дьячок, Мордан (Кусака)

Похвальный лист № 4

министерство юстиции

№ 9

Ржевский Николай Григорьевич

1800–1817

Дитя, Кис

_______

военная служба №10

Стевен Фёдор Христианович

1798–1851

Швед

_______

министерство просвещения

№11

Вольховский Владимир Дмитриевич

1798–1841

Суворочка

Большая золотая медаль

военная служба

№12

Матюшкин Фёдор Фёдорович

1799–1872

Плыть хочется

_______

морская служба №13

Пущин Иван Иванович

1798–1872

Большой Жанно, Иван Великий

Похвальный лист № 1

военная служба

№14

Пушкин Александр Сергеевич

1799–1837

Француз, Егоза

Великий русский поэт

коллегия иностранных дел

№15

Саврасов Пётр Фёдорович

1799–1830

Рыжак, Рыжий

Похвальный лист № 2

военная служба

№16

Гревениц Павел Фёдорович

1798–1847

Бегребниц

________

коллегия иностранных дел

№17

Илличевский Алексей Домианович

1798–1837

Олосенька

________

министерство финансов

№18

Маслов Дмитрий Николаевич

1799–1856

Наш Карамзин

1-я серебряная медаль

государственная канцелярия

№19

Корнилов Александр Алексеевич

1801–1856

Сибиряк

________

военная служба

№20

Ломоносов Сергей Григорьевич

1798–1857

Крот

4-я серебряная медаль

коллегия иностранных дел

Приложение 3. Таблица 1. Данные о лицеистах 1811–1817 гг., проживавших

в дортуарах окнами ко дворцу

93

нумер (дортуар)

воспитанник

годы жизни

прозвища

успехи в учё-

бе

служба после лицея

№29

Данзас Константин Карлович

1801–1870

Осада Данцига, Медведь, Кабул

_______

военная служба

№30

Горчаков Алесандр Михайлович

1798–1883

Франт

Малая золотая медаль

коллегия иностранных дел

№31

Броглио Сильверий Францевич

1799–1820

Маркиз

_______

военная служба

№32

Тырков Александр Дмитриевич

1799–1843

Курносый кеп, Кирпичный брус

_______

военная служба

№33

Дельвиг Антон Антонович

1798–1831

Тося, Султан, Мусульманин

_______

департамент горных и соляных дел

№34

Мартынов Аркадий Иванович

1801–1850

_______

министерство просвещения

№35

Комовский Сергей Дмитриевич

1798–1880

Лиса, Смола, Фискал

_______

министерство просвещения

№36

Костенский Константин Дмитриевич

1797–1830

Старик

_______

канцелярия министерства финансов

№37

Есаков Семён Семёнович

1798–1831

_______

2-я

серебряная медаль

военная служба

№38

Кюхельбекер Вильгельм Карлович

1797–1846

Кюхля, Бекеркюхель

3-я серебряная медаль

министерство иностранных дел

№39

Яковлев Михаил Лукьянович

1798–1868

Паяц 200 номеров, Комедиант

______

департамент правительствующего Сената

№40

Гурьев Константин Васильевич

1800–1833

_______

исключён из Лицея в 1813 году за дурное поведение

_________

№41

Мясоедов Павел Николаевич

1799–1868

Поль, Глупон, Мясин, Мясожоров

_______

военная служба

№42

Бакунин Александр Павлович

1799–1862

________

военная служба

№43

Корсаков Николай Александрович

1800–1820

________

Похвальный лист №3

коллегия иностранных дел

Приложение 3. Таблица 2. Данные о лицеистах 1811–1817 гг.,

проживавших в дортуарах окнами в ограду

94

годы

жизни

служащий Лицея

годы

службы

должность и./или преподаваемые дисци-

плины

1765–1814

Малиновский Константин Карлович

1811–1814

директор

------

Фролов С.С.

1816

и.о. директора в 1816г - безначалие

1775–1862

Энгельгардт Егор Антонович

1816–1823

директор

1781–1831

Кошанский Николай Фёдорович

1811–1823(8)

русская словесность и литература, латинская словесность, литература;

и.о. директора в 1814 году

1783–1840

Куницын Александр Петрович

1811–1820

логика, нравственная философия; право естественное, частное, публичное; гражданское и уголовное российское право

1782–1845

Кайданов Иван Кузьмич

1811–1841

всеобщая и российская история, география российская и иностранная, государственная экономия и финансы, статистика

1784–1836

Карцов Яков Иванович

1811–1836

чистая математика, прикладная математика, физика

1780–1830

Гауеншильд Фридрих Матвеевич

1811–1822

немецкая словесность и литература,

и.о. директора в 1814–1816 гг.,

(масон, австрийский шпион)

1756–1821

Де Будри (Марат) Давид Иванович

1811–1821

французская словесность и литература

---

Иконников

1811–?

гувернёр

1776–1853

Чириков Сергей Гаврилович

1811–1841

рисование; и. о. гувернёра

1788–1851

Калинич Фотий Петрович

1811–1851

чистописание; гувернёр в младших курсах

1775–1823

Теппер де Фергюсон Людвиг Вильгельм

1816–1819

музыка, пение

1783–1848

Галич Александр Иванович

1814–1815

русская словесность и литература, латинская словесность и литература

1791–1852

Георгиевский Пётр Егорович

1815–1852

русская и латинская словесность; гувернёр в младших курсах

1770–1832

Эльснер Фёдор Богданович

1816–1820

артиллерия, фортификация, тактика

?–после1850

Вальвиль Александр

1812–1824

фехтование

?– после1859

Эбергардт Иван Фёдорович

1816–1859

танцы

1780–1859

Пилецкий-Урбанович Мартин.С.

1811–1814

надзиратель (иезуит)

1784–1842

Пешель Ф.С.

1811–1842

доктор

1748–1822

Разумовский А.К.

1811–1816

граф, министр просвещения

1748–1822

Голицин А.Н.

1816–1822

князь, министр духовных дел и народного просвещения

Приложение 3. Таблица 3. Структурные данные о служащих Царскосель-

ского Лицея в 1811–1817 гг.: директорах, профессорах, адъюнкт-

профессорах, учителях, гувернёрах и главноначальствующих

95

время

(час)

понедельник

вторник

среда

четверг

пятница

суббота

6 ч

подъём, утренняя молитва в зале

7 ч

французский язык

немецкий

язык

русский язык

латинский

язык

французский язык

немецкий

язык

8 ч

французская

литература

немецкая литература

русская литература

латинская ли-

тература

французская

литература

немецкая литература

9 ч

чай с белой булкой

до10 ч

первая прогулка

10 ч

история

логика / или закон Божий

чистая мате-

матика

науки права, морали

география

русская сло-

весность

11 ч

география

латинскй язык

математика прикладная

чистая матема-

тика

география

латинская

литература

12–13 ч

вторая прогулка

13 ч

обед из трёх блюд

14 ч

чистописание или рисование

15 ч

немецкий

язык

французский язык

латинский язык

история

немецкий

язык

французский язык

16 ч

немецкая литература

французская

литература

латинская

литература

история

немецкая литература

французская

литература

17 ч

вечерний чай

до18 ч

третья прогулка

18–20 ч

повторение уроков

20.30 ч

ужин из двух блюд

до 22 ч

отдых, развлечения («мячик, беготня»)

22 ч

вечерняя молитва, сон

Приложение 3. Таблица 4. Структурированные данные о режиме дня

и примерном недельном расписании занятий студентов младших курсов

Царскосельского Лицея 1811–1815 гг.

96

старый стиль

день недели

новый стиль

дисциплина

успехи

15.05

вторник

26.05

латинский язык

весьма хорошо

16.05

среда

27.05

Закон Божий и священная история

хорошо

17.05

четверг

28.05

российская словесность

превосходно

18.05

пятница

29.05

немецкая словесность

занимался

19.05

суббота

30.05

французская словесность

превосходно

21.05

понедельник

1.06

иностранная география и статистика

занимался

22.05

вторник

2.06

всеобщая история

занимался

23.05

среда

3.06

политэкономия и финан-

сы

весьма хорошо

24.05

четверг

4.06

естественное, частное и

публичное право

хорошо

25.05

пятница

5.06

уголовное и гражданское

российское право

хорошо

26.05

суббота

6.06

отечественная география

и статистика

занимался

28.05

понедельник

8.06

чистая математика

занимался

29.05

вторник

9.06

прикладная математика

занимался

30.05

среда

10.06

фортификация и артилле-

рия

отсутствие интереса

31.05

четверг

11.06

физика

отсутствие инте-

реса

логика (без выпускного экзамена)

хорошо

нравственная философия

(без выпускного экзамена)

хорошо фехтование (без выпускного экзамена)

превосходно

Приложение 3. Таблица 5. Структурные данные о выпускных экзаменах

А.С. Пушкина в Царскосельском Лицее в 1817 г.

97

имена планет

обращение вокруг Солнца

вращение вокруг своей оси

свита

среднее расстояние, большая полуось в а.е.

угол орбиты к эклиптике

в градусах

эксцентриситет

сидерический период обращения,

в годах

скорости орбитальные

в км/c

период вращения

в сутках(d) часах (h)

наклон экватора к плоскости орбиты в

градусах

направление вращения

спутники

кольца

Меркурий

0,384

7,0

0,206

0,24

47,9

58,6d

7

прямое

-

Венера

0,723

3,4

0,007

0,62

35,0

243d

177

обратное

-

Земля

1,000

0,0

0,017

1,00

29,8

23,9h

23,5

прямое

1

-

Марс

1,524

1,9

0,093

1,88

24,1

24,6h

25,2

прямое

2

-

Юпитер

5,203

1,3

0,048

11,86

13,1

9,9h

3,1

прямое

67

3

Сатурн

9,539

2,5

0,056

29,46

9,6

10,2h

26,4

прямое

62

11

Уран

19,182

0,8

0,047

84,01

6,8

10,8h

98

обратное

27

13

Нептун

30,058

1,8

0,009

164,8

5,4

15,8h

29

прямое

13

5

Плутон

39,439

17,2

0,25

247,7

4,7

6,4d

?

прямое

5

-

имена планет

планета как физическое тело

поверхность

экваториальный радиус, км

видимый радиус

масса

(масса Земли=1)

объём

(объём

Земли=1)

плотность

(г/см3)

удельный

момент

инерции

ускорение

свободного

падения (м/с2 )

альбедо

температура

[К]

Меркурий

2439

13–4,7

0,06

0,05

5,44

0,324

3,73

0,09

435

Венера

6051

64–10

0,82

0,90

5,24

0,332

8,63

0,77

228

Земля

6378

---

1,00

5,52

0,332

9,81

0,30

255

Марс

3394

25–3,5

0,11

0,15

3,95

0,377

3,83

0,20

216

Юпитер

71398

50–30

317,82

1318

1,33

0,200

25,89

0,42

134

Сатурн

60000

20–15

95,11

755

0,68

0,220

11,48

0,50

97

Уран

25400

4–3

14,52

63

1,27

0,230

10,30

0,50

54

Нептун

24750

2,3

17,22

58

1,62

0,290

14,72

0,50

38

Плутон

1400

0,23

0,01

1,5

?

2,45

0,60

32

Приложение 4. Таблица 1. Структуры данных о планетах

Солнечной системы

98

небесные тела

спутник как физическое тело

обращение вокруг планеты

планета

спутник

средний радиус

в км

масса

(в массах планеты)

плотность

г/см

3

альбедо

радиус орбиты

в1000 км

период обращения

в земных сутках

эксцентриситет

наклонение

в градусах

Земля

Луна

1738

1,2*10

-2

3,33

0,07

384,4

27,2

0,055

5,09

Марс

Фобос

13,5

1,8*10

-8

2,10

0,06

9,38

0,319

0,015

1,02

--“--

Деймос

7,5

2,1*10-9

2,10

0,07

23,46

1,262

0,001

1,82

Юпитер

Амальтея

130

~10-8

-

0,10

182,3

0,489

0,003

0,4

--“--

Ио

1820

4,7*10-5

3,53

0,62

421,6

1,769

0,000

0,0

--“--

Европа

1565

2,6*10-5

3,03

0,68

670,9

3,551

0,000

0,5

--“--

Ганимед

2640

7,8*10-5

1,93

0,44

1070

7,155

0,001

0,2

--“--

Каллисто

2420

5,6*10-5

1,79

0,19

1880

16,689

0,010

0,2

--“--

Леда

~10

2*10

-14

-

11110

240

0,146

26,7

--“--

Гималия

85

~4*10-9

-

0,03

11470

250,6

0,158

27,6

--“--

Лиситея

~20

2*10

-12

-

11710

260

0,130

29,0

--“--

Элара

40

4*10

-10

-

0,03

11740

260,1

0,207

24,8

--“--

Ананке

~15

5*10

-12

-

20700

-617

0,170

147

--“--

Карме

~25

~10

-11

-

22350

-692

0,210

164

--“--

Пасифе

~25

~10

-11

-

23300

-735

0,380

145

--“--

Синопе

~20

5*10

-12

-

23700

-738

0,280

153

Сатурн

Янус

100 -

0,60

159,5

0,749

0,000

0,0

--“--

Мимас

195

6,5*10-8

1,20

0,60

186,0

0,942

0,020

0,0

--“--

Энцелад

250

1,5*10-7

1,10

0,60

238,0

1,370

0,004

1,5

--“--

Тефия

525

1,1*10-6

1,00

0,80

295,0

1,888

0,000

0,0

--“--

Диона

560

2,1*10-6

1,40

0,60

377,0

2,737

0,002

1,1

--“--

Рея

765 1,30

0,60

527,0

4,518

0,001

0,4

--“--

Титан

2560

2,5*10-4

1,90

0,21

1222

15,95

0,029

0,3

--“--

Гиперион

155 -

0,47

1481

21,28

0,104

0,4

--“--

Япет

720 1,20

0,35

3560

79,33

0,028

14,7

--“--

Феба

120 -

0,05

12930

-550,4

0,163

150

Уран

Миранда

120

1,0*10-7

-

129,2

1,460

<0,010

0,0

--“--

Ариэль

300

1,4*10-6

-

190,1

2,555

0,003

0,0

--“--

Умбриэль

200

5,9*10-7

-

264,7

4,015

0,004

0,0

--“--

Титания

500

7,0*10-6

-

434,3

8,760

0,002

0,0

--“--

Оберон

400

3,2*10-6

-

580,8

13,51

0,001

0,0

Нептун

Тритон

2200

6,3*10-4

-

394,7

-5,840

0,000

2,79

--“--

Нереида

100

5,0*10-8

-

6212

358,4

0,749

0,48

Плутон

Харон

560

6,4*10-2

1,50

0,60

17

6,4

Приложение 4. Таблица 2. Структуры данных о спутниках планет

99

№

название звёзд

астрономические параметры

звезды

физические параметры

света звезды

дальность

визуальная звёздная

величина

абсолютная звёздная величина

характеристики

оптический

код спектра

мощность излучения

1

Сириус

-1,6

+1,3

двойная

A0

23

8,7

2

Канопус

0,9

- 4,6

обычная

F0

5200

180

3





Центавра

0,8

+4,7

тройная

G0

1

4,29

4

Вега

0,1

+0,5

обычная

A0

48

26,5

5

Капелла

0,2

-0,5

тройная

G0

120

45

6

Арктур

0,2

0,0

обычная

K0

76

36

7

Ригель

0,3

-6,2

обычная

B8

23000

650

8

Процион

0,5

+2,8

двойная

F5

5,8

11,3

9

Ахернар

0,6

-2,6

обычная

B5

300

140

10





Центавра

0,9

-3,1

обычная

B1

1300

200

11

Альтаир

0,9

+2,4

обычная

A5

8,3

16,5

12

Бетельгейзе

0,9

-5,6

переменная

M2

13000

650

13

 Южного Креста

1,4

-2,7

двойная

B1

900

220

14

Альдебаран

1,1

-0,5

двойная

K5

120

68

15

Поллукс

1,2

+1,0

обычная

K0

30

35

16

Спика

1,2

-2,2

обычная

B2

600

160

17

Антарес

1,2

-2,4

обычная

M1

700

170

18

Фомальгаут

1,3

+2,1

обычная

A3

11

23

19

Денеб

1,3

-4,8

обычная

A2

6000

540

20

Регул

1,3

-0,7

тройная

B8

140

84

21

Солнце

-26,7

+4,8

обычная

G2 1 ___

Приложение 4. Таблица 3. Структуры данных о двадцати самых ярких

звёздах и о Солнце

100

на небе:

Меркурия

Венеры

Земли

Марса

Юпитера

Меркурий

-----

-2,7

-1,2

-0,8

Венера

-7,7

-----

-4,3

-3,2

-0,3

Земля

-5

-6,6

-----

-2,6

I Луна

-2,4

Марс

-2,8

-----

I Фобос

-8

II Деймос

-3,7

Юпитер

-2,2

-2,4

-2,5

-2,8

-----

I Ио

-7,7

II Европа

-6,4

III Ганимед

-5,6

IV Каллисто

-3,3

V Амальтея

-2,8

Сатурн

-0,3

-0,4

-0,6

-2

Уран

+5,7

Нептун

+7,6

Солнце

-27,5

-26,7

-26

-23

Сириус ( Большого Пса)

-1,6

Канопус ( Киля)

-0,9

 Центавра

0,1

Вега ( Лиры)

0,1

Капелла ( Возничего )

0,2

Арктур ( Волопаса)

0,2

Ригель ( Ориона)

0,3

Процион ( Малого Пса)

0,5

Ахернар ( Эридана)

0,6

 Центавра

0,9

Альтаир ( Орла)

0,9

Бетельгейзе ( Ориона)

0,9

 Южного Креста

1,1

Альдебаран ( Тельца)

1,1

Поллукс ( Близнецов)

1,2

Спика ( Девы)

1,2

Антарес ( Скорпиона)

1,2

Фомальгаут ( Южной Рыбы)

1,3

Денеб ( Лебедя)

1,3

Регул ( Льва)

1,3

Приложение 4. Таблица 4. Звёздные величины небесных тел