RAE.RU
Энциклопедия
ИЗВЕСТНЫЕ УЧЕНЫЕ
FAMOUS SCIENTISTS
Биографические данные и фото 15779 выдающихся ученых и специалистов
Логин   Пароль  
Регистрация Забыли пароль?
 

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


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

Учёная степень: доктор физико-математических наук

Ученое звание: профессор

Научное направление: Физико-математические науки

Регион: Санкт-Петербург

Индекс цитирования научной биографии: 3 (по количеству внешних ссылок)

Рейтинг: 39 (по количеству просмотров анкеты за последний месяц)

СЕРТИФИКАТ участника энциклопедии "Известные Ученые"

Профессор, доктор физико-математических наук Заведующий кафедрой информатики математико-механического факультета Санкт-Петербургского государственного университета. Его исследования связаны с теорией сложности алгоритмов, логическим программированием, искусственным интеллектом (логические методы, эвристический поиск). Последние международные конференции (до 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. и другие научные работы.

 

Последняя редакция анкеты: 23 мая 2010, 22:29

Получить код для установки баннера на сайте, в блоге

Предлагаем вашему вниманию журналы, издающиеся в издательстве «Академия Естествознания”
(Высокий импакт-фактор РИНЦ, тематика журналов охватывает все научные направления)

«Современные проблемы науки и образования» список ВАК, ИФ РИНЦ = 0.953

«Фундаментальные исследования» список ВАК, ИФ РИНЦ = 1.094

«Современные наукоемкие технологии» список ВАК, ИФ РИНЦ = 0.725

«Успехи современного естествознания» список ВАК, ИФ РИНЦ = 0.869

«Международный журнал прикладных и фундаментальных исследований», ИФ РИНЦ = 0.800

«Международный журнал экспериментального образования», ИФ РИНЦ = 0.469

«European journal of natural history», ИФ РИНЦ = 0.864

«Международный студенческий научный вестник», ИФ РИНЦ = 0.445

«Рациональное питание, пищевые добавки и биостимуляторы»

Издание научной и учебно-методической литературы, ISBN, РИНЦ, DOI