WWW.KNIGA.LIB-I.RU
БЕСПЛАТНАЯ  ИНТЕРНЕТ  БИБЛИОТЕКА - Онлайн материалы
 

«Федеральное агентство по образованию Государственное образовательное учреждение высшего профессионального образования «Новосибирский государственный университет» (НГУ) Факультет ...»

Федеральное агентство по образованию

Государственное образовательное учреждение высшего профессионального образования

«Новосибирский государственный университет» (НГУ)

Факультет информационных технологий

Кафедра общей информатики

ПРОГРАММА

ДИСЦИПЛИНЫ ИСТОРИЯ И МЕТОДОЛОГИЯ ИНФОРМАТИКИ И ВТ

ЦИКЛ* ОПД — Общепрофессиональные дисциплины

НАПРАВЛЕНИЕ ПОДГОТОВКИ МАГИСТРОВ 230100.68 «ИНФОРМАТИКА И

ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА»

Автор Савостьянов Александр Николаевич, д.филос.н., Власов Дмитрий Юрьевич, к.ф.-м.н.

(ФИО, ученая степень, ученое звание) Новосибирск 2009 * Наименование цикла дисциплин в соответствии с ГОС ВПО Программа дисциплины «История и методология информатики и ВТ» составлена в соответствии с требованиями к обязательному минимуму содержания и уровню подготовки магистра по циклу «общепрофессиональных дисциплин» Федеральных государственных образовательных стандартов высшего профессионального образования по направлению 230100.68 «Информатика и вычислительная техника».

1. Цели и задачи дисциплины (курса)

Дисциплина (курс) «История и методология информатики и ВТ» имеет своей целью:

1) ознакомить студентов с основами методологии и философии науки,

2) сделать обзор основных разделов современной информатики и ВТ

Для достижения поставленной цели выделяются задачи курса:



1) прочитать вводный курс лекций о методологии и философии науки

2) осветить связь философии языка и основ информационных технологий

3) сделать обзор языков и парадигм программирования

4) провести обзорные реферативные доклады по основным разделам современной информатике и ВТ.

2. Требования к уровню освоения содержания дисциплины

В результате освоения дисциплины студент должен:

Иметь представление о: методологии и философии науки Знать: основные направления и разделы в информатике, их специфику и предмет Уметь: различать научное и ненаучное знание, оценивать применимость основных методов информатики в практической деятельности

3. Объем дисциплины и виды учебной работы Вид учебной работы Всего часов Общая трудоемкость дисциплины 100 ч

Аудиторные занятия, в том числе:

Лекции 51 ч Семинары 0ч Лабораторные работы 0ч

Самостоятельная работа, в том числе:

Курсовой проект 0ч Реферат 49 ч Расчетные работы 0ч

–  –  –

4. Содержание дисциплины

4.1 Новизна курса (научная, содержательная; сравнительный анализ с подобными курсами в России и за рубежом).

Курс является обобщением нескольких областей знаний: логика и методология науки, философия, лингвистические теории, информатика; и представляет собой методологическое развитие курсов, прочитанных студентам данной специальности на младших курсах. Данный курс объединяет и связывает воедино ключевые понятия общепрофессиональных дисциплин данной специальности. Курс безусловно является новым и основан на последних исследованиях авторов по методологии науки, философии, а также исследований в области языков и формальных представлений теорий.

–  –  –

4.3 Содержание разделов и тем курса.

Лекция 1. Введение.

Методология науки и ИТ.





Методология науки и техники – список задач (обоснование метода исследования, сопоставление различных методов, анализ структуры теории, разработка терминологического аппарата, оценка эффективности прикладного использования теории). Сопоставление методологии науки и философии науки (методология науки включена в философию науки как составная часть). Методология информатики и ее отношение к методологии других наук. Роль теории в современной информатике.

Методологический и исторический подходы к анализу информатики. Источники теоретических представлений в информатике – математика, философия языка, когнитивная психология, теория искусственного интеллекта.

