| № |
Имя |
Описание |
Имя файла |
Размер |
Добавлен |
| 1. |
Полный текст
|
2009-2010 Программа 1 семестр |
DL_2009-2010_Term-1_Program.pdf |
56,4 КБ |
25 июня 2021
[ezolin]
|
| 2. |
Полный текст
|
2009-2010 Программа 2 семестр |
DL_2009-2010_Term-2_Program.pdf |
62,5 КБ |
25 июня 2021
[ezolin]
|
| 3. |
Полный текст
|
2010-2011 Программа годовая |
DL_2010-2011_Program.pdf |
111,5 КБ |
25 июня 2021
[ezolin]
|
| 4. |
Полный текст
|
2011-2012 Программа 1 семестр |
DL_2011-2012_Term-1_Program.pdf |
68,8 КБ |
25 июня 2021
[ezolin]
|
| 5. |
Полный текст
|
2011-2012 Программа 2 семестр |
DL_2011-2012_Term-2_Program.pdf |
75,6 КБ |
25 июня 2021
[ezolin]
|
| 6. |
Полный текст
|
2017-2018 Программа 1 семестр |
DL_2017-2018_Term-1_Program.pdf |
100,1 КБ |
25 июня 2021
[ezolin]
|
| 7. |
Полный текст
|
2017-2018 Программа 2 семестр |
DL_2017-2018_Term-2_Program.pdf |
164,5 КБ |
25 июня 2021
[ezolin]
|
| 8. |
Полный текст
|
2009-2010 Задачи |
DL_2009-2010_Term-2_Tasks.pdf |
145,4 КБ |
25 июня 2021
[ezolin]
|
| 9. |
Полный текст
|
2010-2011 Задачи |
DL_2010-2011_Tasks.pdf |
146,8 КБ |
25 июня 2021
[ezolin]
|
| 10. |
Полный текст
|
2017-2018 Задачи (аспирантам) |
DL_2017-2018_Tasks.pdf |
136,4 КБ |
25 июня 2021
[ezolin]
|
| 11. |
Полный текст
|
2017-2018 Задачи 1 семестр |
DL_2017-2018_Term-1_Tasks.pdf |
136,4 КБ |
25 июня 2021
[ezolin]
|
| 12. |
Полный текст
|
2017-2018 Задачи 2 семестр |
DL_2017-2018_Term-2_Tasks.pdf |
98,2 КБ |
25 июня 2021
[ezolin]
|
| 13. |
Полный текст
|
Список литературы |
DL_Literature.pdf |
312,9 КБ |
25 июня 2021
[ezolin]
|
| 14. |
Полный текст
|
Глава 0. Логика |
DL_00_CPL.pdf |
325,8 КБ |
25 июня 2021
[ezolin]
|
| 15. |
Полный текст
|
Глава 1. Логика ALC |
DL_01_ALC.pdf |
217,3 КБ |
25 июня 2021
[ezolin]
|
| 16. |
Полный текст
|
Глава 2. Терминологии (TBox) |
DL_02_TBox.pdf |
379,2 КБ |
25 июня 2021
[ezolin]
|
| 17. |
Полный текст
|
Глава 3. Системы фактов (ABox) и базы знаний |
DL_03_ABox.pdf |
464,3 КБ |
25 июня 2021
[ezolin]
|
| 18. |
Полный текст
|
Глава 4. Разрешимость логики ALC |
DL_04_ALC_Tableau.pdf |
582,0 КБ |
25 июня 2021
[ezolin]
|
| 19. |
Полный текст
|
Глава 5. Сложность логики ALC |
DL_05_ALC_Complexity.pdf |
587,9 КБ |
25 июня 2021
[ezolin]
|
| 20. |
Полный текст
|
Глава 6. Расширения ALC: логика ALCOIQ |
DL_06_ALCOIQ.pdf |
467,9 КБ |
25 июня 2021
[ezolin]
|
| 21. |
Полный текст
|
Глава 7. Логика с аксиомами для ролей (SHIQ) |
DL_07_SHIQ.pdf |
513,7 КБ |
25 июня 2021
[ezolin]
|
| 22. |
Полный текст
|
Глава 8. Запросы к базам знаний |
DL_08_Query.pdf |
393,5 КБ |
25 июня 2021
[ezolin]
|
| 23. |
Полный текст
|
Глава 9. Логики с операциями над ролями |
DL_09_Role_Operator.pdf |
550,2 КБ |
25 июня 2021
[ezolin]
|
| 24. |
Полный текст
|
Глава 10. Логика с равенством атрибутов ALCf |
DL_10_Feature.pdf |
391,8 КБ |
25 июня 2021
[ezolin]
|
| 25. |
Полный текст
|
Глава 11. Логика с многоместными отношениями DLR |
DL_11_DLR.pdf |
637,8 КБ |
25 июня 2021
[ezolin]
|
| 26. |
Полный текст
|
Глава 12. Логика с конкретными областями ALC(D) |
DL_12_Concrete.pdf |
450,2 КБ |
25 июня 2021
[ezolin]
|
| 27. |
Полный текст
|
Глава 13. Свойство аддитивности логик |
DL_13_Additive.pdf |
312,0 КБ |
25 июня 2021
[ezolin]
|
| 28. |
Полный текст
|
Глава 14. Теория алгоритмов и сложности вычислений |
DL_14_Algorithms.pdf |
447,4 КБ |
25 июня 2021
[ezolin]
|
