Wiki Mininuniver - Вклад участника [ru]

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

2010-10-26T10:16:53Z

Кузнецов Дмитрий: /* Результаты исследования */

==Название проекта==
[[Учебный проект Вычисляем рассуждения]]

==Авторы и участники проекта==
#[[Участник:Самарин Артём Игоревич|Самарин Артём Игоревич]] - поиск и обработка информации,подбор ссылок,Работа в wiki-портале
#[[Участник:Соклов Егор|Соколов Егор Олегович]] - Работа в wiki-портале,обработка информации
#[[Участник:Кузнецов Дмитрий Владимирович|Кузнецов Дмитрий Владимирович]] - создание Google Группы,Работа в wiki-портале
#[[Участник:Андрей Кленков|Кленков Андрей Сергеевич]] -работа с картинками, создание карты знаний
#[[Участник:Михаил Большаков|Большаков Михаил Валерьевич]] -обработка информации,Работа в wiki-портале
#[[Участник:Матвеев Роман|Матвеев Роман Александрович]] -обработка информации

==Тема исследования группы==
Применение аппарата математической логики для формулировки и доказательства теорем

== Проблемный вопрос (вопрос для исследования)==
Как средствами математической логики можно формулировать и доказывать теоремы?

== Гипотеза исследования ==
Мы предполагаем, что язык математической логики широко применим в математике.

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

==Ход работы==
- Создать группу «Математики» на Google для организации взаимодействия в ходе исследовательской работы.

- Осуществить совместный подбор ссылок на Интернет-ресурсы и поиск информации в печатных изданиях по теме исследования.

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

- Сформулировать выводы по результатам исследования.

- Оформить результаты исследования.

