Казанский (Приволжский) федеральный университет, КФУ
КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ
 
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Форма представленияИные электронные образовательные ресурсы
Год публикации2016
Языкрусский
  • Шарафеева Ландыш Рамилевна, автор
  • Библиографическое описание на языке оригинала Шарафеева Л.Р. Математическая логика. http://edu.kpfu.ru/course/view.php?id=1169
    Аннотация Курс ориентирован на формирование у студентов теоретических знаний и практических навыков решения задач математической логики.
    Ключевые слова высказывание, логические операции, тавтология, булева функция, исчисление высказываний, предикат, кванторные операции, исчисление предикатов
    URL http://edu.kpfu.ru/course/view.php?id=1169
    Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку https://repository.kpfu.ru/?p_id=124617
    Файлы ресурса 
    Название файла Размер (Мб) Формат  
    Spravka_MatLogika.PDF 0,07 PDF посмотреть / скачать

    Полная запись метаданных