Косовский Н.К.

Косовский Н.К.

Профессор, доктор физико-математических наук
Заведующий кафедрой информатики
математико-механического факультета,
Санкт-Петербургского государственного университета
 
факс +7 (812) 428 66 49 to the english version
e-mail kosov@NKK1022.spb.edu

Его исследования связаны с теорией сложности алгоритмов, логическим программированием, искусственным интеллектом (логические методы, эвристический поиск).

Последние международные конференции (до 1996 г.) вне России, в которых он принимал участие: 10-ая Международная Конференция по логическому программированию (Венгрия, 1993), Логический Коллоквиум 94 (Франция, 1994), Ежегодная Конференция Европейской Ассоциации Логики Информатики (Польша, 1994 и Германия, 1995).

Его имя известно таким математикам как Martin Davis (США), Denis Richard (Франция), Henk Bardregt (Нидерланды), Jerzy Tiuryn (Польша), Igor Walukiewicz (Польша), Paul Voda (Словакия), Costike Cazacu (Румыния), Dimitr Scordev (Болгария). 

В данный момент под руководством Косовского Н.К. ведется разработка системы, использующей технологии Интернет для применения и разработки методов решения нестандартных задач.

publication list
  1. Косовский Н.К. Уровневые логики. - Записки научных семинаров ПОМИ, т.220, Исследования по конструктивной математике и математической логике, IX. СПб, "Наука", 1995, с. 72-81

  2. Резюме статьи.
  3. Дмитриева М.В., Косовская Т.М., Косовский Н.К., Костин В.А., Соловьев И.П., Фитиалов С.Я. Управление перебором в задачах искусственного интеллекта. // Тезисы международной конференции "Математика. Компьютер. Образование". М., 1995. С. 70.
  4. Дмитриева М.В., Косовская Т.М., Косовский Н.К., Костин В.А., Соловьев И.П., Фитиалов С.Я. Управление перебором в задачах искусственного интеллекта. // Труды Второй Международной конференции "Математика, компьютер, образование". М.-Пущино, 1995. С. 75-82. 
  5. Косовский Н.К., Ярославский В.В. Игры для решения нестандартных задач. // Деловые игры, методы активного обучения, исследования. Межвузовский сборник научных трудов. Часть 1. Челябинский государственный университет, Челябинск, 1995. С. 17 - 21.
  6. Косовский Н.К., Хитров Д.В. Информационная система эвристического поиска решений. // Тезисы международной конференции "Математика, компьютер, образование". М., 1996. С. 66.
  7. Kossovsky N.K., Solovjov I.P. Fsn-backtracking with function-patterns. // Publ. Math. Debrecen. 48/3-4 (1996), 339-348;
  8. Kossovski N.K., Tishkov A.V. Logical theory of Post Logic with linear order. TR-98-11, Department of Informatics University Paris-12. 9p. 
  9. Kossovski N.K., Tishkov A.V. Mathematical reasoning for fuzzy propositions. // Proc. of International Conference on informatics and control, v.2, St.Petersburg, 1997, 522-529. 
  10. Косовский Н.К. Lower Bounds of Combinational Complexity for Exponential Search Ruduction. - Amer. Math. Transl. (2) Vol.178,1996. 
  11. Kossovski N.K., Tishkov A.V. Logical theory of Post logic with linear order. // Technical Report TR-97-11. Department of Informatics University Paris-12. Paris, 1997, 9 pp. 
  12. АлексеевБ.Т., Косовский Н.К., Селеджи С.М., Хитров Д.Б. Разработка интеллектуальной системы эвристик для результативных систем. - Межд.конф."Знания-Диалог-Решение", Ялта,1997 
  13. Kossovski N.K., A.V.Tishkov. Mathematical reasoning for fuzzy propositions. - Proc.Int.Conf.on Informatics and Control. v.2,St.-Petersburg,1997. P. 522-529. 
  14. Косовский Н.К., Тишков А.В. Градуируемые логические значения для представления знаний. - Зап.научн.сем.ПОМИ, т. 241, СПб. 1997. C.135-149. 
  15. Косовский Н.К., Тишков А.В. Полиномиальные алгоритмы установления совместности в рациональных и целых числах систем строгих и нестрогих линейных неравенств. - Актуальные Проблемы Современной Математики, т.3, 1997. C. 95-100. 
  16. Косовский Н.К. Кванторы, ограничивающие длину,допускают реализацию схемами только экспоненциальной сложности. - Сб.тр.сем. по дискр. математике и ее приложениям. М., 1997. C. 112-113. 
  17. Косовский Н.К. Вывод сравнений оценок логических формул. - Тр.II Междунар.конф. "Дискретные модели в теории управляющих систем".М.,1997. С. 33-35. 
  18. Алексеев Б.Т. , Зобов Р.А., Косовский Н.К. Социальные противоречия и ценности культуры. - Аксиологические пробл. научной и технической реальности. Тез.научн. конф. С.Пб, 1998. C. 11-112. 
  19. Kossovski N.K., Tishkov A. Decision algorithm of quantifier-free theory of mixed superlinear inequalities. - .Intern. Conf. Computer Algebra in Scientific Computing. Ext.abstracts. St.Pb, 1998. P. 81-84. 
  20. Косовский Н.К., Тишков А.В. Погружение эвристического вывода в двузначную логику первого порядка. - Межд. конф.по мягким вычислениям и измерениям. Сб.докл.т.1. СПб, 1998. C. 205-207. 
  21. Косовский Н.К., Тишков А.В. Выводимость в плюралистической логике. - Совр. логика: проблемы теории, истории и применения в науке. Матер.V Общерос. научн. конф.СПб, 1998. C.151-154. 
  22. Косовский Н.К., Хитров Д.В. Система, управляющая поиском инновационных идей на основе эвристической логики с конечнозначными предикатами. - Тр. III Междунар.конф. "Дискретные модели в теории управляющих систем". М. Диалог-МГУ, 1998. C. 50-52. 
  23. Косовский Н.К. Сложность установления разрешимости систем индексных пи-сравнений по модулю 2. - Сб.тр.сем. по дискретной математике и ее приложениям (2-4 февраля 1993г.). Изд-во мех-мат МГУ. С.67 
  24. Косовский Н.К., Тишков А.В. Секвенциальное исчисление для сравнений противоречивых условий для различной степени достоверности. // Математические вопросы кибернетики. Вып. 7. Москва, 1998. С. 213- 226. 
  25. Kossovski N. Decidability complexity of quantifier-free negationless theory of the field of rational numbers. // First St.Petersburg Days of Logic and Computability. Abstracts. St.Petersburg, 1999. P. 26. 
  26. Kossovski N.K., Tishkov A.V., Iaroslavski V.V. The propositional N-agent logic. // Proc. of the 1-st Internaional Workshop of Central and Eastern Europe on Multi-Agent Systems. CEEMAS'99. June 1-4, 1999, St.Petersburg, Russia. Pp. 331-333. 
  27. Kossovski N. Sequentcalculus for generalization of Getmanova's logic to the predicates. // The Bulletin of Symbolic Logic. V.1, Num.2, June 1995. P. 245. 
  28. Косовский Н.К. Разрешимость универсальной позитивной теории поля рациональных чисел. // Проблемы теоретической кибернетики. Тезисы докладов XII Международной конференции (Нижний Новгород, 17-22 мая 1999г.), часть I. Москва, 1999. С. 112. 
  29. Косовский Н.К., Тишков А.В. О сложности некоторых бескванторных теорий // Материалы IX Межгосударственной школы-семинара "Синтез и сложность управляющих систем" (Нижний Новгород, 16-19 декабря 1998 г.). М., 1999. С. 44. 
  30. Косовский Н.К., Хитров Д.В. Система, управляющая поиском иновационных идей на основе эвристической логики с конечозначными предикатами. // Труды III Международной конференции "Дискретные модели в теории управляющих систем". (22-27 июня 1998г.). М., МГУ, 1998. С. 50-52. 
  31. Косовский Н.К., Ярославский В.В. Фактографические дизъюнкция и конъюнкция на основе среднего арифметического векторов значений. // Смирновские чтения. 2 Международная конференция. М., 1999. С. 163-164. 
  32. Косовский Н.К., Тишков А.В. Плюралистическая логика. // Информационные технологии и интеллектуальные методы. Вып. 3. СПб, СПИИРАН, 1999. С. 62-71. 
  33. Косовский Н.К. Разрешимость универсальной нечеткой теории поля рациональных чисел. // Материалы Международной конференции по математической логике, посвященной 90-летию со дня рождения А.И.Мальцева. Тезисы докладов. Новосибирск: Институт дискретной математики и информатики, 1999. С. 34-35. 
  34. Косовский Н.К., Ярославский В.В. Систематезация индивидуальных знаний при обучении. // Информационные технологии в гуманитарных науках (Казань, 1999). Сборник докладов. Казань, "Хэтер",1999. С. 118-121. 
  35. Алексеев Б.Т., Косовский Н.К., Селеджи С.М. Рациональность, традиции, творчество и эвристика. // Научная рациональность и структуры повседневности. Тезисы научной конференции. С.-Петербург, 1999. С. 69-70. 
  36. Косовский Н.К., Ярославский В.В. Многоагентная фактографическая логика средних для поиска в сети. // VII Международная конференция "Математика, компьютер, образование". Тезисы. С.169. 
  37. Косовский Н.К. Элементарные теории чисел ограниченной длины. // Материалы VI Общероссийской научной конференции "Проблемы теории, истории и применения в науке". Изд-во С.-Петербургского университета. 2000. С. 201-201. 
  38. Косовский Н.К., Хитров Д.В. Сетевая система поддержки решения нестандартных задач. // Искусственный интеллект, N 2, 2000. Институт проблем искусственного интеллекта, Донецк. C.82-89. 
  39. Косовский Н.К., Хитров Д.В. Сетевая система поддержки решения нестандартных задач. // Тезисы докладов Международной научной конференции "Интеллектуализация обработки информации". Симферополь, 2000. С. 39. 
  40. Косовский Н.К., Тишков А.В. Логики конечнозначных предикатов на основе неравенств. Изд-во С.-Петербургского университета, 2000. 268 с. 
  41. Косовский Н.К., Хитров Д.В. Использование Интернет для поддержки результативности инновационной деятельности. // Тезисы докладов Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ". Новороссийск, 2000. С. 76-77. 
  42. Beauquier D., Kossovski N., Smirnova E. An algorithm for solvsbility testing of elementary linear inequalities systems.// Abstracts of the 6th IMACS International IMACS Conference on Applications of Computer Algebra. St.Petersburg, 2000. P. 59-61. 
  43. Косовский Н.К., Ярославский В.В. Систематезация индивидуальных знаний при обучении. // Информационные технологии в гуманитарных науках. Сборник докладлв. Казань, Казанский государственный университет, 1999. С. 118-121. 
  44. Смирнова Е.С., Косовский Н.К. Алгоритм проверки разрешимости систем элементарных неравенств. // Материалы четвертой молодежной научной школы по дискретной математике и ее приложениям. Москва, МГУ, мех-мат, 2000. С. 74-80. 
  45. Косовский Н.К., Прокофьева Е.В. Разрешимая элементарная аналитическая геометрия. // VII С.Петербургская Международная Конференция "Региональная Информатика-2000". Тезисы докладов. СПб, 2000. С. 8-9. 
  46. Косовский Н.К., Прокофьева Е.Ю. Реализация алгоритма разрешимости теории вещественного сложения. // VII С.Петербургская Международная Конференция "Региональная Информатика-2000". Тезисы докладов. СПб, 2000. С. 4-5. 
  47. Косовский Н.К., Смирнова Е.С. Компьютерная система построения доказательств. // VII С.Петербургская Международная Конференция "Региональная Информатика-2000". Тезисы докладов. СПб, 2000. С. 10-11. 
  48. Косовский Н.К. Логические временные спецификации о компьютерных данных скалярного типа. // Труды IV Международной конференции "Дискретные модели в теории управляющих систем". М., "МАКС Пресс", 2000. С. 48-49. 
  49. Косовский Н.К. Дискретность в математике.// Компьютерные инструменты в образовании. N 5, 2000. Спб. С. 8-12.

Кафедра информатики  |  Личные страницы сотрудников  |  English version  |  Наверх  |