Презентация - Логические основы компьютеров

К.: Техника, 1980. -79с., ил. Рассказывается о применении ЭВМ для решения некоторых невычислительных задач. Показано, как вычислительные машины выступают соперником человека в играх, как они решают логические задачи, как с их помощью моделируется распознование простейших образов, обсуждается использование ЭВМ в исследовании некоторого класса искуственных эволюций.

Белорусский государственный университет информатики и радиоэлектроники, 2006, 28с. Для студентов специальности I-40 01 01 "Программное обеспечение информационных технологий" В 4-х частях Часть 2 Во второй части методического пособия изложены основы логического программирования на примере языка Пролог. Пособие предназначено для студентов дневной и дистанционной форм обучения.

Введение. Язык программирования ЛИСП. Основные функции языка Лисп. Арифметические функции. Логические функции. Специальные функции. Особенности диалектов языка ЛИСП. MacLISP. MuLISP. nterLISP. CommonLISP. Особенности языка ЛИСП. Заключение.

Отчет по лабораторной работе на тему: "Основы работы в системе Visual prolog 5.2. ". Содержит листинг программы.rn

Описаны предикаты: 1. Напишите программу, определяющую, в нормальной ли форме задана арифметическая сумма, т. е. имеет ли она вид А + В, где А - константа, а В-сумма в нормальной форме. 2. Напишите определение типа «булева формула». 3. Напишите программу, распознающую логические формулы в конъюнктивной нормаль-ной форме, т. е. формулы, являющиеся конъюнкцией дизъюнкций литералов, где литерал-атомарная формула или ее отрицание. 4. Напишите програм...

Данное учебное пособие предназначено для студентов компьютерных специальностей, изучающих курс «Логическое программирование». Рассмотрены основы логического программирования. Дается описание, синтаксические элементы и основы программирования на Турбо Прологе. Рассмотрена работа с базами данных и с системными предикатами, необходимыми для программирования. Изложение иллюстрируется примерами программ. Содержатся варианты контрольных заданий для вып...

Подготовка к экзамену. Понятие об искусственном интеллекте и экспертных системах. Понятие о базах знаний. Средства описания и представления знаний Формы представления знаний Логические модели Семантические сети. Пример применения семантических сетей для ре-шения логических задач Фреймы. Пример описания задач с помощью фреймов Системы продукций. Прямые и обратные системы продукции. Примеры применения Метод резолюций. Демонстрация метода на пример...

Презентация содержит 28 слайдов: Элементарные логические операции. Свойства логических операций. Схемная реализация базовых логических элементов. Обозначения базовых логических элементов. Полусумматор. Логические основы построения цифровых автоматов. Функции проводимости F некоторых переключательных схем. Этапы синтеза переключательной схемы. Этапы анализа схемы. Этапы синтеза переключательных схем. Образование СДНФ функции по заданной таблице ис...

Презентация содержит 58 слайдов: Определение. Понятие. Высказывание. Умозаключение. Алгебра высказываний. Логические операции. Логическое сложение. Логическое отрицание. Логическое следование. Логическое равенство. Приоритет действий. Равносильные логические выражения. Законы логики. Логические основы компьютера. Логический элемент НЕ. Логический элемент ИЛИ. Логический элемент И. Полусумматор двоичных чисел. Сумматор двоичных чисел. Триггер.

1. Язык логического программирования Пролог. Концепция логического программирования. 2. Основы программирования на Турбо-Прологе: структура программы, основные типы данных, работа с секцией domains. 3. Основы программирования на Турбо-Прологе: структура программы, внутренние и внешние цели. 4. Основы программирования на Турбо-Прологе: структура программы, предикаты, факты, правила. 5. Основы программирования на Турбо-Прологе: методы и средства у...