Косовский Николай Кириллович

Профессор, доктор физико-математических наук Заведующий кафедрой информатики математико-механического факультета Санкт-Петербургского государственного университета. Его исследования связаны с теорией сложности алгоритмов, логическим программированием, искусственным интеллектом (логические методы, эвристический поиск). Последние международные конференции (до 1996 г.) вне России, в которых он принимал участие: 10-ая Международная Конференция по логическому программированию (Венгрия, 1993), Логический Коллоквиум 94 (Франция, 1994), Ежегодная Конференция Европейской Ассоциации Логики Информатики (Польша, 1994 и Германия, 1995). Его имя известно таким математикам как Martin Davis (США), Denis Richard (Франция), Henk Bardregt (Нидерланды), Jerzy Tiuryn (Польша), Igor Walukiewicz (Польша), Paul Voda (Словакия), Costike Cazacu (Румыния), Dimitr Scordev (Болгария). В данный момент под руководством Косовского Н.К. ведется разработка системы, использующей технологии Интернет для применения и разработки методов решения нестандартных задач.

Научные публикации

Косовский Н.К. Элементарные теории чисел ограниченной длины. // Материалы VI Общероссийской научной конференции "Проблемы теории, истории и применения в науке". Изд-во С.-Петербургского университета. 2000. С. 201-201.

Косовский Н.К., Хитров Д.В. Сетевая система поддержки решения нестандартных задач. // Искусственный интеллект, N 2, 2000. Институт проблем искусственного интеллекта, Донецк. C.82-89.

Косовский Н.К., Хитров Д.В. Сетевая система поддержки решения нестандартных задач. // Тезисы докладов Международной научной конференции "Интеллектуализация обработки информации". Симферополь, 2000. С. 39.

Косовский Н.К., Тишков А.В. Логики конечнозначных предикатов на основе неравенств. Изд-во С.-Петербургского университета, 2000. 268 с.

Косовский Н.К., Хитров Д.В. Использование Интернет для поддержки результативности инновационной деятельности. // Тезисы докладов Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ". Новороссийск, 2000. С. 76-77.

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.

Косовский Н.К., Ярославский В.В. Систематезация индивидуальных знаний при обучении. // Информационные технологии в гуманитарных науках. Сборник докладлв. Казань, Казанский государственный университет, 1999. С. 118-121.

Смирнова Е.С., Косовский Н.К. Алгоритм проверки разрешимости систем элементарных неравенств. // Материалы четвертой молодежной научной школы по дискретной математике и ее приложениям. Москва, МГУ, мех-мат, 2000. С. 74-80.

Косовский Н.К., Прокофьева Е.В. Разрешимая элементарная аналитическая геометрия. // VII С.Петербургская Международная Конференция "Региональная Информатика-2000". Тезисы докладов. СПб, 2000. С. 8-9.

Косовский Н.К., Прокофьева Е.Ю. Реализация алгоритма разрешимости теории вещественного сложения. // VII С.Петербургская Международная Конференция "Региональная Информатика-2000". Тезисы докладов. СПб, 2000. С. 4-5.

Косовский Н.К., Смирнова Е.С. Компьютерная система построения доказательств. // VII С.Петербургская Международная Конференция "Региональная Информатика-2000". Тезисы докладов. СПб, 2000. С. 10-11.

Косовский Н.К. Логические временные спецификации о компьютерных данных скалярного типа. // Труды IV Международной конференции "Дискретные модели в теории управляющих систем". М., "МАКС Пресс", 2000. С. 48-49.

Косовский Н.К. Дискретность в математике.// Компьютерные инструменты в образовании. N 5, 2000. Спб. С. 8-12. и другие научные работы.

---