Прочти меня!!! (1131951)
Файл №1131951 Прочти меня!!! (Лекции)Прочти меня!!! (1131951)2019-05-122019-05-12СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!
Характеристики
Тип файла
Текстовый файл
Размер
136 b
Материал
Тип материала
Высшее учебное заведение
Текстовый файл
Текстовые документы являются наиболее простыми из всех, ведь хранить могут только текст и ничего более. Но и у них есть небольшая проблема - разные системы сохраняют файлы в разных кодировках, из-за чего иногда вместо текста можно увидеть иероглифы и другие непонятные символы. Впрочем современные приложения легко определяют кодировку, поэтому проблема встречается всё реже.
Несмотря на свою простоту, именно этот формат широко применяется для хранения простой текстовой информации, так как не содержит ничего лишнего. Например, его используют для хранения логов, а также для написания файлов ReadMe, с инструкцией, так как текстовый формат откроется на любом компьютере и устройстве, даже если ему 50 лет.
Список файлов лекций
Лекции
3. Логика предикатов - синтаксис (термы и формулы), семантика (интерпретации и отношение выполнимости), модели, логическое следствие, проблема общезначимости формул.pdf
5. Полнота табличного вывода. Теорема Лёвенгейма-Сколема. Теорема компактности Мальцева. Автоматическое доказательство теорем. Теорема Чёрча.pdf
6. Общая схема метода резолюций. Равносильные формулы. Теорема о равносильной замене. Предварённая нормальная форма. Сколемовская стандартная форма.pdf
10. Аксиоматические теории первого порядка. Теория частичных порядков. Основные свойства теорий - непротиворечивость, разрешимость, независимость, полнота.pdf
12. Бескванторные теории с равенством. Линейная арифметика. Теория массивов. Теория равенства с неинтерпретируемыми функциями. Комбинация SMT и SAT.pdf
16-17. Формальная верификация. Императивные программы. Логика Хоара. Автоматическая проверка правильности программ. Верификация распределённых систем. Модальные логи.pdf