Результаты исследований группы Инженеры в проекте Вычисляем рассуждения: различия между версиями
Строка 41: | Строка 41: | ||
==Полезные ресурсы== | ==Полезные ресурсы== | ||
+ | [http://ru.wikipedia.org/wiki/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/ Математическая логика] | ||
+ | |||
+ | [http://ru.wikipedia.org/wiki/%D0%A1%D0%B5%D1%82%D1%83%D0%BD%D1%8C_%28%D0%BA%D0%BE%D0%BC%D0%BF%D1%8C%D1%8E%D1%82%D0%B5%D1%80%29/ Сетунь(компьютер)] | ||
+ | |||
+ | [http://ru.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_%D0%B2_%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B5/ Логика в информатике] | ||
+ | |||
+ | [http://inf1.info/logic/ Алгебра логики и логические основы компьютера] | ||
Версия 13:32, 19 октября 2010
Содержание
Название проекта
Учебный проект Вычисляем рассуждения
Авторы и участники проекта
- Плеханов Семён Петрович
- Гришин Евгений Анатольевич
- Кислицкий Илья Станиславович
- Лабзин Андрей Федорович
- Комаров Иван
Тема исследования группы
Как аппарат математической логики применяется в современной электронно-вычислительной технике?
Поставленные задачи
1) Создать группу <<Инженеры>> на Google для организации взаимодействия в
ходе исследовательской работы.
2) Осуществить совместный подбор ссылок на Интернет-ресурсы и поиск
информации в печатных изданиях по теме исследования.
3) Провести анализ полученной информации по теме исследования и ответить
на вопросы:
а) как язык классической математической логики находит применение при
построении релейно-контактных схем?
б) что такое нечеткая логика и в каких областях она применяется?
4) Сформулировать выводы по результатам исследования.
5) Оформить результаты исследования.
Проблемный вопрос (вопрос для исследования)
Гипотеза исследования
Цели исследования
Провести анализ возможностей использования языка математической логики в современной электронно-вычислительной технике.
Результаты исследования
Вывод
Полезные ресурсы
Алгебра логики и логические основы компьютера