Standard

Н. А. Шанин и подготовка специалистов по логике на философском факультете СПбГУ. / Караваев, Эдуард Федорович.

в: Философский полилог: журнал Международного центра изучения русской философии, № 1 (5), 2019, стр. 123-138.

Результаты исследований: Научные публикации в периодических изданиях › статья

Harvard

Караваев, ЭФ 2019, 'Н. А. Шанин и подготовка специалистов по логике на философском факультете СПбГУ.', Философский полилог: журнал Международного центра изучения русской философии, № 1 (5), стр. 123-138. <http://elibrary.ru/item.asp?id=39375094>

APA

Караваев, Э. Ф. (2019). Н. А. Шанин и подготовка специалистов по логике на философском факультете СПбГУ. Философский полилог: журнал Международного центра изучения русской философии, (1 (5)), 123-138. http://elibrary.ru/item.asp?id=39375094

Vancouver

Караваев ЭФ. Н. А. Шанин и подготовка специалистов по логике на философском факультете СПбГУ. Философский полилог: журнал Международного центра изучения русской философии. 2019;(1 (5)):123-138.

Author

Караваев, Эдуард Федорович. / Н. А. Шанин и подготовка специалистов по логике на философском факультете СПбГУ. в: Философский полилог: журнал Международного центра изучения русской философии. 2019 ; № 1 (5). стр. 123-138.

BibTeX

@article{d786ebf8cba045b3a7d9743bd299bf6f,
title = "Н. А. Шанин и подготовка специалистов по логике на философском факультете СПбГУ.",
abstract = "В статье рассмотрены становление и развитие парадигмы преподавания математической (символической) логики студентам-философам СПбГУ в период с 1991 по 2000 гг. Ее создателем и ведущим исполнителем был Н. А. Шанин (1919-2011). Многие логики учились у него и его ближайших учеников И. Н. Бродского и О. Ф. Серебрянникова. Шанин читал общие курсы «Математика для философов» и «Математическая логика», а также спецкурсы «Алгоритмы и рекурсивные функции», «Машины Тьюринга», «Теория алгорифмов», «Конструктивная логика», вел семинары «Логика в проблемах искусственного интеллекта», «Дедуктивные системы», «Теория дедуктивных систем и ее применения». Шанин активно участвовал в научной работе, выступал с докладами на научных конференциях. В ежегодных Днях Петербургской философии совместно участвуют представители и «математического» и «философского классов» шанинской школы. Также они принимают участие в конференциях, организуемых математическими логиками С.-Петербургского отделения Математического института им. В. А. Стеклова",
keywords = "algorithm, constructive logic, deductive system, mathematical (symbolic) logic, N. A. Shanin, turing machine, алгорифм, дедуктивная система, конструктивная логика, математическая (символическая) логика, машина Тьюринга, Н. А. Шанин, algorithm, constructive logic, deductive system, mathematical (symbolic) logic, N. A. Shanin, turing machine, алгорифм, дедуктивная система, конструктивная логика, математическая (символическая) логика, машина Тьюринга, Н. А. Шанин",
author = "Караваев, {Эдуард Федорович}",
year = "2019",
language = "русский",
pages = "123--138",
journal = "Философский полилог",
issn = "2587-7283",
publisher = "Международный центр изучения русской философии",
number = "1 (5)",

}

RIS

TY - JOUR

T1 - Н. А. Шанин и подготовка специалистов по логике на философском факультете СПбГУ.

AU - Караваев, Эдуард Федорович

PY - 2019

Y1 - 2019

N2 - В статье рассмотрены становление и развитие парадигмы преподавания математической (символической) логики студентам-философам СПбГУ в период с 1991 по 2000 гг. Ее создателем и ведущим исполнителем был Н. А. Шанин (1919-2011). Многие логики учились у него и его ближайших учеников И. Н. Бродского и О. Ф. Серебрянникова. Шанин читал общие курсы «Математика для философов» и «Математическая логика», а также спецкурсы «Алгоритмы и рекурсивные функции», «Машины Тьюринга», «Теория алгорифмов», «Конструктивная логика», вел семинары «Логика в проблемах искусственного интеллекта», «Дедуктивные системы», «Теория дедуктивных систем и ее применения». Шанин активно участвовал в научной работе, выступал с докладами на научных конференциях. В ежегодных Днях Петербургской философии совместно участвуют представители и «математического» и «философского классов» шанинской школы. Также они принимают участие в конференциях, организуемых математическими логиками С.-Петербургского отделения Математического института им. В. А. Стеклова

AB - В статье рассмотрены становление и развитие парадигмы преподавания математической (символической) логики студентам-философам СПбГУ в период с 1991 по 2000 гг. Ее создателем и ведущим исполнителем был Н. А. Шанин (1919-2011). Многие логики учились у него и его ближайших учеников И. Н. Бродского и О. Ф. Серебрянникова. Шанин читал общие курсы «Математика для философов» и «Математическая логика», а также спецкурсы «Алгоритмы и рекурсивные функции», «Машины Тьюринга», «Теория алгорифмов», «Конструктивная логика», вел семинары «Логика в проблемах искусственного интеллекта», «Дедуктивные системы», «Теория дедуктивных систем и ее применения». Шанин активно участвовал в научной работе, выступал с докладами на научных конференциях. В ежегодных Днях Петербургской философии совместно участвуют представители и «математического» и «философского классов» шанинской школы. Также они принимают участие в конференциях, организуемых математическими логиками С.-Петербургского отделения Математического института им. В. А. Стеклова

KW - algorithm

KW - constructive logic

KW - deductive system

KW - mathematical (symbolic) logic

KW - N. A. Shanin

KW - turing machine

KW - алгорифм

KW - дедуктивная система

KW - конструктивная логика

KW - математическая (символическая) логика

KW - машина Тьюринга

KW - Н. А. Шанин

KW - algorithm

KW - constructive logic

KW - deductive system

KW - mathematical (symbolic) logic

KW - N. A. Shanin

KW - turing machine

KW - алгорифм

KW - дедуктивная система

KW - конструктивная логика

KW - математическая (символическая) логика

KW - машина Тьюринга

KW - Н. А. Шанин

M3 - статья

SP - 123

EP - 138

JO - Философский полилог

JF - Философский полилог

SN - 2587-7283

IS - 1 (5)

ER -

ID: 78534160