Часть I. Анализ научной теории.

Лекция 2. Позитивистский подход к методологии науки.

Краткая история позитивизма – классический позитивизм (физика как основание для научной картины мира, понятие факта и проверки гипотезы, проблема доказательства в науке), второй позитивизм (проблема реальности знания, проблема согласованности научной картины мира, теория иероглифов), неопозитивизм (история течения, применение логики для анализа научной теории). Определение понятия «научная теория» в неопозитивизме (См. Гончаров, Ершов, Самохвалов. Введение в логику и методологию науки.) Объектная и предметная область.

Лекция 3. Эмпирическое и теоретическое знание.

Научная гипотеза.

Проблема существования объекта. Интерпретация. Теоретическая и эмпирическая часть теории. Первичная и вторичная эмпирия. Чисто эмпирическая теория.

Эмпирический и теоретический термин. Обогащение и расширение теории.

Консервативное расширение теории. Гипотеза. Сила гипотезы. Классификация высказываний по Р. Карнапу (логические, аналитические и синтаксические высказывания).

Лекция 4. Доказательство в научной теории.

Фальсификация и верификация (К. Поппер). Проблема эмпирического доказательства на бесконечных выборках. Фальсификационизм. Демаркация науки – научное и вненаучное знание. Догматические утверждения. Роль дедукции в научной теории. Проблема доказательств в информатике. Понятие истины научной гипотезы – корреспондентная и когерентная интерпретация понятия «истина» (А. Тарский). Теорема Тарского о невозможности определения понятия истина. Теорема Геделя о неполноте.

Проблема формализации теории.

Лекция 5. Развитие научной теории.

Эвристические решения проблемы. Классификации как пример эвристики в условиях неполноты данных. Назначение классификаций. Иерархические классификации

– область применение, понятия таксона, принцип непересекаемости классов, недостатки (наличие объектов, включенных одновременно в несколько классов). Коммутативные классификации. Классификации объектов по многомерным шкалам. Метод нейронных сетей как пример решения классификационной проблемы.

Часть II. Философия языка и информатика.

Лекция 6. Философия языка и философия математики в ХХ в.

Возникновение философии языка – Платон, диалог Кратил (идеальный и реальный мир, проблема соответствия слова и вещи, имя, выражающее свойства объекта, проблема описания движения в языке). Платоновские идеи в современной методологии науки – А.А.

Любищев и его идеальная классификация. Формулы в химии как пример идеальных имен.

Г.В. Лейбниц – концепция вычисления, идея бинарного кода, особый язык для вычислений, проблема логической соотносимости высказываний, логическая и физическая необходимость.

Фреге, Рассел и Витгенштейн – основатели теории формальных языков. Проблема символики в науки, соотносимость объектов, символов и смыслов, треугольник Фреге.

Теория дескрипций Б. Рассела. Проблема исключения псевдовысказываний. (Льюис Кэрролл, Алиса в Зазеркалье, стихотворение «Бармаглот». Щерба – глокая куздра, штеко бодланула бокра ….). Псевдопроблемы в науке и философии. Проблема некорректности задачи. Людвиг Витгенштейн – биография, философия формального языка.

Лекция 7. Формальный и естественный язык.

Теория формального языка – мир (факт, атомарный факт, вхождение в факт, форма вхождения), образ (отношение образ-объект, форма образа, непротиворечивость образа), язык (предложение, атомарное предложение, истинность предложения, проверка истинности предложения, форма слова). Роль логики в критике языка. Недостатки естественного языка (синонимия, омонимия, несовпадение семантики и синтаксиса).

Логика как средство исключения псевдовысказываний на примере парадокса Рассела.

Формальный язык. Переводимость языков. Математика как тавтологический язык. Языки программирования на основе формального подхода. Критика теории формальных языков (поздний Витгенштейн). Теория языковых игр.

Лекция 8. Лингвистическая теория Н.

Хомского.

