сайт РГГУ
 


Curriculum


Высшее университетское образование


Постдипломное образование


Довузовское образование

 
 
 
2845845 посетителей

 
arrow Высшее университетское образование arrow Логика arrow Математическая логика
Математическая логика print E-mail

Е.М. Бениаминов, В.Ю. Синицын

Предметом курса являются основные идеи и методы математической логики и их применение для решения актуальных задач современной информатики и других областей прикладного знания. Цель курса состоит в приобретении студентами практических навыков формализации прикладных задач логическими средствами и работы с формальными логическими системами для последующей разработки алгоритмов, а также синтеза структур баз данных и интерфейсов информационно-поисковых систем. В курсе рассмотрены элементы алгебры логики, в том числе функции, формулы, свойства элементарных функций. Излагаются проблемы реализации и исследования формальных грамматик и языков, исчисление высказываний, исчисление предикатов, логические средства в программировании и базах данных, теория алгоритмов.


Специальность - Прикладная информатика


Кафедра фундаментальной и прикладной информатики

Вернуться к списку