Рабочая программа учебной дисциплины

3. условия реализации УЧЕБНОЙ дисциплины

• 
  посадочные места по количеству обучающихся;
  
• 
  рабочее место преподавателя;
  
• 
  комплект учебно-методической документации.
  

• 
  персональный компьютер;
  
• 
  проекционный экран;
  
• 
  мультимедийный проектор;
  
• 
  доска;
  
• 
  колонки;
  
• 
  учебные пособия;
  
• 
  дидактический раздаточный материал;
  
• 
  наглядные пособия.
  

3.2. Информационное обеспечение обучения

1. 
   Игошин В.И. Математическая логика и теория алгоритмов. – М.: Издательский центр «Академия», 2008.
   
2. 
   Спирин М.С., Спирина П.А. Дискретная математика. – М.: Издательский центр «Академия», 2010.
   
3. 
   Новиков, Ф.А. Дискретная математика для программистов: 3-е издание. – М.: ПИТЕР, 2009.
   
4. 
   Шевелев, Ю.П. Дискретная математика: учеб.пособие / Ю.П. Шевелев. – СПб.: Лань, 2008.
   

1. 
   Клини С. Математическая логика. – М.: Издательство ЛКИ, 2008.
   
2. 
   Игошин В.И. Задачник-практикум по математической логике. – М.: Издательский центр “Академия”, 2007.
   
3. 
   Галушкина Ю.И., Марьянов А.Н. – Конспект лекций по дискретной математике (с упражнениями и контрольными работами). – М.: АЙРИС ПРЕСС, 2007.
   
4. 
   Шапорев С.Д. Математическая логика. Курс лекций и практических занятий. – СПб.: БХВ-Петербург, 2005.
   
5. 
   Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. – М.: , 1982.
   
6. 
   Кондаков Н.И. Логический словарь-справочник. – М.: , 1975.
   
7. 
   Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: ФИЗМАТЛИТ, 2004.
   
8. 
   Лихтарников Л.М. Сукачёва Т.Г. Математическая логика. – СПб.: Лань, 1999.
   
9. 
   Мендельсон Э. Введение в математическую логику. – М.: Наука, 1976.
   
10. 
    Новиков П.С. Элементы математической логики. – М.: Наука, 1973.
    
11. 
    Чёрч А. Введение в математическую логику. – М: Мир, 1960.
    
12. 
    Эдельман С.Л. Математическая логика. – М., 1975.
    
13. 
    Гиндикин С.Г. Алгебра логики в задачах. Электронная библиотека Московского государственного университета.
    

14. 
    Дискретная математика: электронный учебник. Форма доступа:http://lvf2004.com/dop_t3.html
    
15. 
    Русская логика: электронные книги, статьи. Форма доступа: http://logicrus.ru
    
16. 
    Российская государственная библиотека. Форма доступа: http://www.rsl.ru
    
17. 
    Дискретная математика: каталог электронных книг. Форма доступа:http://www.ph4s.ru/book_pc_diskretka.html
    

1. 
   Игошин В.И. Математическая логика и теория алгоритмов. – М.: Издательский центр «Академия», 2008.
   
2. 
   Спирин М.С., Спирина П.А. Дискретная математика. – М.: Издательский центр «Академия», 2010.
   
3. 
   Новиков, Ф.А. Дискретная математика для программистов: 3-е издание. – М.: ПИТЕР, 2009.
   
4. 
   Шевелев, Ю.П. Дискретная математика: учеб.пособие / Ю.П. Шевелев. – СПб.: Лань, 2008.
   

5. 
   Клини С. Математическая логика. – М.: Издательство ЛКИ, 2008.
   
6. 
   Игошин В.И. Задачник-практикум по математической логике. – М.: Издательский центр “Академия”, 2007.
   
7. 
   Галушкина Ю.И., Марьянов А.Н. – Конспект лекций по дискретной математике (с упражнениями и контрольными работами). – М.: АЙРИС ПРЕСС, 2007.
   
8. 
   Шапорев С.Д. Математическая логика. Курс лекций и практических занятий. – СПб.: БХВ-Петербург, 2005.
   
9. 
   Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. – М.: , 1982.
   
10. 
    Кондаков Н.И. Логический словарь-справочник. – М.: , 1975.
    
11. 
    Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: ФИЗМАТЛИТ, 2004.
    
12. 
    Лихтарников Л.М. Сукачёва Т.Г. Математическая логика. – СПб.: Лань, 1999.
    
13. 
    Мендельсон Э. Введение в математическую логику. – М.: Наука, 1976.
    
14. 
    Новиков П.С. Элементы математической логики. – М.: Наука, 1973.
    
15. 
    Чёрч А. Введение в математическую логику. – М: Мир, 1960.
    
16. 
    Эдельман С.Л. Математическая логика. – М., 1975.
    
17. 
    Гиндикин С.Г. Алгебра логики в задачах. Электронная библиотека Московского государственного университета.
    

1. 
   Дискретная математика: электронный учебник. Форма доступа: http://lvf2004.com/dop_t3.html
   
2. 
   Русская логика: электронные книги, статьи. Форма доступа: http://logicrus.ru
   
3. 
   Российская государственная библиотека. Форма доступа: http://www.rsl.ru
   
4. 
   Дискретная математика: каталог электронных книг. Форма доступа:http://www.ph4s.ru/book_pc_diskretka.html