Основы формальных логических языков
- Автор(ы)
- Коротков М.А, Степанов Е.О
- Год
- 2003
- Издательство
- СПб ГИТМО (ТУ)
- Язык
- rus
- ISBN
- 5-7577-0122-6
- Библиографическая ссылка
- Пб: СПб ГИТМО (ТУ), 2003. 84с.
- Теги
- Программирование физика
Аннотация
Основы формальных логических языков Год : 2003 Автор : Коротков М.А., Степанов Е.О. Жанр : Учебное пособие Издательство : СПб: СПб ГИТМО (ТУ), ISBN : 5-7577-0122-6 Язык : Русский Формат : PDF Качество : Изначально компьютерное (eBook) Количество страниц : 85 Описание : Данное учебное пособие посвящено основам формальных логических языков. В нем дается краткое изложение языков логики первого и второго порядков, элементов теории доказательств, теории моделей и формальной теории множеств. Пособие основано на курсе лекций, читаемом на кафедре Компьютерных технологий Санкт-Петербургского Государственного Института Точной Механики и Оптики. Пособие предназначено для студентов компьютерных и математических специальностей. Утверждено к печати Ученым Советом факультета Информационных Технологий и Программирования, протокол № 5 от 09.01.03. Примеры страниц Оглавление Какой программой открыть книгу? Программы для работы с электронными книгами (краткий справочник) Опубликовано группой