О ПРОЕКТЕ
ВСЕ ПРОЕКТЫ HH
Регистрация компании
Заявка на грант Повысить зарплату Поможем выбрать курс Регистрация карьериста
дистанционно, онлайн
Детали курса

Даты проведения
15 февраля 2016
Город
Pоссия
Вид обучения

Видеокурс

Форма обучения
Дистанционная
Учебная нагрузка
40 часов
Тема
Молодым специалистам и молодежи

Науки: Физико-математические
Математика
Обучающая компания
Лекториум

Базовая цена
Бесплатно!
Показать похожие курсы Найти новый курс
Мне интересно

Сохранить в избранном
Заказать звонок
Отправить вопрос
Целевая аудитория
Курс рассчитан на студентов, обучающихся инженерным специальностям, но простота изложения материала позволит освоить курс любому человеку, желающему понять основы математической логики. Для понимания большей части материала достаточно школьной подготовки. Некоторые разделы требуют знакомства с императивным программированием и началами математического анализа.

                            
Анонс
Математическая логика возникла почти 100 лет назад в связи с внутренними потребностями математики. Но со временем она нашла применение также в теоретическом и практическом программировании и сегодня помогает преодолеть недостатки естественных языков – их неточность, многозначность и сложность. При решении прикладных задач часто появляется необходимость переводить информацию с содержательного языка на математический, оттуда на язык численных методов и алгоритмов, а с него на конкретный язык программирования, и обратно. Знание мощных и простых способов преобразования математических предложений, предоставляемых математической логикой, понадобятся каждому, кто хочет начать заниматься исследованиями или создавать эффективные программы. Наряду с рассмотрением сложных вопросов на достаточно строгом уровне, курс содержит множество примеров и пояснений, которые помогут усвоить трудные понятия и проблемы.

                            
Программа

Глава 1. Миссия математической логики

  • Что такое логика
  • Что такое математика
  • Становление логики
  • Софизмы и парадоксы
  • Что такое математическая логика
  • Начало математической логики
  • Математическая логика в своем блеске и великолепии

Глава 2. Основы теории множеств

  • «Интуитивная» теория множеств
  • Операции над множествами
  • Отношения
  • Эквивалентность и порядок
  • Функции
  • Мощность множеств

Глава 3. Пропозициональная логика

  • Высказывания и высказывательные формы
  • Пропозициональные логические связки
  • Язык логики высказываний
  • Тавтологии и равносильности
  • Равносильности

Глава 4. Языки первого порядка

  • Предикаты и кванторы
  • Термы и формулы
  • Интерпретация формул
  • Формулы общезначимые, выполнимые, логически эквивалентные
  • Перевод с естественного языка на логический и обратно
  • Примеры перевода с естественного языка на логический и обратно ...
Подробнее о программе

                        
Преподаватели
Валентин Зюзьков- профессор кафедры "Компьютерные системы в управлении и проектировании" ТУСУР. Кандидат физ.-мат. наук, старший научный сотрудник. Автор 99 научных, учебных и учебно-методических работ. Научно-педагогический стаж – 45 лет.

                            
Мне интересно

Сохранить в избранном
Заказать звонок
Отправить вопрос
Обучающая компания
Лекториум,

"Лекториум" - академический образовательный проект, развивающий два направления:

1. Медиатека - коллекция видеолекций лучших лекторов России. Все материалы публикуются только по согласованию с  лекторами и учебными заведениями. Доступ к библиотеке - свободный и бесплатный.
2. MOOC (Massive Online Open Course) - онлайн курсы нового поколения.

"Лекториум" поддержали:
- Идея одобрена Председателем Правительства РФ В.В.Путиным.
- Проект является победителем Года Молодёжи 2009.
- Проект запущен при поддержке Росмолодёжи.