Вход на сайт
Первый раз на сайте? Возникают трудности и вопросы? Воспользуйтесь разделом Помощь по работе с сайтом
Меню сайта
Информация
Зарегистрировано участников: 3915
Опубликовано работ: 1453
Оставлено комментариев: 11217
Паспорт участника
Хам Михаил Иллрионович
Регион: Новосибирская область
Населённый пункт: Калининский район
Образовательное учреждение: МБОЙ лицей №81
Класс обучения: 10
Перейти на личную страницу автора
Оценки
Оценка работы участниками конференции
0
Экспертная оценка что это?
Работа ещё не была заявлена на экспертизу
Работа (эта работа отмечена сертификатом на сессии КИПР)предикаты и кванторы
Дата публикации:
27.05.14Категория:
Исследования в области математики, физики и информатикиРуководитель работы:
Зенкова О.В.Поделиться работой в соц.сетях:
В исчислении высказываний проблема разрешимости состояла в решении вопроса, высказывание тождественно истинной, выполнимой или тождественно ложной.
Изучаю различные субъекты высказывания , утверждения, принимающих значения истины или лжи.
С помощью них можно рассматривать множество всех людей на земле, множество предложений русского языка, множество моделей автомобилей и так далее.
Показать читателю своего проекта, что такое предикаты и кванторы, рассказать о различных типах утверждениях истины и лжи.
Смог изучить и познакомиться с различными видами утверждений. а также познакомился с кванторами.
Моя работа может быть полезной для начинающих программистов, которые только начинают осваивать языки программирования.
Приложения к работе
Комментарии к работе