Библиография Катречко С. Л. по логике, теории поиска вывода 1990 1995 - umotnas.ru o_O
Главная
Поиск по ключевым словам:
страница 1
Похожие работы
Название работы Кол-во страниц Размер
Библиография Катречко С. Л. по трансцендентальной философии : = 1990... 1 85.7kb.
Колмогоров Андрей Николаевич 1 96.53kb.
Краткий словарь по логике. М., 1991 Новая философская энциклопедия. 1 214kb.
«Учебная библиография по общей социологической теории. Русскоязычные... 1 103.24kb.
Учебно-методическое и информационное обеспечение дисциплины: а основная... 1 19.54kb.
Дубна (унц) аспиранты 2003/2004 преп. Катречко С. Л 1 237.82kb.
Проблемы становления информационной парадигмы в экономической теории 1 189.39kb.
Приложение №1 поисковые системы rambler 1 17.49kb.
Лекция №1 Истоки квантовой теории 3 668.06kb.
Закон тождества и несовместимость суждений в логике и в аргументации. 1 16.34kb.
Исследование эффективности поиска сведений в Интернете темы «Форматы... 1 43.76kb.
Рабочая программа дисциплины исследование систем управления направление... 2 563.09kb.
Викторина для любознательных: «Занимательная биология» 1 9.92kb.

Библиография Катречко С. Л. по логике, теории поиска вывода 1990 1995 - страница №1/1



Библиография Катречко С.Л. по логике, теории поиска вывода
== 1990 — 1995 ==


  1. Катречко С.Л. Модификация обратного метода С.Ю. Маслова //Материалы Х Всесоюзной конференции по логике, методологии и философии науки. — Минск, 1990. С.13 – 14. (http://www.philosophy.ru/library/ksl/katr_101.html)

  2. Катречко С.Л. Моделирование правила расщепления в обратном методе С.Ю. Маслова //Логические методы в компьютерных науках. М., ИФ РАН. 1992. — С.125 – 141.

  3. Katretchko S. Frege's system and proof-search theory //Abstracts of Russian conference «Frege's and Hilbert's heritage in the XX-th centure: logic, philosophy and mathematics». Kaliningrad, 1992. p. 11. (http://www.philosophy.ru/library/ksl/kate002.html + http://www.philosophy.ru/library/ksl/katr_102.html (рус)).

  4. Катречко С.Л. Логический анализ интеллектуальных систем с метапроцедурами //Автореферат диссертации на соискание научной степени к. филос. н. — М., ИФ РАН. 1992 (http://www.philosophy.ru/library/ksl/katr_103.html) = (S.L. Katrechko BETWEEN LOGIG AND HEURISTIC (Prolegomena to Ph.D. thesis "Logical analysis of intellectual systems with metalevel means" (http://www.philosophy.ru/library/ksl/kate001.html).

  5. Катречко С.Л. Введение в логику (программа курса). — М., МГУ. 1993. = см. обновленный вариант программы (№40): http://www.philosophy.ru/edu/cur/log_katr.html =.

  6. Катречко С.Л. От логических исчислений к интеллектуальным системам: введение в теорию поиска вывода (программа курса). — М., МГУ. 1994. 21 с.

  7. Katrechko S.L. Platon Sergeevich Poretskij (october) //Modern Logic Calendar,1995. USA, Modern Logic Publishing, 1994. (http://www.philosophy.ru/library/ksl/kate003.html + http://www.philosophy.ru/library/ksl/katr_104.html (рус))

  8. Катречко С.Л. Исчисления поиска вывода с «условной дизъюнкцией» //Материалы XI Международной конференции "Логика, методология, философия науки, Москва — Обнинск. 1995. Т. 2. (http://www.philosophy.ru/library/ksl/katr_105.html)

  9. Катречко С.Л. Логика и теория поиска вывода //Наука и философия на рубеже тысячелетий: перспективы и горизонты (тезисы док. и выст. Всерос. научн. конф.). Курск, 1995 (http://www.philosophy.ru/library/ksl/katr_106.html).

  10. Катречко С.Л. Обратный метод С.Ю. Маслова //Логика и компьютер 2: логические языки, содержательные рассуждения и методы поиска доказательства. — М.: Наука, 1995. — с.62 – 75 — http://www.philosophy.ru/library/ksl/katr_107.doc

  11. Катречко С.Л. Интеллектуальный бектрекинг //Логические исследования. Вып.3. — М.: Наука, 1995. — с.187 – 205


