Презентация Логика предикатов. (Глава 2) онлайн

На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Логика предикатов. (Глава 2) абсолютно бесплатно. Урок-презентация на эту тему содержит всего 34 слайда. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.

Презентации » Математика » Логика предикатов. (Глава 2)

Просмотр ВСЕЙ презентации! ЖМИТЕ

Оцените презентацию от 1 до 5 баллов!

Смотреть онлайн
Скачать

Тип файла:

ppt / pptx (powerpoint)
Всего слайдов:

34 слайда
Для класса:

1,2,3,4,5,6,7,8,9,10,11
Размер файла:

505.40 kB
Просмотров:

51
Скачиваний:

0
Автор:

неизвестен

Слайды и текст к этой презентации:

№1 слайд

Содержание слайда: Глава 2 Глава 2 ЛОГИКА ПРЕДИКАТОВ

№2 слайд

Содержание слайда: Гл.1. Логика высказываний Гл.1. Логика высказываний Высказывания: 2 + 2 = 4, 2 > 5, Сегодня 1-ое апреля. Не высказывания: sin x > 0, x  y, x + y > z. Данное предложение ложно. Логические операции:  , &, , ,  . Логика предикатов 1. Понятие предиката М – множество. Предикат – повествовательное предложение, которое при фиксировании переменных (замене их элементами из М) становится высказыванием. Предикаты: sin x > 0 - одна переменная (х); x  y - две переменные (х,у); x + y > z - три переменных (x,y,z); 2 + 2 = 4, 2 > 5, Сегодня 1-ое апреля - 0 переменных.

№3 слайд

Содержание слайда:

№4 слайд

Содержание слайда:

№5 слайд

Содержание слайда: Пусть Р(x), Q(x) – одноместные предикаты на М. Пусть Р(x), Q(x) – одноместные предикаты на М. Операции над предикатами:  Р(x) - одноместный предикат, значение которого при х = а, а  М, равно значению высказывания  Р(а). Р(x) & Q(x) -одноместный предикат, значение которого при х = а, а  М, равно значен. высказ. Р(а) & Q(а). Р(x)  Q(x), Р(x)  Q(x) , Р(x)  Q(x), но Р(x) & Q(y) - 2-х местн. предикат, R(x,y)  Q(z) - 3-х местн. предикат.  , &, , , 

№6 слайд