Kazan (Volga region) Federal University, KFU
KAZAN
FEDERAL UNIVERSITY
 
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Form of presentationOther electronic educational resources
Year of publication2016
Языкрусский
  • Sharafeeva Landysh Ramilevna, author
  • Bibliographic description in the original language Sharafeeva L.R. Matematicheskaya logika. http://edu.kpfu.ru/course/view.php?id=1169
    Annotation Курс ориентирован на формирование у студентов теоретических знаний и практических навыков решения задач математической логики.
    Keywords высказывание, логические операции, тавтология, булева функция, исчисление высказываний, предикат, кванторные операции, исчисление предикатов
    URL http://edu.kpfu.ru/course/view.php?id=1169
    Please use this ID to quote from or refer to the card https://repository.kpfu.ru/eng/?p_id=124617&p_lang=2
    Resource files 
    File name Size (MB) Format  
    Spravka_MatLogika.PDF 0,07 PDF show / download

    Full metadata record