Содержание:


На главную
страницу

На персональную страницу

Что такое дедукция?

Курс лекций по логике и математике

Статья "С чем идет современная логика в XXI век?"

Книга "Феномен нового знания: постижение истины или сотворение мифа?"

Воспоминания Л.П. Крайзмера

Статья И.А. Рябинина по истории ЛВА

Гостевая книга
Принимаются любые жалобы и предложения, но лучше по теме сайта.




© Б.А. Кулик, 2006

Дизайн:
Н. Клейменова, 2005

Статьи


  1. Кулик Б.А. Система поиска слов в произвольном тексте // Программирование. - 1987. No 1. C. 49-50.

  2. Кулик Б.А., Рахов Э.В. Программное обеспечение некоторых классов нечисловых задач на основе матричного представления. // Программирование. - 1988. No 2. C. 216- 31.

  3. Кулик Б. А. Система логического программирования на основе алгебры кортежей // Изв. РАН. Техн. кибернетика. - 1993. - No 3. - С. 226-239.

  4. Kulik B.A. A Logic Programming System Based on Cortege Algebra. - Journal of Computer and Systems Sciences International, 1995, Vol.33, No.2, pp.159-170.

  5. Кулик Б. А. Новые классы КНФ с полиномиально распознаваемым свойством выполнимости // Автоматика и телемеханика. - 1995. - No 2. - С. 111-124.

  6. Kulik B.A. New Classes of Conjunctive Normal Forms with a Polynomially Recognizable Property of Satisfiability. - Automation and Remote Control, 1995, Vol.56, No.2 Pt2, pp.245-255.

  7. Кулик Б. А. Представление логических систем в вероятностном пространстве на основе алгебры кортежей. 1. Основы алгебры кортежей//Автоматика и телемеханика. - 1997 - No 1. - С. 126-136.

  8. Кулик Б. А., Наумов М. В. Представление логических систем в вероятностном пространстве на основе алгебры кортежей. 2. Измеримые логические системы//Автоматика и телемеханика. - 1997. - No 2. - С. 169-179.

  9. Kulik B.A. Representation of Logical Systems in a Probabilistic Space in Terms of Cortege Algebra. 1 Elements of cortege algebra.// Automation and Remote Control, 1997, Vol.58, No.1 Pt2, pp.102-114.

  10. Kulik B.A., Naumov M.V. Representation of Logical Systems in a Probabilistic Space in Terms of Cortege Algebra. 2.Measurable logical systems. // Automation and Remote Control, 1997, Vol.58, No.2 Pt2, pp.290-298.

  11. Кулик Б. А. Основные принципы философии здравого смысла (познавательный аспект) // Новости искусственного интеллекта - 1996 - No 3. С. 7-92.

  12. Кулик Б.А. Программа для моделирования и анализа естественных рассуждений. // Компьютерные инструменты в образовании, 1998, No 2, с. 55 - 63.

  13. Кулик Б.А. А если заглянуть в третье тысячелетие? // Новости РФФИ, 1998. No 2(5).

  14. Кулик Б.А. Есть ли логика в современном образовании ? // Новости РФФИ, 1988. No 7(10)

  15. Кулик Б.А. С чем идет современная логика в XXI век? Вестник РФФИ, No 3(21), 2000.

  16. Кулик Б.А. Анализ надежности систем с многими состояниями на основе алгебры кортежей // Автоматика и телемеханика, 2003, № 7. С. 13-18.

  17. Кулик Б.А. Вероятностная логика на основе алгебры кортежей // Известия РАН. Теория и системы управления. - 2007. No 1. C. 118-127.

  18. Кулик Б.А. Обобщенный подход к моделированию и анализу интеллектуальных систем на основе алгебры кортежей . // Труды VI Международной конференции «Идентификация систем и задачи управления» SICPRO’07 (Москва, 29 января – 1 февраля 2007 г.). С. 679-715.

На персональную страницу
 
Хостинг от uCoz