НОУ ИНТУИТ | Практикум по предикатам. Лекция 1: Формальные системы. Свойства, интерпретация, моделирование

Учитесь и получайте официальные документы БЕСПЛАТНО. Вы можете поддержать наш проект.

Твой путь к знаниям!

Опубликован: 04.04.2015 | Уровень: для всех | Доступ: платный | ВУЗ: Московский государственный гуманитарный университет имени М.А. Шолохова

|

Аннотация: Лекция посвящена формальным системам (ФС). Дается строгое определение ФС, приводятся примеры, рассматриваются свойства ФС.

Формальные системы. Свойства, интерпретация, моделирование