Факультативный курс ''Система автоматизации процесса...

Main
Mathematics
Факультативный курс ''Система...

Факультативный курс ''Система автоматизации процесса решения задач''. Часть 1. Элементы математической логики

Дмитриева М., Павлова М.

0 / 0

0 comments

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

На примере занимательных задач авторы знакомят читателей с математической логикой, с понятиями истинного и ложного высказывания, отрицания, конъюнкции, дизъюнкции, таблицы истинности. В приводимых случаях решение получается однозначно и автоматически. В качестве примеров использованы задачи из книг Раймонда М. Смаллиана ''Как же называется эта книга?'', ''Принцесса или тигр?'', ''Алиса в стране смекалки''.

カテゴリー:

Mathematics

言語:

russian

ページ:

ファイル:

PDF, 157 KB

IPFS:

russian0

オンラインで読む