==Результаты исследования==
*Создали группу «Математики» на [http://groups.google.com/group/MathVGIPU Google] для организации взаимодействия в ходе исследовательской работы.
*Мы осуществили совместный подбор [http://bobrdobr.ru/group/4083726/ ссылок на Интернет-ресурсы]
*Мы создали карту знаний MindMeister с активными гиперссылками [http://www.mindmeister.com/65848541/ Карта знаний]

==Вывод==
В результате работы над данным исследованием мы ознакомились с возможностями применения математической логики в математике,научились создавать карты знаний,нами был найден язык логики предикатов,удобный для записи математических предложений. Он дает возможность выражать логические связи между понятиями, записывать определения, теоремы, доказательства.

==Полезные ресурсы==
*[http://chernykh.net/content/view/131/ Логика математическая]
*[http://www.mccme.ru/free-books/ Н. К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов]
*[http://www.ido.rudn.ru/nfpk/inf/inf7.html Основы математической логики]
*[http://public.uic.rsu.ru/~skritski/math-inf/Sect01.htm Основы и история математической логики]
*[http://ait.ustu.ru/disciplines/matlog/main.htm Мат.логика и теория алгоритмов]
*[http://users.univer.omsk.su/~guts/logic.htm Математическая логика и теория алгоритмов А.К. Гуц]

== Другие документы ==
[[Категория:Проекты]]

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

2010-10-26T10:07:53Z

Кузнецов Дмитрий: /* Вывод */

==Название проекта==
[[Учебный проект Вычисляем рассуждения]]

==Авторы и участники проекта==
#[[Участник:Самарин Артём Игоревич|Самарин Артём Игоревич]] - поиск и обработка информации,подбор ссылок,Работа в wiki-портале
#[[Участник:Соклов Егор|Соколов Егор Олегович]] - Работа в wiki-портале,обработка информации
#[[Участник:Кузнецов Дмитрий Владимирович|Кузнецов Дмитрий Владимирович]] - создание Google Группы,Работа в wiki-портале
#[[Участник:Андрей Кленков|Кленков Андрей Сергеевич]] -работа с картинками, создание карты знаний
#[[Участник:Михаил Большаков|Большаков Михаил Валерьевич]] -обработка информации,Работа в wiki-портале
#[[Участник:Матвеев Роман|Матвеев Роман Александрович]] -обработка информации

==Тема исследования группы==
Применение аппарата математической логики для формулировки и доказательства теорем

== Проблемный вопрос (вопрос для исследования)==
Как средствами математической логики можно формулировать и доказывать теоремы?

== Гипотеза исследования ==
Мы предполагаем, что язык математической логики широко применим в математике.

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

==Ход работы==
- Создать группу «Математики» на Google для организации взаимодействия в ходе исследовательской работы.

- Осуществить совместный подбор ссылок на Интернет-ресурсы и поиск информации в печатных изданиях по теме исследования.

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

- Сформулировать выводы по результатам исследования.

- Оформить результаты исследования.

==Результаты исследования==
*Мы осуществили совместный подбор [http://bobrdobr.ru/group/4083726/ ссылок на Интернет-ресурсы]
*Мы создали карту знаний MindMeister с активными гиперссылками [http://www.mindmeister.com/65848541/ Карта знаний]

==Вывод==
В результате работы над данным исследованием мы ознакомились с возможностями применения математической логики в математике,научились создавать карты знаний,нами был найден язык логики предикатов,удобный для записи математических предложений. Он дает возможность выражать логические связи между понятиями, записывать определения, теоремы, доказательства.

==Полезные ресурсы==
*[http://chernykh.net/content/view/131/ Логика математическая]
*[http://www.mccme.ru/free-books/ Н. К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов]
*[http://www.ido.rudn.ru/nfpk/inf/inf7.html Основы математической логики]
*[http://public.uic.rsu.ru/~skritski/math-inf/Sect01.htm Основы и история математической логики]
*[http://ait.ustu.ru/disciplines/matlog/main.htm Мат.логика и теория алгоритмов]
*[http://users.univer.omsk.su/~guts/logic.htm Математическая логика и теория алгоритмов А.К. Гуц]

== Другие документы ==
[[Категория:Проекты]]

Группа ИСТ-10

2010-10-19T09:06:33Z

Кузнецов Дмитрий:

[[Изображение:ИСТ-10 09.2010.jpg|500px|center]]

Куратор: [[Участник:Круподерова Елена Петровна|Круподерова Елена Петровна]]

'''Список группы:'''
#[[Участник:Плеханов Семён|<big>Плеханов Семён Петрович</big>]]
#[[Участник:Гришин Евгений|Гришин Евгений Анатольевич]]
#[[Участник:Слепышева Елена|Слепышева Елена Александровна]]
#[[Участник:Никитаева Елена|Никитаева Елена Сергеевна]]
#[[Участник:Кислицкий Илья|Кислицкий Илья Станиславович]]
#[[Участник:Михаил Большаков|Большаков Михаил Валерьевич]]
#[[Участник:Андрей Кленков|Кленков Андрей Сергеевич]]
#[[Участник:Иришка Царегородцева|Царегородцева Ирина Владимировна]]
#[[Участник:Kristina R|Родионова Кристина Владимировна]]
#[[Участник:Кузнецов Дмитрий Владимирович|Кузнецов Дмитрий Владимирович]]
#[[Участник: Андрей Лабзин|<big>Лабзин Андрей Федорович</big>]]
#[[Участник:Тумасов Иван Александрович|Тумасов Иван Александрович]]
#[[Участник:Матвеев Роман|Матвеев Роман Александрович]]
#[[Участник:Румянцева Анна|Румянцева Анна Сергеевна]]
#[[Участник:Соклов Егор|Соколов Егор Олегович]]
#[[Участник:Самарин Артём Игоревич|Самарин Артём Игоревич]]
#[[Участник:Мартынов Александр|Мартынов Александр]]
#[[Участник:Максим Вер|Вершинин Максим Федорович]]
#[[Участник:Васильев Дмитрий|Васильев Дмитрий]]
#[[Участник:Комаров Иван|Комаров Иван]]
#[[Участник:Алексей Рыжов|Алексей Рыжов]]
#[[Участник:Пениченко Александр | Пениченко Александр]]
'''Актив группы'''
{|border=1
!Староста
|[[Участник:Никитаева Елена|Никитаева Елена Сергеевна]]
|-
!Зам старосты
|[[Участник:Плеханов Семён|<big>Плеханов Семён Петрович</big>]]
|-
!Профорг
|[[Участник:Кислицкий Илья|Кислицкий Илья Станиславович]]
|-
!Физорг
|[[участник:Андрей Лабзин|<big>Лабзин Андрей Федорович</big>]]
|-
!Культорг
|[[Участник:Иришка Царегородцева|Царегородцева Ирина Владимировна]]
|}

[[Категория:Институт дизайна]]
[[Категория:Группы]]

Группа ИСТ-10

2010-10-19T09:05:37Z

Кузнецов Дмитрий:

[[Изображение:ИСТ-10 09.2010.jpg|500px|center]]

Куратор: [[Участник:Круподерова Елена Петровна|Круподерова Елена Петровна]]

'''Список группы:'''
#[[Участник:Плеханов Семён|<big>Плеханов Семён Петрович</big>]]
#[[Участник:Гришин Евгений|Гришин Евгений Анатольевич]]
#[[Участник:Слепышева Елена|Слепышева Елена Александровна]]
#[[Участник:Никитаева Елена|Никитаева Елена Сергеевна]]
#[[Участник:Кислицкий Илья|Кислицкий Илья Станиславович]]
#[[Участник:Михаил Большаков|Большаков Михаил Валерьевич]]
#[[Участник:Андрей Кленков|Кленков Андрей Сергеевич]]
#[[Участник:Иришка Царегородцева|Царегородцева Ирина Владимировна]]
#[[Участник:Kristina R|Родионова Кристина Владимировна]]
#[[Участник:Кузнецов Дмитрий|Кузнецов Дмитрий Владимирович]]
#[[Участник: Андрей Лабзин|<big>Лабзин Андрей Федорович</big>]]
#[[Участник:Тумасов Иван Александрович|Тумасов Иван Александрович]]
#[[Участник:Матвеев Роман|Матвеев Роман Александрович]]
#[[Участник:Румянцева Анна|Румянцева Анна Сергеевна]]
#[[Участник:Соклов Егор|Соколов Егор Олегович]]
#[[Участник:Самарин Артём Игоревич|Самарин Артём Игоревич]]
#[[Участник:Мартынов Александр|Мартынов Александр]]
#[[Участник:Максим Вер|Вершинин Максим Федорович]]
#[[Участник:Васильев Дмитрий|Васильев Дмитрий]]
#[[Участник:Комаров Иван|Комаров Иван]]
#[[Участник:Алексей Рыжов|Алексей Рыжов]]
#[[Участник:Пениченко Александр | Пениченко Александр]]
'''Актив группы'''
{|border=1
!Староста
|[[Участник:Никитаева Елена|Никитаева Елена Сергеевна]]
|-
!Зам старосты
|[[Участник:Плеханов Семён|<big>Плеханов Семён Петрович</big>]]
|-
!Профорг
|[[Участник:Кислицкий Илья|Кислицкий Илья Станиславович]]
|-
!Физорг
|[[участник:Андрей Лабзин|<big>Лабзин Андрей Федорович</big>]]
|-
!Культорг
|[[Участник:Иришка Царегородцева|Царегородцева Ирина Владимировна]]
|}

[[Категория:Институт дизайна]]
[[Категория:Группы]]

Группа ИСТ-10

2010-10-19T09:04:54Z

Кузнецов Дмитрий:

[[Изображение:ИСТ-10 09.2010.jpg|500px|center]]

Куратор: [[Участник:Круподерова Елена Петровна|Круподерова Елена Петровна]]

'''Список группы:'''
#[[Участник:Плеханов Семён|<big>Плеханов Семён Петрович</big>]]
#[[Участник:Гришин Евгений|Гришин Евгений Анатольевич]]
#[[Участник:Слепышева Елена|Слепышева Елена Александровна]]
#[[Участник:Никитаева Елена|Никитаева Елена Сергеевна]]
#[[Участник:Кислицкий Илья|Кислицкий Илья Станиславович]]
#[[Участник:Михаил Большаков|Большаков Михаил Валерьевич]]
#[[Участник:Андрей Кленков|Кленков Андрей Сергеевич]]
#[[Участник:Иришка Царегородцева|Царегородцева Ирина Владимировна]]
#[[Участник:Kristina R|Родионова Кристина Владимировна]]
#[[Участник:Кузнецов Дмитрий Владимирович|Кузнецов Дмитрий]]
#[[Участник: Андрей Лабзин|<big>Лабзин Андрей Федорович</big>]]
#[[Участник:Тумасов Иван Александрович|Тумасов Иван Александрович]]
#[[Участник:Матвеев Роман|Матвеев Роман Александрович]]
#[[Участник:Румянцева Анна|Румянцева Анна Сергеевна]]
#[[Участник:Соклов Егор|Соколов Егор Олегович]]
#[[Участник:Самарин Артём Игоревич|Самарин Артём Игоревич]]
#[[Участник:Мартынов Александр|Мартынов Александр]]
#[[Участник:Максим Вер|Вершинин Максим Федорович]]
#[[Участник:Васильев Дмитрий|Васильев Дмитрий]]
#[[Участник:Комаров Иван|Комаров Иван]]
#[[Участник:Алексей Рыжов|Алексей Рыжов]]
#[[Участник:Пениченко Александр | Пениченко Александр]]
'''Актив группы'''
{|border=1
!Староста
|[[Участник:Никитаева Елена|Никитаева Елена Сергеевна]]
|-
!Зам старосты
|[[Участник:Плеханов Семён|<big>Плеханов Семён Петрович</big>]]
|-
!Профорг
|[[Участник:Кислицкий Илья|Кислицкий Илья Станиславович]]
|-
!Физорг
|[[участник:Андрей Лабзин|<big>Лабзин Андрей Федорович</big>]]
|-
!Культорг
|[[Участник:Иришка Царегородцева|Царегородцева Ирина Владимировна]]
|}

[[Категория:Институт дизайна]]
[[Категория:Группы]]