Методические материалы для оценки обучающимися содержания и качества учебного процесса
Анкета-отзыв на дисциплину
Просим Вас заполнить анкету-отзыв по дисциплине. Обобщенные данные анкет будут использованы для совершенствования курса дисциплины. По каждому вопросу поставьте соответствующие оценки по шкале от 1 до 10 баллов (обведите выбранный Вами балл). В случае необходимости впишите свои комментарии.
1. Насколько Вы удовлетворены раскрытием содержания дисциплины в целом?
1 2 3 4 5 6 7 8 9 10
Комментарий_________________________________________________
2. Насколько Вы удовлетворены общим стилем преподавания?
1 2 3 4 5 6 7 8 9 10
Комментарий_________________________________________________
3. Как Вы оцениваете предложенные методические материалы?
1 2 3 4 5 6 7 8 9 10
Комментарий_________________________________________________
4. Насколько Вам помогло использование преподавателями активных методов обучения (тесты, научно-исследовательская работа)?
1 2 3 4 5 6 7 8 9 10
Комментарий_________________________________________________
5. Какая(какие) из тем настоящей дисциплины Вы считаете для себя наиболее полезными с точки зрения дальнейшего обучения?
Комментарий_________________________________________________
6. Что бы Вы предложили изменить в методическом и содержательном плане для совершенствования преподавания данной дисциплины?
Комментарий_________________________________________________
СПАСИБО!
Кадровое обеспечение
Образование и (или) квалификация штатных преподавателей и иных лиц, допущенных к проведению учебных занятий
К чтению лекций должны привлекаться преподаватели, имеющие ученую степень кандидата или доктора наук (в том числе степень PhD, прошедшую установленную процедуру признания и установления эквивалентности) и/или ученое звание доцента или профессора. Преподаватели, привлекаемые к проведению практических занятий, должны иметь базовое образование и/или ученую степень, соответствующие профилю преподаваемой дисциплины.
|
|
|
Обеспечение учебно-вспомогательным и (или) иным персоналом
Для обеспечения учебного процесса не требуется учебно-вспомогательного персона-ла.
Материально-техническое обеспечение
Характеристики аудиторий (помещений, мест) для проведения занятий
Стандартно оборудованные лекционные аудитории.
Характеристики аудиторного оборудования, в том числе неспециализированного компьютерного оборудования и программного обеспечения общего пользования
Не предусмотрены.
Характеристики специализированного оборудования
Не предусмотрены.
Характеристики специализированного программного обеспечения
Специализированного программного обеспечения не требуется.
Перечень и объёмы требуемых расходных материалов
Расходных материалов не требуется.
|
|
|
Информационное обеспечение
Список обязательной литературы
Бочаров В. А., Маркин В. И. Основы логики. М., 2012.
Логика. / Под ред. А. И. Мигунова, И. Б. Микиртумова, Б. И. Фёдорова, М, «Проспект», 2010.
Символическая логика / Под ред. Я. А Слинина, Э. Ф. Караваева, А. И. Мигунова. СПб, 2005.
Списокдополнительнойлитературы
Andrews, Peter. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. 2nd ed. Kluwer Academic Publishers, 2002.
Handbook of Philosophical Logic.Vol. 1. Eds.: D.Gabbay, F.Guenthner. Springer, 2001.
Podnieks, Karl. Introduction to mathematical logic. http://www.ltn.lv/~podnieks/
Wilfrid Hodges. Classical Logic I: First Order Logic / Lou Goble, ed., The Blackwell Guide to Philosophical Logic. Blackwell, 2002.
Справочная книга по математической логике / Под ред. Дж. Барвайса. Часть 1. М., 1982.
Подниекс К. М. Вокруг теоремы Гёделя. Рига, «Зинанте», 1992. http://podnieks.id.lv/gt_rus/gram11.htm
Булос Дж., Джеффри Р. Вычислимость и логика. М., 1994.
Гильберт Д., Бернайс П. Основания математики. М., 1982. Т. 1.
Клини С. К. Математическая логика. М., 1973
Мендельсон Э. Введение в математическую логику. М., 1971.
Непейвода Н. Н. Прикладная логика. Ижевск, 1997.
Тейз А., Грибомон П. и др. Логический подход к исусственному интеллекту: От модальной логики к логике баз данных. Пер. с франц. по ред. Г.П.Гаврилова, М.: “Мир”, 1998.
Черч А. Введение в математическую логику. М., 1960.
Смирнова Е. Д. Логика и философия. М. РОССПЭН, 1996.
Смирнова Е. Д. Логическая семантика и философские основания логики. М.: МГУ, 1986.
|
|
|
Перечень иных информационных источников
Иных информационных источников не предусмотрено
Раздел 4. Разработчики программы
Микиртумов Иван Борисович проф. кафедры логики Института философии СПбГУ, i.mikirtumov@spbu.ru
Дата добавления: 2018-05-01; просмотров: 263; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!