Генеративные грамматики Ноама Хомского. Поверхностные и глубинные лингвистические структуры. Теория машинного перевода, теория кодирования. Идея компилятора для языка программирования. Контекст-свободное программное обеспечение. Язык С++ как реализация теоретических построений Хомского.

Лекция 9. Искусственные языки.

Лекция 10. Математическая лингвистика, модели языков.

Часть III. Языки и парадигмы программирования.

Лекция 11. Языки программирования.

Лекция 12. Парадигмы программирования - императивные.

Лекция 13. Парадигмы программирования - декларативные.

Лекция 14. Метапрограммирование, метаязыки.

Часть IV. Математика в информатике и ИТ.

Лекция 15. Математика в информационных системах.

Лекция 16. Искусственный интеллект — проблемы и перспективы.

4.4 Перечень примерных контрольных вопросов и заданий для самостоятельной работы.

см. вопросы к экзамену.

4.5 Примерная тематика рефератов, курсовых работ.

История понятия «алгоритм»

Квантовые вычисления Японский проект ЭВМ 5-го поколения: анализ неудачи.

Аналитическая машина Ч. Бэббиджа.

Параллельные вычисления.

Вычисления общего характера на графических процессорах (GPGPU) Компьютерная графика: история и современное состояние.

Технологии компьютерных игр.

Встраиваемые системы.

Телекоммуникационные технологии.

5. Учебно-методическое и информационное обеспечение дисциплины (курса)

5.1 Примерный перечень вопросов к зачету (экзамену) по всему курсу.

1) Классический позитивизм. Физика как основание для научной картины мира, понятие факта и проверки гипотезы, проблема доказательства в науке.

2) Неопозитивизм. История течения, применение логики для анализа научной теории.

3) Фальсификация и верификация (К. Поппер). Демаркация науки – научное и вненаучное знание.

4) Понятие истины. Корреспондентная, когерентная, конвенциональна и прагматическая интерпретация понятия «истина». Догматическая истина. Классификация высказываний:

логические, аналитические и синтаксические высказывания.

5) Формальная логика. Фреге, Рассел и Витгенштейн – основатели теории формальных языков и формальной логики. Треугольник Фреге.

6) Псевдопроблемы в науке и философии. Метафизика. Проблема некорректности задачи.

7) Людвиг Витгенштейн – философия формального языка, логико-философский трактат.

Г.В. Лейбниц – концепция вычисления, идея бинарного кода, особый язык для вычислений

8) Формальный и естественный язык. Принципиальные сложности естественного языка:

синонимия, омонимия, анафорические связи. Формальный язык. Переводимость языков.

Математика как тавтологический язык. Теорема Геделя о неполноте.

9) Генеративные грамматики Ноама Хомского. Гипотеза об универсальной грамматике.

Гипотеза Сепира-Уорфа, искусственные языки, язык Loglan.

10) Постпозитивизм (Т. Кун, И. Лакатос, П. Фейерабенд), сопоставление позитивистского и постпозитивистского подхода к методологии науки.

11) Теория научных революций Т. Куна – парадигма, научное сообщество, аномалия, научная революция.

12) Методология научно-исследовательских программ И. Лакатоса, жесткое ядро и защитный пояс научно-исследовательской программы.

13) Искуственный интеллект. Подходы к формулировке задачи ИИ. Нисходящий и восходящий подходы к ИИ. Различные методологии реализации ИИ: логическая, структурная, эволюционная и гибридная. Классические задачи ИИ. Эвристические решения проблемы.

14) Парадигмы программирования: императивная, декларативная, процедурная, функциональная, логическая, объектно-ориентированная, метапрограммирование, предметно-ориентированная (domain specific). Специфика парадигм, достоинства и недостатки.

5.2 Основная литература*

1) Ершов Ю.Л., Гонаров С.С., Самохвалов К.Ф. Введение в логику и методологию науки. М.: Интерпракс, 1994.

2) Кун Т. Структура научных революций. М.: Прогресс, 1977.

