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

Название проекта

Учебный проект Вычисляем рассуждения

Авторы и участники проекта

1. Плеханов Семён Петрович
2. Гришин Евгений Анатольевич
3. Кислицкий Илья Станиславович
4. Лабзин Андрей Федорович
5. Комаров Иван

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

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

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

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

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

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

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

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

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

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

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