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

Реферат

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

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

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

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

Касаткин В.Н. Логическое программирование в занимательных задачах

формат djvu
размер 1.33 МБ
добавлен 23 января 2009 г.

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

Крицкий С.В., Марина И.М. и др. Функциональное и логическое программирование Методическое пособие Часть 2 Язык программирования Пролог

формат pdf
размер 710.74 КБ
добавлен 13 июля 2011 г.

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

Курсовая работа - Особенности языка ЛИСП

Реферат

формат doc
размер 115.55 КБ
добавлен 07 февраля 2011 г.

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

Лабораторная работа №1

Лабораторная

формат doc
размер 4.69 КБ
добавлен 19 ноября 2008 г.

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

Лабораторная работа №6

Лабораторная

формат docx
размер 18.95 КБ
добавлен 19 ноября 2010 г.

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

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

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

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

Лекции - Основы логического программирования

Статья

формат doc
размер 106.5 КБ
добавлен 01 июля 2011 г.

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

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

Реферат

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

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

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

Реферат

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

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

Шпоры по Прологу

pottee

формат doc
размер 83 КБ
добавлен 10 января 2010 г.

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