= 1996 — 1997 =


  1. Катречко С.Л. Доклад. Искусственный интеллект versus моделирование сознания //Доклад на семинаре «Естественный и искусственный интеллект» факультета информатики РГГУ (кафедра математических основ информатики); 20.05.96 (http://www.philosophy.ru/library/ksl/katr_009.html)

  2. Катречко С.Л. (в соавт.: Ю.Ю.Петрунин, Д.В.Царьков) Использование интеллектуальных систем при принятии решений //Проблемы управления в контексте гуманитарной культуры. — М., «Университетский гуманитарный лицей», 1997. с. 65 – 66.

  3. Царьков Д.В., Катречко С.Л. Об одном алгоритме приведения пропозициональных формул к д. ф. н. //Международная конференция (1-ые) «Смирновские чтения». — М., 1997.

  4. Катречко С.Л. Обратный метод С.Ю. Маслова и моделирование сознания //Международная конференция (1-ые) «Смирновские чтения». — М., 1997 (см. английский on-line вариант: http://www.philosophy.ru/library/ksl/kate004.html + http://www.philosophy.ru/library/ksl/katr_109.html (рус)).

  5. Катречко С.Л. От логики к теории поиска вывода //Международная конференция «Развитие логики в России: итоги и перспективы». Тезисы докладов и сообщений. — М.: «Логос», 1997. (http://www.philosophy.ru/library/ksl/katr_110.html)

  6. Katretchko S.L. Between logic and computer heuristic //Proceedings ICI & C’ 97, June 9 –13 1997. — St. Peterburg, Russia, 1997 (V.2, P.506– 509) = http://www.philosophy.ru/library/ksl/kate008.html.

  7. Катречко С.Л. К методологии построения интеллектуальных систем //Логическое кантоведение — 4: Тезисы докладов Международного семинара. — Калининград, 1997. (http://www.philosophy.ru/library/ksl/katr_111.html)

  8. Катречко С.Л. Бесконечность и теория поиска вывода //Бесконечность в математике: философские и исторические аспекты. — М., «Янус-К», 1997. — с.190 – 196 (+ см. мои комментарии к статьям другим авторов: 258 (Б), 282 (Г), 324 (Р) (http://www.philosophy.ru/library/ksl/katr_010.html)

  9. Катречко С.Л. Введение в логику (программа курса). — М., Изд-во УРАО, 1997. = http://www.philosophy.ru/edu/cur/log_katr.html =

  10. Катречко С.Л. Доклад/Элект.текст. Интеллектуальные системы на базе обратного метода С.Ю. Маслова //Человек — Философия — Гуманизм: Тезисы докладов и выступлений 1 Российского философского конгресса (4 – 7 июня 1997); секция «логика и философская логика» (http://www.philosophy.ru/library/ksl/katr_112.html).

  11. Катречко С.Л. Электр.текст. От логических исчислений к интеллектуальным системам (на базе обратного метода С. Маслова) //Итоговый отчет по гранту РГНФ (10.12.1997; "От логических исчислений к интеллектуальным системам" № 96-03-04143; 1996 — 1997; + Петрунин, Царьков); отчет + программа: http://www.philosophy.ru/library/ksl/katr_113.html


