<<  Язык фп lisp Основы lisp’а  >>
Первая программа

Первая программа. > (+ 2 3) программа данные. > (+ 2 3) 5 > ‘(+ 2 3) (+ 2 3) > (quote (+ 2 3)) (+ 2 3).

Слайд 47 из презентации «Функциональное и логическое программирование»

Размеры: 720 х 540 пикселей, формат: .jpg. Чтобы бесплатно скачать слайд для использования на уроке, щёлкните на изображении правой кнопкой мышки и нажмите «Сохранить изображение как...». Скачать всю презентацию «Функциональное и логическое программирование.ppt» можно в zip-архиве размером 1978 КБ.

Алгебра логики

краткое содержание других презентаций об алгебре логики

«Логические таблицы истинности» - Выяснить количество столбцов = количество переменных + количество логических операций. Установить последовательность выполнения логических операций. Таблица истинности сложного логического выражения. Таблицы истинности. Заполнить таблицу истинности по столбцам. Для составления таблицы необходимо: Как правильно составить и использовать?

«Понятие логического высказывания» - Дж. Буль. В основе современной логики лежат учения. Основные определения. Записать в виде логического выражения следующее высказывание. Логические операции – логические действия. Алгебра – это наука об общих операциях. Логика – это наука о формах и способах мышления. Найти множество значений. Умозаключение.

«Логические операции» - Логическое умножение (конъюнкция). Полученное сложное высказывание – логическая сумма (дизъюнкция). Перевод логических операций на естественный язык: Приоритет выполнения логических операций (если нет скобок). Логическое отрицание (инверсия). Введем обозначения: Самостоятельная работа. Простые высказывания могут быть связаны между собой словами И, ИЛИ, НЕ.

«История алгебры логики» - Определение формы. Формы мышления. Высказывание – это форма мышления. История науки алгебры логики. Содержание. Вильгельм Лейбниц (1646-1716). Джордж Буль. Аристотель. Понятие. Булева алгебра. Логика– это наука о формах и способах мышления. Умозаключение. Основной Закон Буля. Вопросы.

«Таблица истинности» - Пример 2. Укажите, какое логическое выражение равносильно выражению ¬(A \/ ¬ B \/ C) 1) ¬A \/ B \/ ¬C 2) A /\ ¬B /\ C 3)¬A \/ ¬B \/ ¬C 4) ¬A /\ B /\ ¬C Решение: ¬(A \/ B)= ¬A /\ ¬B ¬(¬ A) = A ¬(A \/ ¬ B \/ C) = ¬A /\ ¬(¬B) /\ ¬C = ¬A /\ B /\ ¬C Ответ 4. ((K /\L) –> (L /\ M \/ N)) = 1 1 4 2 3. Пример 10.

«Логика высказываний» - Будем обозначать высказывания прописными буквами. Но идея Лейбница оказалась неподтвержденной, так как до сих пор не найден способ свести человеческое мышление к некоторому математическому исчислению. Определите значение высказывания (истина или ложь): 1)Без труда не выловишь и рыбку из пруда. 2)Как хорошо быть генералом! 3)Революция может быть мирной и немирной.

Всего в теме «Алгебра логики» 19 презентаций
Урок

Алгебра

35 тем