Прочти меня!!! (1158032)
Файл №1158032 Прочти меня!!! (В.А. Захаров - Лекции)Прочти меня!!! (1158032)2019-09-182019-09-18СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!
Характеристики
Тип файла
Текстовый файл
Размер
136 b
Материал
Тип материала
Высшее учебное заведение
Текстовый файл
Текстовые документы являются наиболее простыми из всех, ведь хранить могут только текст и ничего более. Но и у них есть небольшая проблема - разные системы сохраняют файлы в разных кодировках, из-за чего иногда вместо текста можно увидеть иероглифы и другие непонятные символы. Впрочем современные приложения легко определяют кодировку, поэтому проблема встречается всё реже.
Несмотря на свою простоту, именно этот формат широко применяется для хранения простой текстовой информации, так как не содержит ничего лишнего. Например, его используют для хранения логов, а также для написания файлов ReadMe, с инструкцией, так как текстовый формат откроется на любом компьютере и устройстве, даже если ему 50 лет.
Список файлов лекций
В.А
6. Общая схема метода резолюций. Равносильные формулы. Теорема о равносильной замене. Предваренная нормальная форма. Сколемовская стандартная форма. Системы дизъюнкт.pdf
12. Хорновские логические программы - синтаксис. Декларативная семантика логических программ. Операционная семантика логических программ. SLD-резолютивные вычисления.pdf
17. Отрицание в логическом программировании. Оператор not. Встроенные предикаты и функции. Оператор вычисления значений. Модификация баз данных.pdf
20. Правильные программы. Императивные программы. Задача верификации программ. Логика Хоара. Автоматическая проверка правильности программ.pdf
21. Верификация распределённых программ. Логика линейного времени PLTL. Размеченные системы переходов. Задача верификации моделей программ.pdf
22. Задача верификации моделей программ. Подформулы Фишера-Ландера. Табличный метод верификации моделей программ. Алгоритм верификации моделей программ.pdf
23. Как устроена математика. Исчисление предикатов первого порядка. Аксиоматические теории. Элементарная геометрия. Теория множеств Цермело-Френкеля.pdf
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