= 1998 — 1999 =

  1. Katretchko S.L. Between Logic and Heuristic //Proceedings 20th World Congress of Philosophy (August, 1998). — (http://www.bu.edu/wcp/Papers/Logi/LogiKatr.htm; посланы 31.08.97; см. исходный: http://www.philosophy.ru/library/ksl/kate001.html — № 7 + http://www.philosophy.ru/library/ksl/kate008.html).

  2. Катречко С.Л. От логики к теории поиска вывода //2–е «Смирновские чтения», Международная конференция. — М., Изд-во ИФ РАН, 1999.

  3. Katretchko S. From logic to proof-search theory //Proceed. XI LMPS’ 99. — Cracow, 1999 (http://www.philosophy.ru/library/ksl/kate008.html).


= 2000 — 2002 гг. =

  1. Катречко С.Л. Онтология и логика: к вопросу об онтологической классификации логических систем //Современная логика: Проблемы теории, истории и применения в науке (Материалы VI Международной конференции научной конференции), СПб, 2000. — c. 44 — 47 (секция "Философия и логика», 0.16 п.л. (6472).

  2. Катречко С.Л. Опыт соотнесения онтологических категорий и модальностей //Смирновские чтения. 3-я Международная конференция; — М., ИФ РАН; 05.2001. с. 128 – 130 (0.12 п.л. 4672 зн.)

  3. Катречко С.Л. Расселовский парадокс брадобрея и диалектика Платона – Аристотеля //Современная логика: Проблемы теории, истории и применения в науке (Материалы VII Международной конференции научной конференции 20 — 22 июня 2002 г.), СПб, 2002.; с. 239 – 242 (секция "Логическая семантика", март 2002); – 0.2. п.л. www.philosophy.ru/library/physics/paradox1.doc.

  4. Катречко С.Л. (соавт.) К вопросу о различении отрицаний //Современная логика: Проблемы теории, истории и применения в науке (Материалы VII Международной конференции научной конференции 20 — 22 июня 2002 г.), СПб, 2002.; с. 278 – 280 (сек. "Логика и философия", март 2002);


==2003 — 2004 гг. ==

  1. Катречко С.Л. Об одном — «человеческом» — способе использования метода аналитических (семантических) таблиц //Смирновские чтения. 4 Международная конференция. М., ИФ РАН, май 2003 г. с. 134 – 136.

  2. Катречко С.Л. Формальная и трансцендентальная логика //Современная логика: проблемы теории, истории и применения в науке (Материалы VIII Общероссийской научной конференции, СПб, июнь 2004 г.; сек. "Логика и философия"), подг. 31 марта 2004.