3) Поппер К. Логика и рост научного знания. М.: Прогресс, 1983.

5.3 Дополнительная литература.

1) Витгенштейн Л. Философские исследования. // Философские работы. М.,

1994. Ч. 1. С. 80-130.

2) Витгенштейн Л. Логико-философский трактат. // Философские работы. М.,

1994. Ч. 1.

3) Карнап Р. Философские основания физики. М. : Прогресс, 1971.

4) Хомский Н. Структурная лингвистика.

5.4 Программное и коммуникационное обеспечение Не используется.

6. Методические рекомендации по организации изучения дисциплины Пояснение к самостоятельной работа в виде подготовки реферата.

1) Реферат может выполняться не только индивидуально, но также группой студентов до 3-х человек включительно.

* Не более 10 источников.

2) Реферат сдается не в письменном виде, а в виде обзорного реферативного доклада на лекции. Докладчикам дается 1 или 2 академичеких часа (в зависимости от объема доклада) для презентации доклада перед аудиторией.

3) Цель реферативного доклада: сделать достаточно полный обзор по теме доклада, рассказать историю вопроса, основные направления и методы в рассматриваемой

Похожие работы:

«Направление ПОДГОТОВКА СЛУЖИТЕЛЕЙ И РЕЛИГИОЗНОГО ПЕРСОНАЛА ПРАВОСЛАВНОГО ООП ВЕРОИСПОВЕДАНИЯ Название История Поместных Церквей дисциплины Цель данной дисциплины – формирование у студентов цело...»

«Министерство образования и науки Российской Федерации Ярославский государственный университет им. П. Г. Демидова Кафедра теории и истории государства и права Конституционное право Практикум для самостоятельной подготовки студентов Рекомендовано Научно-методическим советом университета для...»

«РУСЬ И ПРАВОСЛАВИЕ: ДАРЫ И ЗАДАНИЯ БЛАГОДАТНОЙ ВСТРЕЧИ С.С.Хоружий История нашего отечества изобилует драматичностью. Ее стойкое свойство – быть вечно на перепутьях, в ситуации решений и рисков, дилемм и альтернатив, которые горячо обсуждаются в обществе. Напряженная историческая р...»

«Секция 3. Сохранение историко-культурного и индустриального наследия 437 А. И. Романчук УрФУ, г. Екатеринбург ДОМАшНИЙ МУЗЕЙ АНТИКОВ ГОЛУБЦОВЫХ: СТРУКТУРА И ЗНАЧЕНИЕ Традиционно считается, что на Урале интерес к древ...»

«Гейко Елена Валентиновна Воинская честь и ее трансформации в культуре Специальность: 24.00.01 – теория и история культуры ДИССЕРТАЦИЯ на соискание ученой степени кандидата философских наук Научный руководитель: доктор философских наук, профессор Ан Светлана Андреевна Барнаул – 2014 СОДЕРЖАНИЕ ВВЕДЕНИЕ..с.3 ГЛАВА I. ПОНИМАНИЕ ЧЕСТИ В...»

«а Светличная Анжела Владимировна ПЕДОЛОГИЯ КАК НАУКА О РАЗВИТИИ РЕБЕНКА: ГЕНЕЗИС, СОСТОЯНИЕ, ПЕРСПЕКТИВЫ 13.00.01. общая педагогика, история педагогики и образования АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата педагогических наук ')/? Екатеринбург 2006 V0O6L Работа выполнена в государственном образовательном учреждени...»

«[CC BY 4.0] [НАУЧНЫЙ ДИАЛОГ. 2017. № 7] Журавлев А. В. Особенности абсолютистской доктрины в "Патриархе" Роберта Филмера / А. В. Журавлев // Научный диалог. — 2017. — № 7. — С. 103—114. — DOI: 10.24224/2227Zhuravlev, A. V. (2017). Features of Absolutist Doctrine in Robert Filme...»








 
2017 www.kniga.lib-i.ru - «Бесплатная электронная библиотека - онлайн материалы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.