Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Логическое программирование. Учебно-методическое пособие к лабораторным работам
.pdf
101
Приложение 4. Таблица 5. Созвездия
1. Большая медведица (Ursa Major) - северное созвездие
2. Малая медведица (Ursa Minor) - северное созвездие
3. Гончие псы (Canes Venatici) - северное созвездие
4. Большой пёс (Canis Major) - южное созвездие
5. Малый пёс (Canis Minor) - северное созвездие
6. Лисичка (Vulpecula) - северное созвездие
7. Волк (Lupus) - южное созвездие
8. Заяц (Lepus) - южное созвездие
9. Лев (Leo) - зодиакальное созвездие
10. Малый лев (Leo Minor) - северное созвездие
11. Жираф (Camelopardalis) - северное созвездие
12. Рысь (Lynx) - северное созвездие
13. Телец (Taurus) - зодиакальное созвездие
14. Овен (Aries) - зодиакальное созвездие
15. Ящерица (Lacerta) - северное созвездие
16. Змея (Serpens) - экваториальное созвездие
17. Змея (Serpens) - экваториальное созвездие
18. Хамелеон (Chamaeleon) - южное созвездие
19. Скорпион (Scorpius) - зодиакальное созвездие
20. Рыбы (Pisces) - зодиакальное созвездие
21. Южная рыба (Piscis Austrinus) - южное созвездие
22. Летучая рыба (Volans) - южное созвездие
23. Золотая рыба (Dorado) - южное созвездие
24. Дельфин (Delphinus) - северное созвездие
25. Кит (Cetus) - экваториальное созвездие
26. Рак (Cancer) - зодиакальное созвездие
27. Лебедь (Cygnus) - северное созвездие
28. Орёл (Aquila) - экваториальное созвездие
29. Журавль (Grus) - южное созвездие
30. Павлин (Pavo) - южное созвездие
31. Ворон (Corvus) - южное созвездие
32. Голубь (Columba) - южное созвездие
33. Райская птица (Apus) - южное созвездие
34. Тукан (Tucana) - южное созвездие
35. Муха (Musca) - южное созвездие
36. Малый конь (Equuleus) - северное созвездие
37. Пегас (Pegasus) - северное созвездие
38. Гидра (Hydra) - южное созвездие
39. Южная гидра (Hydrus) - южное созвездие
40. Единорог (Monoceros) - экваториальное созвездие
41. Дракон (Draco) - северное созвездие
42. Цефей (Cepheus) - северное созвездие
43. Стрелец (Sagittarius) - зодиакальное созвездие
44. Центавр (Centauras) - южное созвездие
102
45. Козерог (Capricornus) - зодиакальное созвездие
46. Феникс (Phoenix) - южное созвездие
47. Персей (Perceus) - северное созвездие
48. Андромеда (Andromeda) - северное созвездие
49. Орион (Orion) - экваториальное созвездие
50. Кассиопея (Cassiopea) - северное созвездие
51. Геркулес (Hercules) - северное созвездие
52. Эридан (Eridanus) - южное созвездие
53. Волосы Вероники (Coma Verenices) - северное созвездие
54. Водолей (Aquarius) - зодиакальное созвездие
55. Волопас (Bootes) - северное созвездие
56. Возничий (Auriga) - северное созвездие
57. Змееносец (Ophiucsus) - экваториальное созвездие
58. Живописец (Pictor) - южное созвездие
59. Скульптор (Sculptor) - южное созвездие
60. Дева (Virgo) - зодиакальное созвездие
61. Близнецы (Gemini) - зодиакальное созвездие
62. Индеец (Indius) - южное созвездие
63. Лира (Lyra) - северное созвездие
64. Секстант (Sextans) - экваториальное созвездие
65. Октант (Octans) - южное созвездие
66. Резец (Caelum) - южное созвездие
67. Насос (Antila) - южное созвездие
68. Циркуль (Circinus) - южное созвездие
69. Сетка (Reticulum) - южное созвездие
70. Наугольник (Norma) - южное созвездие
71. Треугольник (Triangulum) - северное созвездие
72. Южный треугольник (Triangulum Australe) - южное созвездие
73. Южный крест (Crux) - южное созвездие
74. Стрела (Sagitta) - северное созвездие
75. Щит (Scutum) - южное созвездие
76. Северная корона (Corona Borealis) - северное созвездие
77. Южная корона (Corona Australis) - южное созвездие
78. Киль (Carina) - южное созвездие
79. Корма (Puppis) - южное созвездие
80. Паруса (Vela) - южное созвездие
81. Чаша (Crater) - южное созвездие
82. Печь (Fornax) - южное созвездие
83. Жертвенник (Ara) - южное созвездие
84. Телескоп (Telescopium) - южное созвездие
85. Микроскоп (Microscopium) - южное созвездие
86. Компас (Pyxis) - южное созвездие
87. Весы (Libra) - зодиакальное созвездие
88. Часы (Horologium) - южное созвездие
103
Список использованных источников
1. Ковальский Р. Логика в решении проблем. — М. : Наука, 1990. —
280 с.
2. Кириллов В.И., Старченко А.А. Логика. 6-е изд. — М. : Проспект,
2008. — 240 с.
3. Математический энциклопедический словарь. — М. : Советская эн-
циклопедия, 1988. — 848 с.
4. Мендельсон Э. Введение в математическую логику. — М. : Наука,
1984. — 320 с.
5. Новиков Ф.А. Дискретная математика для программистов. 3-е изд. —
СПб : Питер, 2009. — 384 с.
6. Метакидес Г., Нероуд А. Принципы логики и логического программи-
рования — М. : Факториал, 1998 — 288 с.
7. Ин Ц., Соломон Д. Использование Турбо-Пролога. — М. : Мир,
1993. — 608 с.
8. Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual
Prolog. — СПб : БХВ-Петербург, 2003. — 992 с.
9. Коста Э. Visual Prolog 7.1 для начинающих. — СПб, 2008. — 210 с.
10. Братко И. Алгоритмы искусственного интеллекта на языке
PROLOG. — М. : Вильямс, 2004. — 640 с.
11. Малпас Дж. Реляционный язык Пролог и его применение. — М. :
Наука, 1990. — 465 с.
12. Янсон А. Турбо-ПРОЛОГ в сжатом изложении. — М. : Мир, 1991. —
96 с.
13. Вирт Н. Алгоритмы и структуры данных. — СПб. : ДМК Пресс,
2013. — 272 с.
14. Стерлинг Л., Шапиро Э. Искусство программирования на языке
ПРОЛОГ. — М. : Мир, 1990. — 326 с.
15. Шрайнер П.А. Основы программирования на языке Пролог. — М. : Ун-т
Информ. Технологий, 2005. — 176 с.
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]