Результаты исследований группы Инженеры в проекте Вычисляем рассуждения — различия между версиями

Материал из НГПУ им. К.Минина
Перейти к: навигация, поиск
Строка 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. Плеханов Семён Петрович
  2. Гришин Евгений Анатольевич
  3. Кислицкий Илья Станиславович
  4. Лабзин Андрей Федорович
  5. Комаров Иван

Тема исследования группы

Как аппарат математической логики применяется в современной электронно-вычислительной технике?

Поставленные задачи

1) Создать группу <<Инженеры>> на Google для организации взаимодействия в ходе исследовательской работы.
2) Осуществить совместный подбор ссылок на Интернет-ресурсы и поиск информации в печатных изданиях по теме исследования.
3) Провести анализ полученной информации по теме исследования и ответить на вопросы:
а) как язык классической математической логики находит применение при построении релейно-контактных схем?
б) что такое нечеткая логика и в каких областях она применяется?
4) Сформулировать выводы по результатам исследования.
5) Оформить результаты исследования.

Проблемный вопрос (вопрос для исследования)

Гипотеза исследования

Цели исследования

Провести анализ возможностей использования языка математической логики в современной электронно-вычислительной технике.

Результаты исследования

Вывод

Полезные ресурсы

Математическая логика

Сетунь(компьютер)

Логика в информатике

Алгебра логики и логические основы компьютера


Другие документы