Презентация - Элементы логики

Реферат

формат ppt
размер 182 КБ
добавлен 20 мая 2010 г.

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

Смотрите также

Доорс Дж., Рейблейн А.Р., Вадера С. Пролог - язык программирования будущего

формат djvu
размер 1.02 МБ
добавлен 03 июня 2010 г.

1990 г. Настоящее введение в Пролог содержит описание подмножества языка, общего для многих реализаций. Рассмотрены синтаксические элементы и структуры языка, арифметические функции, рекурсия, структуры данных (списки и деревья), операторы и процедуры, встроенные функции для отладки программ и работа с БД. Книга может быть рекомендована как учебник и как компактное справочное издание.

Дубинин В.Н., Зинкин С.А. Языки логического программирования в проектировании вычислительных систем и сетей

формат pdf
размер 692.73 КБ
добавлен 24 января 2011 г.

Учеб. пособие. – Пенза: Изд-во Пенз. гос. техн. ун-та. – 1997. – 88 с. Рассматриваются вопросы использования языка логического программирования Пролог в сетевой технологии проектирования распределенных вычислительных систем и сетей. Приводится описание предикатных сетей, интерпретируемых на языке Пролог, примеры спецификации и моделирования вычислительных систем, процессов и сетевых протоколов с использованием данного сетевого формализма. Предста...

Ковальски Р. Логика в решении проблем

формат djvu
размер 3.98 МБ
добавлен 11 августа 2011 г.

Москва: "НАУКА", 1990 г. Изложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в основе проектирования ЭВМ пятого поколения, над которыми в настоящее время работают специалисты ряда стран. Для научных работников и инженеров, занимающихся проблемами искусственного интеллекта. Полезна аспирантам и студентам втузов.

Лебедева Н.С. Методическое пособие по программированию на Turbo Prolog

формат pdf
размер 659.49 КБ
добавлен 27 января 2009 г.

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

Метакидес Г., Нероуд А. Принципы логики и логическое программирование

формат djvu
размер 533.83 КБ
добавлен 12 сентября 2010 г.

Книга известных специалистов в области математической логики и логического программирования (Греция, США). Излагаются основные понятия и принципы математической логики. Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода. На примере языка ПРОЛОГ рассматриваются принципы логического программирова...

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

Реферат

формат ppt
размер 20.34 КБ
добавлен 20 мая 2010 г.

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

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

Реферат

формат ppt
размер 263.88 КБ
добавлен 20 мая 2010 г.

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

Сошников Д.В. Лекции по ЛП

формат pdf
размер 650.55 КБ
добавлен 09 октября 2009 г.

МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. 123 стр. I Основы 1 Парадигмы 2 Логика предикатов 1-го порядка 21 Семантика логики предикатов 3 Исчисление предикатов 1-го порядка 4 Понятие о полноте 5 неразрешимость исчисления 6 Нормальные формы 7 Унификация 71 Правила 8 Правило вывода modus tollens 81...

Сошников Д.В. Лекции по ЛП. Слайды

формат pdf
размер 21.9 МБ
добавлен 08 октября 2009 г.

МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. ~500 стр. Что такое логическое программирование Введение в логическое программирование Логика Резолюции Пролог и Меркурия Рекурсивные Структуры данных Отрицание как Failure Логических задач Типизированное программирование Простой поиск Эвристический поиск Си...

Zelio LOGIC руководство пользователя

формат pdf
размер 5.92 МБ
добавлен 10 марта 2010 г.

Zelio LOGIC руководство пользователя для тех кто решил освоить данное реле. Все понятно изложено. НА РУССКОМ языке. Содержание: 1 - Изучая Интеллектуальное реле. 2 - Описание Меню. 3 - Меню Конфигурации. 4 - Функции Управления. 5 - Ввод диаграммы Лестничной Логики. 6 - Выполнение простейшего приложения. 7 - Отладка. 8 - Пример Приложения. 9 - Устранение неисправностей. 10 - Загрузка Приложения, сохраненное в Резервной Памяти на Модуль. Приложение...