АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Для студентов 1 и 2 курса ФИН 2011 / 2012 уч. г

Читайте также:
  1. II. Основные принципы и правила поведения студентов ВСФ РАП.
  2. II. Стипендиальное обеспечение студентов, аспирантов и докторантов
  3. II. Тематика курса
  4. IV. Условия проведения Конкурса
  5. V. Подведение итогов Творческого конкурса
  6. V. Условия конкурса.
  7. V. Условия проведения конкурса концертных направлений.
  8. V. Условия участия в фестивале и конкурсах
  9. VII. УЧЕБНО-МЕТОДИЧЕСКОЕ ОБЕСПЕЧЕНИЕ КУРСА
  10. Актуальность изучения данного курса
  11. Анализ дискурса (discourse analysis)
  12. В 11-50 экскурсанты садятся автобус и едут к Трифонову монастырю. Время в пути составляет 10-15 минут.

СПИСОК ЛИТЕРАТУРЫ И РЕСУРСОВ ИНТЕРНЕТ ПО КУРСУ

“МАТЕМАТИЧЕСКАЯ ЛОГИКА”

для студентов 1 и 2 курса ФИН 2011 / 2012 уч. г.

 

 

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

1. Колмогоров А.Н., Драгалин А.Г. Математическая логи­ка. - М.: Изд-во УРСС, 2004.

2. Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория алгоритмов. - М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2004.

3. Шапорев С.Д. Математическая логика. Курс лекций и практических занятий.- СПб.: БХВ-Петербург, 2005.

 

 

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

1. Аляев Ю.А., Тюрин С.Ф. Дискретная математика и математическая логика.- М.: Финансы и статистика, 2006.

2. Братко И. Программирование на языке ПРОЛОГ для искус­ствен­но­го интеллекта. - М.: Мир, 1990.

3. Вагин В.Н. и др. Достоверный и правдоподобный вывод в интеллектуальных системах.- М.: ФИЗМАТЛИТ, 2004.

4. Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств.- М.: МЦНМО, 2002.

5. Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления.- М.: МЦНМО, 2002.

6. Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции.- М.: МЦНМО, 2002.

7. Гиндикин С.Г. Алгебра логики в задачах.- М.: Наука, 1972.

8. Гладкий А.В. Введение в современную логику.- М.: МЦНМО, 2001.

9. Гладкий А.В. Математическая логика.- М.: РГГУ, 1998.

10.Гладкий А.В. Формальные грамматики и языки. М.: Наука, 1973.

11.Гуц А.К. Математическая логика и теория алгоритмов.- Омск: Изд-во Наследие. Диалог-Сибирь, 2003.

12.Игошин В.И. Математическая логика и теория алгоритмов.- М.: Изд. центр «Академия», 2008.

13.Кук Д., Бейз Г. Компьютерная математика. М.: Наука, 1990.

14.Лавров И.А. Математическая логика.- М.: Изд-во Академия, 2006.

15.Лавров И.А., Максимова Л.Л. Задачи по теории множеств, матема­ти­­ческой логике и теории алгоритмов.- М.: Физматлит, 2006.

16.Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Курс лек­ций, задачник-практикум и решения.- Спб.: Лана, 1999.

17.Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука, 1965.

18.Мендельсон Э. Введение в математическую логику.- М.: Наука, 1984.

19.Метакидес Г., Нероуд А. Принципы логики и логического про­грам­ми­рования.- М.: Факториал, 1998.

20.Набебин А.А. Логика и ПРОЛОГ в дискретной математике.- М.: Изд-во МЭИ, 1996.

21.Непейвода Н.Н. Прикладная логика.- Ижевск: Изд-во Удмуртского университета, 1997.

22.Певзнер М.С., Финн В.К. Логические средства информационных систем: алгебра и логика высказываний, алгебра множеств.- М.: МГИАИ, 1989.

23.Пентус А.Е., Пентус М.Р. Теория формальных языков.- М.: МГУ, 2004.

24.Рассел С., Норвиг П. Искусственный интеллект: современный подход.- М.: Изд. дом «Вильямс», 2006.

25.Судоплатов С.В., Овчинникова Е.В. Элементы дискретной математики. - М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2002.

26.Тейз А., Грибомон П. и др. Логический подход к искусственному ин­теллекту. Т. 1,2. - М.: Мир, 1990, 1998.

27.Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики.- М.: ФИЗМАТЛИТ, 2004.

28.Цаленко М.Ш. Моделирование семантики в базах данных. М.: Нау­ка, 1989.

29.Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем.- М.: Наука, 1983.

30.Ященко И.В. Парадоксы теории множеств. — М.: МЦНМО, 2009.

 


Поиск по сайту:

Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.003 сек.)