Дискретная математика. Формально-логические системы и языки Сергей Михайлович Авдошин

Дискретная математика. Формально-логические системы и языки скачать fb2

Фрагмент книги

0 скачали
0 прочитали
0 впечатлений






Сергей Михайлович Авдошин - Дискретная математика. Формально-логические системы и языки краткое содержание

Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов.

Читать книгу онлайн Дискретная математика. Формально-логические системы и языки - автор Сергей Михайлович Авдошин или скачать бесплатно и без регистрации в формате fb2. Роман написан в году, в жанре . Читаемые, полные версии книг, без сокращений, на сайте - библиотека бесплатных книг Knigism.online. Вы можете скачать издание полностью и открыть в любой читалке, на свой телефон или айфон, а также читать произведение без интернета.




Доступен ознакомительный фрагмент

Чтобы оставить свою оценку и/или комментарий, Вам нужно войти под своей учетной записью или зарегистрироваться

Другие книги жанраУчебная литература
100 увлекательных игр для хороших манер
100 увлекательных игр для хороших м...
100 увлекательных игр для отличной учёбы
100 увлекательных игр для отличной...
100 увлекательных игр для весёлого дня рождения
100 увлекательных игр для весёлого...
100 увлекательных игр для здоровья вашего ребёнка
100 увлекательных игр для здоровья...