C387264: Самоучител за Coq

Home
- Site pages
- My courses
- Courses
  - Архив
    - Магистри, летен семестър 2022/2023
      - РСиМТ
      - Избираеми дисциплини
      - ВАС
      - ТОППИТ
      - Задочно обучение
      - ТОМИ
      - ТПИ в ИТ
      - ИМиММ
      - КомпГраф
      - ММИ
      - ЛиА-инф
      - ЕО
      - ИМЗПМКМИТ
      - БМИ
      - СофТех
      - Мех&роб
      - ИИОЗ
      - ИС
      - ИИ
      - ЗИКСМ
    - Бакалаври, летен семестър 2022/2023
      - АД
      - МИ
      - М
      - КН
      - И
      - ИС
      - Избираеми дисциплини
      - СИ
      - Стат
      - ПрМ
      - Задочно обучение
    - Магистри, зимен семестър 2022/2023
      - ЕО
      - ИМиММ
      - Опт
      - УМФ
      - ТОМИ
      - Задочно обучение
      - ИМЗПМКМИТ
      - Мех&роб
      - КомпГраф
      - ТПИ в ИТ
      - БМИ
      - ТОППИТ
      - Избираеми дисциплини
      - ВАС
      - ЗИКСМ
      - ИИ
      - ИС
      - ИИОЗ
      - ЛиА-инф
      - ММИ
      - РСиМТ
      - РСМТ-летен прием
      - СофТех
    - Бакалаври, зимен семестър 2022/2023
      - Избираеми дисциплини
      - АД
      - КН
      - ПрМ
      - М
      - Стат
      - МИ
      - ИС
      - СИ
      - И
      - Задочно обучение
    - Магистри, летен семестър 2021/2022
      - АГТ
      - РСМТ-летен прием
      - Избираеми дисциплини
      - ТОМИ
      - ЛиА-инф
      - ВАС
      - КомпГраф
      - ММИ
      - ИМиММ
      - ИС
      - УМФ
      - Мех&роб
      - Задочно обучение
      - ЕО
      - БМИ
      - ИИОЗ
      - ВС
      - ТПИ в ИТ
      - СофТех
      - ИИ
      - ЗИКСМ
    - Бакалаври, летен семестър 2021/2022
      - Стат
      - М
      - КН
      - СИ
      - И
      - ИС
      - Задочно обучение
      - МИ
      - Избираеми дисциплини
      - ПрМ
    - Магистри, зимен семестър 2021/2022
      - ИМиММ
      - Избираеми дисциплини
      - ЛиА-инф
      - УМФ
      - Задочно обучение
      - ЕО
      - ТПИ в ИТ
      - Мех&роб
      - КомпГраф
      - РСиМТ
      - СофТех
      - ВС
      - БМИ
      - ТОМИ
      - ИИОЗ
      - ИС
      - ИИ
      - ЗИКСМ
      - ММИ
      - ВАС
    - Бакалаври, зимен семестър 2021/2022
      - Избираеми дисциплини
      - М
      - И
      - МИ
      - СИ
      - Стат
      - ПрМ
      - КН
      - ИС
      - Задочно обучение
    - Магистри, летен семестър 2020/2021
      - РСМТ-летен прием
      - АГТ
      - РСиМТ
      - Избираеми дисциплини
      - ТОМИ
      - ММИ
      - ИМиММ
      - ТЗИ
      - КомпГраф
      - ВАС
      - ТПИ в ИТ
      - Задочно обучение
      - ЕО
      - ИС
      - Мех&роб
      - ЛиА-инф
      - ИИ
      - ИИОЗ
      - ЗИКСМ
      - БМИ
      - СофТех
    - Бакалаври, летен семестър 2020/2021
      - Стат
      - М
      - ПрМ
      - КН
      - ИС
      - СИ
      - И
      - МИ
      - Избираеми дисциплини
      - Задочно обучение
    - Магистри, зимен семестър 2020/2021
      - ИМиММ
      - ДАС
      - РСиМТ
      - Избираеми дисциплини
      - КомпЛингв
      - ЛиА-инф
      - ЛА-на англ.
      - Мех&роб
      - ТПИ в ИТ
      - БМИ
      - Задочно обучение
      - ЕО
      - КомпГраф
      - СофТех
      - УМФ
      - ТЗИ
      - ВС
      - ИИОЗ
      - ИС
      - Опт
      - УМФ&пр.
      - ММИ
      - ИИ
      - РСМТ-летен прием
      - ВАС
      - ТОМИ
      - ЗИКСМ
    - Бакалаври, зимен семестър 2020/2021
      - Избираеми дисциплини
      - Задочно обучение
      - Стат
      - ПрМ
      - МИ
      - М
      - И
      - КН
      - СИ
      - ИС
    - Магистри, летен семестър 2019/2020
      - Избираеми дисциплини
      - ТОМИ
      - УМФ&пр.
      - ЛиА-инф
      - ТПИ в ИТ
      - ВАС
      - ЗИКСМ
      - Задочно обучение
      - ЕО
      - УМФ
      - ИМиММ
      - ДАС
      - СофТех
      - Мех&роб
      - КомпГраф
      - ИИ
      - ИИОЗ
      - БМИ
      - ВС
      - ИС
    - Бакалаври, летен семестър 2019/2020
      - Стат
      - ПрМ
      - М
      - СИ
      - МИ
      - Задочно обучение
      - КН
      - ИС
      - И
      - Избираеми дисциплини
    - Магистри, зимен семестър 2019/2020
      - ИМиММ
      - Избираеми дисциплини
      - ЕО
      - ММИ
      - Мех&роб
      - КомпГраф
      - ТПИ в ИТ
      - ЛиА-инф
      - УМФ
      - УМФ&пр.
      - ИС
      - ТЗИ
      - ИИОЗ
      - РСиМТ
      - ИИ
      - БМИ
      - АГТ
      - ВАС
      - Задочно обучение
      - ТОМИ
      - ЗИКСМ
      - СофТех
      - ВС
    - Бакалаври, зимен семестър 2019/2020
      - Задочно обучение
      - МИ
      - Стат
      - ПрМ
      - М
      - СИ
      - КН
      - ИС
      - И
      - Избираеми дисциплини
    - Магистри, летен семестър 2018/2019
      - ЕБиЕУ
      - Избираеми дисциплини
      - РСиМТ
      - ТЗИ
      - Задочно обучение
      - БМИ
      - ИМиММ
      - ВАС
      - ТОМИ
      - ТПИ в ИТ
      - ЕО
      - СофТех
      - Мех&роб
      - ЛиА-инф
      - КомпГраф
      - ИТУП
      - ИС
      - ИИ
      - ИИОЗ
      - ЗИКСМ
      - ВС
    - Магистри, зимен семестър 2018/2019
      - Опт
      - ИМиММ
      - АГТ
      - Задочно обучение
      - ЕБ на англ. ез.
      - УМФ
      - ТОМИ
      - ЛиА-инф
      - ИС
      - ЕБиЕУ
      - ММИ
      - ВАС
      - КомпГраф
      - ТЗИ
      - ЕО
      - ТПИ в ИТ
      - Мех&роб
      - ВС
      - ИТУП
      - КомпЛингв
      - ЗИКСМ
      - СофТех
      - БМИ
      - ИИ
      - ИИОЗ
      - РСиМТ
      - Избираеми дисциплини
    - Бакалаври, летен семестър 2018/2019
      - Избираеми дисциплини
      - СИ
      - ИС
      - Задочно обучение
      - МИ
      - Стат
      - ПрМ
      - М
      - И
      - КН
    - Бакалаври, зимен семестър 2018/2019
      - Избираеми дисциплини
      - СИ
      - Задочно обучение
      - МИ
      - Стат
      - ПрМ
      - М
      - КН
      - ИС
      - И
    - Магистри, летен семестър 2017/2018
      - ДСиТЧ - летен прием
      - РСМТ-летен прием
      - Задочно обучение
      - РСиМТ
      - ЗИКСМ
      - ИИ
      - ВАС
      - ЕО
      - ЛиА-инф
      - УМФ
      - Избираеми дисциплини
      - БМИ
      - ВС
      - ТОМИ
      - ИМиММ
      - ТЗИ
      - СофТех
      - Мех&роб
      - ИТУП
      - ИС
      - КомпГраф
      - ИИОЗ
    - Бакалаври, летен семестър 2017/2018
      - ИС
      - М
      - КН
      - Избираеми дисциплини
      - Стат
      - И
      - ПрМ
      - МИ
      - Задочно обучение
      - СИ
    - Магистри, зимен семестър 2017/2018
      - АГТ
      - ММИ-летен
      - ТОМИ
      - ДАС
      - ТЗИ
      - РСМТ-летен прием
      - Избираеми дисциплини
      - ЗИКСМ
      - ИМиММ
      - ММИ
      - ЛиА-инф
      - БМИ
      - ВАС
      - СофТех
      - Мех&роб
      - КомпГраф
      - ИТУП
      - ИС
      - ИИ
      - ВС
      - КомпЛингв
      - ИИОЗ
      - ЕБиЕУ
      - Задочно обучение
      - ЕО
      - РСиМТ
      - УМФ
    - Бакалаври, зимен семестър 2017/2018
      - Избираеми дисциплини
      - СИ
      - Стат
      - ПрМ
      - КН
      - ИС
      - МИ
      - Задочно обучение
      - М
      - И
    - Магистри, летен семестър 2016/2017
      - ЛА-на англ.
      - ИМиММ
      - ВАС
      - ЕО
      - УМФ
      - ТПИ в ИТ
      - ТЗИ
      - СофТех
      - Мех&роб
      - ИТУП
      - ИС
      - ИИОЗ
      - ИИ
      - Задочно обучение
      - ТОМИ
      - ЗИКСМ
      - КомпГраф
      - ВС
      - БМИ
      - Избираеми дисциплини
    - Бакалаври, летен семестър 2016/2017
      - Избираеми дисциплини
        Студентски курсове ЕО 2016-2017 редовно
        Семинар по алгоритми, летен семестър 2016/2017
        Хидродинамика, летен семестър 2016/2017
        Модели в социалните науки, летен семестър 2016/2017
        Представяния на компактни групи на Ли, летен семес...
        Софтуер за научна визуализация, летен семестър 201...
        Семинар по Динамични системи и теория на числата 2...
        Сплайн функции и приложения, летен семестър 2016/2017
        Динамични системи, летен семестър 2016/2017
        Технологиите в помощ на образователни проекти, лет...
        Модели на смъртност, летен семестър 2016/2017
        Изомонодромна деформация на линейни ОДУ с коефицие...
        λ-смятане и теория на доказателствата 2016/17
        General
        Уводна лекция
        Безтипово λ-смятане
        Типово λ-смятане
        Теория на доказателствата
        Системи за изразяване на доказателства
        Програмата на Hilbert
        Теорема за пълнота на предикатна логика на Gödel
        Теореми за непълнота на аритметични теории на Gödel
        Доказателство на Gentzen за непротиворечивост (кон...
        MinLog
        Примерни доказателства в MinLog
        Самоучител за MinLog
        Coq
        Примерни доказателства в Coq
        Самоучител за Coq
        Експериментална среда за Coq
        Най-голямото доказателство, генерирано от компютър...
        Съответствие на Curry-Howard (Wikipedia)
        Влагане на класическа логика в минимална чрез двой...
        Интерпретация с реализуемост (Benno van den Berg, ...
        Категорийни граматики
      - СИ
      - ИС
      - М
      - МИ
      - Стат
      - КН
      - И
      - Задочно обучение
      - ПрМ
    - Бакалаври, зимен семестър 2016/2017
      - Избираеми дисциплини
      - Стат
      - М
      - Задочно обучение
      - ИС
      - ПрМ
      - МИ
      - И
      - КН
      - СИ
    - Магистри, зимен семестър 2016/2017
      - ЕБ на англ. ез.
      - Задочно обучение
      - ТОМИ
      - ЛиА-инф
      - УМФ
      - КомпЛингв
      - ИТУП
      - ЛА-на англ.
      - ТПИ в ИТ
      - ДАС
      - Избираеми дисциплини
      - Опт
      - ЛА
      - ММИ
      - ЕО
      - Мех&роб
      - КомпГраф
      - ВАС
      - ВС
      - АГТ
      - БМИ
      - ТЗИ
      - ЗИКСМ
      - ИИОЗ
      - ЕБиЕУ
      - ИМиММ
      - ИС
      - ИИ
      - СофТех
      - РСиМТ
    - Магистри, летен семестър 2015/2016
      - Избираеми дисциплини
      - Мех&роб
      - ЛА
      - ИМиММ
      - ДАС
      - ТЗИ
      - ИС
      - СофТех
      - ИИОЗ
      - ИИ
      - КомпГраф
      - ЗИКСМ
      - ВАС
      - Задочно обучение
      - БМИ
      - ММИ-летен
      - ЕО
      - РСМТ
    - Бакалаври, летен семестър 2015/2016
      - М
      - Стат
      - Задочно обучение
      - МИ
      - ПрМ
      - ИС
      - И
      - СИ
      - КН
      - Избираеми дисциплини
    - Магистри, зимен семестър 2015/2016
      - Опт
      - КомпЛингв
      - Мех&роб
      - Избираеми дисциплини
      - ВАС
      - Задочно обучение
      - ТОМИ
      - ТЗИ
      - КомпГраф
      - ИИОЗ
      - БМИ
      - ММИ
      - ИМиММ
      - ЗИКСМ
      - ЕО
      - ЛА
      - ЕБиЕУ
      - ИС
      - ЛиА-инф
      - ЕБ на англ. ез.
      - ВС
      - СофТех
      - ИИ
      - РСиМТ
      - Прием
    - Бакалаври, зимен семестър 2015/2016
      - ПрМ
      - Стат
      - Задочно обучение
      - МИ
      - И
      - ИС
      - СИ
      - М
      - КН
      - Избираеми дисциплини
    - Магистри, летен семестър 2014/2015
      - БМИ
      - ВАС
      - ВС
      - ЕО
      - Задочно обучение
      - ЗИКСМ
      - Избираеми дисциплини
      - ИИ
      - ИИОЗ
      - ИМиММ
      - ИС
      - ИТУП
      - КомпГраф
      - КомпЛингв
      - ЛА
      - РСиМТ
      - СофТех
      - ТЗИ
      - ТОМИ
      - УМФ
    - Бакалаври, летен семестър 2014/2015
      - Задочно обучение
      - И
      - Избираеми дисциплини
      - ИС
      - КН
      - М
      - МИ
      - ПрМ
      - СИ
      - Стат
    - Магистри, зимен семестър 2014/2015
      - АГТ
      - БМИ
      - В&С
      - ВАС
      - ВС
      - ДАС
      - ЕБ на англ. ез.
      - ЕБиЕУ
      - ЕО
      - ЗИКСМ
      - Избираеми дисциплини
      - ИИ
      - ИИОЗ
      - ИМиММ
      - ИС
      - ИТУП
      - КомпГраф
      - КомпЛингв
      - ЛА
      - ЛиА-инф
      - ЛиА-мат
      - Мех&роб
      - ММИ
      - Опт
      - РСиМТ
      - СофТех
      - ТЗИ
      - ТОМИ
      - УМФ
      - УМФ&пр.
    - Бакалаври, зимен семестър 2014/2015
      - И
      - Избираеми дисциплини
      - ИС
      - КН
      - М
      - МИ
      - ПрМ
      - СИ
      - Стат
    - Магистри, летен семестър 2013/2014
      - Био и медицинска информатика
      - Избираеми
      - Информатика
        Дискретни и алгебрични структури
        ЕБ и ЕУ
        ЗИКСМ
        Извличане на информация и ОЗ
        Изкуствен интелект
        Информационни системи
        ИТ услуги и проекти
        Компютърна графика
        Компютърна лингвистика
        Логика и алгоритми
        ММ в икономиката
        Мехатроника и роботика
        РСМТ
        Софтуерни технологии
        Технологии за знания и иновации
      - Математика
      - Математика и информатика
      - Приложна математика
    - Бакалаври, летен семестър 2013/2014
      - Избираеми дисциплини
      - Информатика
      - Информационни системи
      - Компютърни науки
      - Математика
      - Математика и информатика
      - Приложна математика
      - Софтуерно инженерство
      - Статистика
    - Бакалаври, зимен семестър 2013/2014
      - Избираеми курсове
      - Информатика
      - Информационни системи
      - Компютърни науки
      - Математика
      - Математика и информатика
      - Приложна математика
      - Софтуерно инженерство
      - Статистика
    - Магистри, зимен семестър 2013/2014
      - Биомедицинска информатика
      - ЕБ и ЕУ
      - Електронно обучение
      - Извличане на информация и ОЗ
      - Изкуствен интелект
      - Информационни системи
      - ИТ услуги и проекти
      - РСМТ
      - Софтуерни технологии
      - ТОМИ
    - Летен семестър 2012/2013
      - Избираеми курсове
      - Информатика
      - Информационни системи
      - Компютърни науки
      - Математика
      - Математика и информатика
      - Приложна математика
      - Софтуерно инженерство
      - Статистика
    - Зимен семестър 2012/2013
      - Изборни курсове
      - Информатика
      - Информационни системи
      - Компютърни науки
      - Математика
      - Математика и информатика
      - Приложна математика
      - Софтуерно инженерство
      - Статистика
    - Летен семестър 2011/2012
      - Изборни курсове
      - Информатика
      - Информационни системи
      - Компютърни науки
      - Математика
      - Математика и информатика
      - Приложна математика
      - Софтуерно инженерство
      - Статистика
    - Зимен семестър 2011/2012
      - Изборни курсове
      - Информатика
      - Информационни Системи
      - Компютърни Науки
      - Математика
      - Математика и Информатика
      - Приложна Математика
      - Софтуерно Инженерство
      - Статистика
    - Летен семестър 2010/2011
      - Изборни курсове
      - Информатика
      - Информационни Системи
      - Компютърни Науки
      - Математика
      - Математика и Информатика
      - Приложна Математика
      - Софтуерно Инженерство
      - Статистика
    - Зимен семестър 2010/2011
      - Изборни курсове
      - Информатика
      - Информационни Системи
      - Компютърни Науки
      - Математика
      - Математика и Информатика
      - Приложна Математика
      - Софтуерно Инженерство
      - Статистика
    - Летен семестър 2009/2010
      - Изборни Курсове
      - Информатика
      - Информационни Системи
      - Компютърни Науки
      - Математика
      - Математика и Информатика
      - Приложна Математика
      - Софтуерно Инженерство
      - Статистика
    - Зимен Семестър 2009/2010
      - Дискретни и алгебрични структури
      - Електронно Управление (магистри)
      - Задочно обучение
      - Изборни курсове
      - Информатика
      - Информационни системи
      - Компютърни науки
      - Математика
      - Математика и информатика
      - Мехатроника и роботика
      - Приложна математика
      - РСМТ
      - Софтуерно инженерство
      - Статистика
    - Летен Семестър 2008/2009
      - Задочно обучение
      - Изборни Курсове
      - Информатика
      - Информационни системи
      - Компютърни Науки
      - Математика
      - Математика и информатика
      - Мехатроника и роботика
      - Приложна Математика
      - РСМТ
      - Софтуерно Инжинерство
      - Статистика
    - Зимен Семестър 2008/2009
      - Задочно обучение
      - Изборни курсове
      - Информатика
      - Информационни системи
      - Компютърни науки
      - Математика
      - Математика и информатика
      - Мехатроника и роботика
      - Приложна математика
      - РСМТ
      - Софтуерно Инжинерство
    - Летен Семестър 2007/2008
      - Изборни курсове
      - Информатика
      - Информационни системи
      - Компютърни науки
      - Математика
      - Математика и информатика
      - Мехатроника и роботика
      - Приложна математика
      - РСМТ
      - Статистика
    - Зимен семестър 2007/2008
      - Изборни курсове
      - Информатика
      - Информационни системи
      - Компютърни Науки
      - Математика
      - Математика и Информатика
      - РСМТ
    - Летен семестър 2006/2007
    - Зимен семестър 2006/2007
    - Летен семестър 2005/06
    - Зимен семестър 2005/06
    - Летен семестър 2004/05
    - Зимен семестър 2004/05
  - Магистри, летен семестър 2023/2024
    - САППМ
    - Избираеми дисциплини
    - АГТЧ
    - ТГД
    - ТОППИТ
    - ИМЗПМКМИТ
    - ЛиА-инф
    - ТПИ в ИТ
    - Задочно обучение
      - ЕО
      - Избираеми дисциплини
      - ЛА-на англ.
      - ТОМИ
    - ТОМИ
    - ЕО
    - ММИ
    - ВАС
    - Мех&роб
    - КомпГраф
    - ИИОЗ
    - ИМиММ
    - ИИ
    - ЗИКСМ
    - БМИ
    - СофТех
    - ИС
  - Бакалаври, летен семестър 2023/2024
    - АД
    - Стат
    - ИС
    - И
    - М
    - КН
    - ПрМ
    - СИ
    - Избираеми дисциплини
      - Студентски курсове ЕО, летен 2023/2024
    - МИ
    - Задочно обучение
      - Избираеми дисциплини
      - МИ
  - Магистри, зимен семестър 2023/2024
    - ИМЗПМКМИТ
    - ТОППИТ
    - АГТ
    - ММИ
    - Избираеми дисциплини
    - ЕО
    - ВАС
    - Мех&роб
    - ТГД
    - ТПИ в ИТ
    - РСиМТ
    - КомпГраф
    - ИИОЗ
    - Задочно обучение
      - ЕО
      - Избираеми дисциплини
      - ЛА-на англ.
      - ТОМИ
    - ТОМИ
    - ИС
    - ЛиА-инф
    - БМИ
    - ИИ
    - СофТех
    - ЗИКСМ
    - ВПИ (HPC)
  - Бакалаври, зимен семестър 2023/2024
    - Избираеми дисциплини
    - М
    - Стат
    - И
    - МИ
    - СИ
    - ПрМ
    - КН
    - ИС
    - АД
    - Задочно обучение
      - Избираеми дисциплини
      - МИ
  - Бакалавърски програми
    - Приложна математика
    - Информационни системи
  - Магистърски програми
    - ВС
    - ММИ
    - РСМТ
    - ВАС
  - Докторски програми
    - Теория на вероятностите и математическа статистика
    - Информационни технологии
    - Информационни системи
    - Бази от данни
    - Вградени системи
  - Катедри
    - Алгебра
    - ВОИС
    - Геометрия
    - ИТ
      - Дипломанти ИТ
    - КИ
    - ОМИ
    - МЛП
    - Софтуерни технологии
    - Математически анализ
  - Erasmus+
    - Erasmus+, summer, 2023/2024
    - Erasmus+, fall, 2023/2024
    - Erasmus+, summer, 2022/2023
    - Erasmus+, fall, 2022/2023
    - Erasmus+, fall, 2021/2022
    - Erasmus+, summer, 2021/2022
    - Erasmus+, summer, 2020/2021
  - Семинари
  - Учебници и ръководства
  - Административни
    - Атестационна комисия
    - Акредитация
      - 1.3. Педагогика на обучението по… 2023
    - Програма ЕОС
    - Процедури за научни степени и академични длъжности
    - Анкети
    - Събития
  - Държавен изпит
  - Проекти
    - Проекти по програма ЕОС
      - Обучение по Мудъл
      - Наставници за учебната 2022/2023 г.
      - Информационни системи, ЕОС
    - Еразъм +
    - ДокЦент (BG05M2OP001-2.009-0013)
    - Проект Електронно обучение
      - Модули и курсове за студенти
      - Курсове за служители от админстрацията на ФМИ
      - Курсове за преподаватели
      - Курсове за обучение на администратори във ФМИ
      - Учебно-методически център за електронно дистанцион...
    - Проект Докторанти, млади учени и постокторанти
      - Курсове за докторанти
    - Учебни планове и програми
    - Huawei ICT Academy
    - Проекти по ОП
    - УНИТе
    - ФНИ на СУ
    - ИКТвНОС
  - Други факултети
    - ГГФ
    - БФ
    - МФ
    - СтФ
    - ФзФ
    - ФКНФ
    - ФХФ
    - Каритас
    - Internships
  - СДК
    - Профилирана подготовка по информатика и ИТ 2015/2016
    - Профилирана подготовка по информатика и ИТ 2016/2017
  - Учебни материали, разработени по програма ЕОС
  - Учебни материали
  - Кандидатстудентски курсове
    - 2022/2023
    - 2021/2022
    - 2020/2021
    - 2023/2024