= 2005 — 2006 гг. =

  1. Катречко С.Л. Кантовская концепция сознания (познания) как модель «искусственного интеллекта» //ВСЕРОССИЙСКАЯ МЕЖДИСЦИПЛИНАРНАЯ КОНФЕРЕНЦИЯ ФИЛОСОФИЯ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА (Москва, 17 – 19 января 2005 г); сек. «Эпистемологические, методологические и логические вопросы моделирования интеллекта» 0.22 п.л. 10.11.2004. = Философия искусственного интеллекта. Материалы Всероссийской междисциплинарной конференции, г. Москва, МИЭМ, 17-19.01. 2005 г. — М., ИФ РАН, 2005г. с.178 – 181 (http://www.aintell.info/elib/w2/1.pdf; (ISBN 5-9540-0022-0) // http://aintell.info/default.asp?p0=3&p1=164&p2=8701)

  2. Катречко С.Л. Кантовская концепция сознания (познания) как модель «искусственного интеллекта» //Новое в искусственном интеллекте. Методологические и теоретические вопросы. Под ред. Д.И. Дубровского и В.А. Лекторского – М.: ИИнтеЛЛ, 2005. – 280 с. – C.137 – 140 (ISBN 5-98956-001-X / http://aintell.info/default.asp?p0=3&p1=164&p2=8824) = см. в 2006 публикацию расширенного текста.

  3. Катречко С.Л. (соавт.) Искусственный интеллект и моделирование сознания //Философия искусственного интеллекта. Материалы Всероссийской междисциплинарной конференции, г. Москва, МИЭМ, 17-19 января 2005 г. — М., ИФ РАН, 2005 г. с.323 — 327. (секция « Эпистемологические, методологические и логические вопросы моделирования интеллекта» 0.22 п.л. 10.11.2004).

  4. Катречко С.Л. Трансцендентальная (кантовская) модель сознания как новая парадигма «искусственного разума» //Искусственный интеллект: междисциплинарный подход (под. ред. В.А. Лекторского, Д.И. Дубровского). — М.: ИИнтеЛЛ, 2006. — с.276 – 289 http://aintell.info/default.asp?p0=3&p1=164&p2=9067 ; http://www.philosophy.ru/library/katr/my_text/katr_kantcogn2006.doc ISBN 5-98956-005-2); = Расширенный вариант тезисов на конф. 2005: «Кантовская концепция познания (сознания)» (http://www.philosophy.ru/library/katr/kant_cogn.html); написан в 15.01.2006 г.;

  5. Катречко С.Л. (соавт.) Парадигма «искусственного разума» как порождающая модель понятий (тезисы для молодежной конференции по ИИ; 28.02.2006; с грифом «РГНФ № 06–03-00197a») //Искусственный интеллект: философия, методология, инновации. Мат 1–ой Всероссийской конф. студ., асп. и мол.ученых, г. Москва, МИРЭА, 6 – 8 апреля 2006 г. — М., ИИнтеЛЛ, 2006. — с.47 – 51 (ISBN 5-98956-003-6 // http://aintell.info/default.asp?p0=3&p1=164&p2=8899).

  6. Катречко С.Л. Логический вывод и кантовская модель порождения новых понятий //Современная логика: Проблемы теории, истории и применения в науке (Материалы IX Общероссийской научной конференции, СПб, 22–24.06.2006 г.; сек. "Символ. логика"), с. 364 — 367. Катречко С.Л. (соавт.) Классическая проблема универсалий и ее эпистемологическая модификация //Современная логика: Проблемы теории, истории и применения в науке (Материалы IX Общероссийской научной конференции, СПб, 22–24.06.2006 г.; сек. "Лог. и фил."), с. 43 – 45.

  7. Катречко С.Л. (соавт) Современный взгляд на проблему универсалий //Современная логика: Проблемы теории, истории и применения в науке (Материалы IX Общероссийской научной конференции, СПб, 22–24.06.2006 г.; сек. "Логическая семантика"), с. 325 — 328.

  8. Катречко С.Л. Доклад. История и предмет логики: природа логического //Текст доклада на Международный круглый стол «История логики: школы и перспективы», Киев (Киевский национальный университет им. Т.Шевченко), 16 ноября 2006; — 0.6 п.л. (изд. 2006/07?); (см. расширенный текст (сборка несколькоих тезисов): = Что такое логика? Формальная и трансцендентальная логика (zip-Word) ==текст/тезисы опубликованы в 2008 г.: Катречко С.Л. История и предмет логики: природа логического //Историко-логические исследования: сборник научных статей/ под ред. А.Е. Конверского. – К.: Издательско-полиграфический центр "Киевский университет", 2008. – 184с. — С. 67 - 75.


= 2007 г. =

  1. Катречко С.Л. Генезис понятий: схематизм и метафора //Смирновские чтения по логике. Материалы 5-ой Международной конференции (20–22 июня). — М.: ИФРАН, 2007, с. 80 – 82.

  2. Катречко С.Л. (соавт.) Слоистая онтология смысла //Смирновские чтения по логике. Материалы 5-ой Международной конференции (20–22 июня). — М.: ИФРАН, 2007, с. 82 – 84

  3. Катречко С.Л. Трансцендентальная философия математики //Философия математики: актуальные проблемы. Материалы Международной научной конференции 15 – 16 июня 2007. — М.: изд. Савин С.А., 2007, с. 31 – 34.

  4. Катречко С.Л. (соавт.) Кантовы основания программ обоснования математики //Философия математики: актуальные проблемы. Материалы Международной научной конференции 15 – 16 июня 2007. — М.: изд. Савин С.А., 2007, с. 69 – 72.

  5. Катречко С.Л. (соавт) Искусственный интеллект, проблемы qualia и квантовая механика //Искусственный интеллект: философия, методология, инновации. Материалы второй межд. молодежной конференции. Санкт-Петербург. 15-17 ноября 2007 г. - СПб., 2007 — с.173 – 177.


