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