C426610S2: A comparison of the mathematical proof languages Mizar and Isar

Начална страница
- Страници от сайта
- Моите курсове
- Курсове
  - Архив
    - Магистри, летен семестър 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 редовно
        Устройство на компютърните системи, летен семестър...
        Технологиите в помощ на образователни проекти, лет...
        Нелинейно оптимиране, летен семестър 2018/2019
        Еволюционни модели на биологични системи, летен се...
        Числени методи-практикум, летен семестър 2018/2019
        Съдържание и методика на извънкласната работа по м...
        Функционални пространства и теория на интерполация...
        Педагогически функции на интерактивна бяла дъска, ...
        Избрани въпроси от аналитичната теория на числата,...
        Увод в комутативната алгебра, летен семестър 2018/...
        Теория на разпределенията и трансформация на Фурие...
        λ-смятане и теория на доказателствата 2018/19
        Главна
        Уводна лекция
        Уводна лекция
        Уводна лекция (с анотации)
        Ламбда смятане (Wikipedia)
        Изчислими функции и разрешими множества (Wikipedia)
        Неизчислими функции и неразрешими множества (Wikip...
        Теория на доказателствата (Wikipedia)
        Конструктивни доказателства (Wikipedia)
        Неконструктивни доказателства за изчислимост (Wiki...
        A comparison of the mathematical proof languages M...
        Proof assistant (Wikipedia)
        Proof Assistants: history, ideas and future
        Код, носещ доказателство (Wikipedia)
        Структурна индукция
        Структурна индукция (с анотации)
        Структурна индукция (Wikipedia)
        Теорема на Кнастер-Тарски (Wikipedia)
        Безтипово λ-смятане
        Типово λ-смятане
        Теория на доказателствата
      - СИ
      - ИС
      - Задочно обучение
      - МИ
      - Стат
      - ПрМ
      - М
      - И
      - КН
    - Бакалаври, зимен семестър 2018/2019
      - Избираеми дисциплини
      - СИ
      - Задочно обучение
      - МИ
      - Стат
      - ПрМ
      - М
      - КН
      - ИС
      - И
    - Магистри, летен семестър 2017/2018
      - ДСиТЧ - летен прием
      - РСМТ-летен прием
      - Задочно обучение
      - РСиМТ
      - ЗИКСМ
      - ИИ
      - ВАС
      - ЕО
      - ЛиА-инф
      - УМФ
      - Избираеми дисциплини
      - БМИ
      - ВС
      - ТОМИ
      - ИМиММ
      - ТЗИ
      - СофТех
      - Мех&роб
      - ИТУП
      - ИС
      - КомпГраф
      - ИИОЗ
    - Бакалаври, летен семестър 2017/2018
      - ИС
      - М
      - КН
      - Избираеми дисциплини
      - Стат
      - И
      - ПрМ
      - МИ
      - Задочно обучение
      - СИ
    - Магистри, зимен семестър 2017/2018
      - АГТ
      - ММИ-летен
      - ТОМИ
      - ДАС
      - ТЗИ
      - РСМТ-летен прием
      - Избираеми дисциплини
      - ЗИКСМ
      - ИМиММ
      - ММИ
      - ЛиА-инф
      - БМИ
      - ВАС
      - СофТех
      - Мех&роб
      - КомпГраф
      - ИТУП
      - ИС
      - ИИ
      - ВС
      - КомпЛингв
      - ИИОЗ
      - ЕБиЕУ
      - Задочно обучение
      - ЕО
      - РСиМТ
      - УМФ
    - Бакалаври, зимен семестър 2017/2018
      - Избираеми дисциплини
      - СИ
      - Стат
      - ПрМ
      - КН
      - ИС
      - МИ
      - Задочно обучение
      - М
      - И
    - Магистри, летен семестър 2016/2017
      - ЛА-на англ.
      - ИМиММ
      - ВАС
      - ЕО
      - УМФ
      - ТПИ в ИТ
      - ТЗИ
      - СофТех
      - Мех&роб
      - ИТУП
      - ИС
      - ИИОЗ
      - ИИ
      - Задочно обучение
      - ТОМИ
      - ЗИКСМ
      - КомпГраф
      - ВС
      - БМИ
      - Избираеми дисциплини
    - Бакалаври, летен семестър 2016/2017
      - Избираеми дисциплини
      - СИ
      - ИС
      - М
      - МИ
      - Стат
      - КН
      - И
      - Задочно обучение
      - ПрМ
    - Бакалаври, зимен семестър 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