= 2008 гг. =

  1. Катречко С.Л. Преподавание логики как теоретической и практической дисциплины //Проблемы преподавания логики и дисциплин логического цикла: Международная научно-практическая конференция (15-16 мая 2008 года; «Проблемы преподавания логики и дисциплин логического цикла – 2»): Материалы докладов. - К.: Издательско-полиграфический центр "Киевский университет", 2008. - 199с. — С.17 – 19.

  2. Катречко С.Л. К вопросу о холистской логике смысла //Современная логика: Проблемы теории, истории и применения в науке (Материалы X Общероссийской научной конференции, СПб, 26–28.06.2008 г), — с. 353 – 355.


= 2009 г. =


  1. Катречко С. Л. Теоретико-множественная парадигма современной математики и ее возможные альтернативы //Философия математики: актуальные проблемы: Тезисы второй международной научной конференции; 28 — 30 мая 2009 г. (ред.: В.И.Маркин и др.). — М.: МАКС Пресс, 2009 (ISBN 978 – 5 – 317 – 02836 – 7). — с. 19 – 22.

  2. Катречко С.Л., Рустанович С.Н., Борчиков С.А. Коллизии теории множеств: канторовское множество vs. расселовский класс //Философия математики: актуальные проблемы: Тезисы Второй международной научной конференции; 28 — 30 мая 2009 г. (ред.: В.И.Маркин и др.). — М.: МАКС Пресс, 2009 (ISBN 978 – 5 – 317 – 02836 – 7). — с.128 – 130.

  3. Катречко С.Л. Логика как выражение метафизики языка //Шестые Смирновские чтения: материалы Международной научной конференции (17–19 июня 2009 г.). — М.: Современные тетради, 2009. — 170 – 172.


= 2010 =

  1. Катречко С.Л. Доклад. Мета-философский подход к философии математики: математика как "работа" с абстрактными объектами //Москов. Сем. по фил. математики, 18 июня 2010.

  2. Катречко С.Л. Трансцендентализм Канта и логическое знание: как возможна логика? //Современная логика: проблемы теории и истории. Мат. XI Межд. научн. конф. Санкт–Петербург, 24 – 26 июня 2010. — СПб, 2010. — с. 185 – 188 (тез.).

  3. Катречко С.Л. Заметки к круглому столу «Аргументация и рассуждение» //Модели рассуждений – 4: Аргументация и риторика. Калининград: Изд–во РГУ им. И.Канта, 2010 (в печ., дек. 2010).

  4. Катречко С.Л. Трансцендентальная и воображаемая логика: точки соприкосновения //Труды Математического центра имени Н. И. Лобачевского: Мат. Международной научной конференции «“Воображаемая логика” Н. А. Васильева и современные неклассические логики»; Казань, 11 – 15 октября 2010 г. — Казань: Казан. мат. об-во., 2010. – Т.41. — с. 67 – 69 (тез; http://www.nclogic2010.ksu.ru/index.php).


= 2011 =


  1. Катречко С.Л. Абстрактная природа логико-математического знания и приращение информации (http://vfc.org.ru/bitrix/tools/form_show_file.php?rid=643&hash=884d859710a3a58fe460703ee26d610e&lang=ru&action=download) //Седьмые Смирновские чтения: материалы Международной научной конференции (22–24 июня 2009 г.). — М.: Современные тетради, 2011. — 176 – 178 (http://vfc.org.ru/rus/events/conferences/smirnov2011/members/).