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

Результаты исследований группы Гугловцы в проекте Объединённые сетью-2011

2011-05-24T05:13:45Z

Иван: /* Другие документы */

==Авторы и участники проекта==
#[[Участник:Андрей Кленков|Кленков Андрей Сергеевич]] - Редактирование страницы Wiki-ВГИПУ
#[[Участник:Комаров Иван|Комаров Иван]] - Создание Google-календаря с важными событиями группы, создание Google-группы
#[[Участник:Кузнецов Дмитрий Владимирович|Кузнецов Дмитрий Владимирович]] - Создание Google-сайта
#[[Участник:Алексей Рыжов|Алексей Рыжов]] - Подготовка документа для совместного редактирования в Google.docs
#[[Участник:Кислицкий Илья|Кислицкий Илья Станиславович]] - Создание Веб-альбома "Наш Университет"

==Тема исследования группы==
Как можно использовать возможности поисковой системы Google для организации сотрудничества студентов и педагогов?

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

== Гипотеза исследования ==
Мы считаем, что сервисы Google способствуют сотрудничеству студентов и педагогов, способствуют организации их работы.

==Цели исследования==
Проанализировать возможности Веб 2.0 в поисковой системе Google, выяснить, как их можно использовать в учебном процессе, создать пример Google-сайта.

=='''''Ход работы'''''==
# Создание группы на Google для организации взаимодействия в ходе исследовательской работы;
# Создание Google-сайты;
# Создание документа для совместного редактирования в Google.docs;
# Создание Веб-альбома "Наш Университет";
# Создание Google-календаря с важными событиями группы
# Проведение анкетирования студентов по использованию Википортала для получения информации об информированности студентов o Google;
# Подведение итогов и построение выводов.

==Результаты проведённого исследования==

#[https://spreadsheets.google.com/spreadsheet/viewform?formkey=dDc4QnphZzllMUV0YWNFU3FDRW11eUE6MQ '''''Анкетирование студентов. Исследование сервисов Google''''']
#[http://groups.google.com/group/Gooogle2011?hl=ru '''''Наша Google группа''''']
#[https://sites.google.com/site/gooogleist10/ '''''Наш Google сайт''''']

'''Что такое Google?'''
Google (русск. Гугл) — поисковая система, принадлежащая корпорации Google Inc.
Первая по популярности (84,65 %), обрабатывает 41 млрд 345 млн запросов в месяц (доля рынка 62,4 %), индексирует более 8 миллиардов веб-страниц, может находить информацию на 191 языке (c 15 октября 2009).
Поддерживает поиск в документах форматов PDF, RTF, PostScript, Microsoft Word, Microsoft Excel, Microsoft PowerPoint и других.

'''История Создания'''

Поисковая система Google была создана в качестве учебного проекта студентов Стэнфордского университета Ларри Пейджа и Сергея Брина. Они в 1996 году работали над поисковой системой BackRub, а в 1998 году на её основе создали поисковую систему Google.
Хотя корпорация была основана 4 сентября 1998 года, а домен Google.com зарегистрирован 15 сентября 1997 года, поисковик (с 2005 года) иногда отмечает свой день рождения и в другой день: как 7, так и 27 сентября.
Название Google произошло от неправильного написания слова Гугол (Googol) Сергеем Брином, которое означает десять в сотой степени — 10^100.
'''Индексация сайтов'''
Поисковый робот Google имеет User Agent — Googlebot (Поисковый робот), который является основным роботом, сканирующим содержание страницы для поискового индекса. Помимо него существуют ещё несколько специализированных роботов:

* Googlebot-Mobile — робот, индексирующий сайты для мобильных устройств,
* Google Search Appliance (Google) gsa-crawler — поисковой робот нового аппаратно-программного комплекса Search Appliance,
* Googlebot-Image — робот, сканирующий страницы для индекса картинок,
* Mediapartners-Google — робот, сканирующий контент страницы для определения содержания AdSense,
* Adsbot-Google — робот, сканирующий контент для оценки качества целевых страниц AdWords.

Существует теория эффекта песочницы, которая утверждает, что сайты, которые имеют новые доменные имена, частые смены владельцев или нэймсерверов, помещаются в «песочницу» (зону ожидания) и пребывают там, пока механизм Google не сочтёт сайт готовым из неё выйти.

Также существует обратная теория, называющаяся «бонус новичка», в которой при первоначальной индексации сайта, в силу некоторых аспектов (например нескольких ссылок с авторитетных ресурсов), сайту сразу присваивается высокий Page Rank и хорошие места в поисковой выдаче. По истечении некоторого времени, после снятия этого эффекта сайту присваиваются его реальные показатели.
Проблемы с авторскими правами

KaZaA и Церковь Сайентологии использовали Закон об авторском праве в цифровую эпоху (DMCA), чтобы потребовать от Google удалить ссылки на материалы на их сайтах якобы защищённые авторским правом. Google по закону обязан удалить эти ссылки, но вместо того, чтобы убрать результаты поиска, предпочитает связать результаты с жалобами, которые подали эти организации.

New York Times жаловалась на то, что кэширование их содержания поисковым роботом — особенность, используемая поисковиками, в том числе Google Web Search, нарушает авторские права. Google соблюдает стандартные Интернет-приёмы для запросов об отключении кэширования посредством файла robots.txt — стандартного механизма, позволяющего администраторам веб-сайта потребовать исключения своего сайта или его части из результатов поиска — или через мета-теги, позволяющие редактору контента указать, можно ли индексировать или архивировать документ и можно ли проходить по ссылкам в документе. Окружной суд США штата Невада постановил, что кэши компании Google не нарушают авторских прав согласно американскому законодательству в делах Field v. Google и Parker v. Google.

==Вывод==
'''В ходе работы мы познакомились с сервисами Google.

Научились создавать: Google-сайты, Google-группы, Google-календари, Google-фотоальбомы, Google-документы, анкетирование студентов.

Сервисы Google помогают сотрудничеству студентов и педагогов.

Проанализировали возможности Веб 2.0 в поисковой системе Google.

Выяснили как их можно использовать в учебном процессе.

'''

==Источники==

[http://ru.wikipedia.org/wiki/Google Википедия о Google]

==Полезные ресурсы==
[http://groups.google.com/group/Gooogle2011?hl=ru Google-группа Гугловцы]

[https://sites.google.com/site/gooogleist10 Google-сайт]

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

[[Изображение:Облако Кленков.jpg]]
[[Изображение:Облако1.bmp]]
[[Категория:Проекты]]

Файл:Облако1.bmp

2011-05-24T05:04:13Z

Иван: Облако1

Облако1

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

2010-10-23T05:40:10Z

Иван: /* Авторы и участники проекта */

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

==Авторы и участники проекта==
#[[Участник:Плеханов Семён|Плеханов Семён Петрович]]
#[[Участник: Андрей Лабзин|Лабзин Андрей Федорович]]
#[[Участник:Гришин Евгений|Гришин Евгений Анатольевич]]
#[[Участник:Кислицкий Илья|Кислицкий Илья Станиславович]]
#[[Участник:Комаров Иван|Комаров Иван Александрович]]

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

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

Как происходит взаимодействие логической части программы с её физической начинкой.

== Гипотеза исследования ==
Проанализировать возможности языка
математической логики в современной электронно-вычислительной технике. 
Как используются в технике : 
*Полусумматор. 
*Сумматор. 
*Триггер. 

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

==Результаты исследования==
Применение в логике математических методов становится возможным тогда, когда суждения формулируются на некотором точном языке. Такие точные языки имеют две стороны: синтаксис и семантику. Синтаксисом называется совокупность правил построения объектов языка (обычно называемых формулами). Семантикой называется совокупность соглашений, описывающих наше понимание формул (или некоторых из них) и позволяющих считать одни формулы верными, а другие — нет. 
Важную роль в математической логике играют понятия дедуктивной теории и исчисления. Исчислением называется совокупность правил вывода, позволяющих считать некоторые формулы выводимыми. Правила вывода подразделяются на два класса. Одни из них непосредственно квалифицируют некоторые формулы как выводимые. Такие правила вывода принято называть аксиомами. Другие же позволяют считать выводимыми формулы A, синтаксически связанные некоторым заранее определённым способом с конечными наборами A1,....An выводимых формул. Широко применяемым правилом второго типа является правило modus ponens: если выводимы формулы A и (А->B), то выводима и формула B. 
Отношение исчислений к семантике выражается понятиями семантической пригодности и семантической полноты исчисления. Исчисление И называется семантически пригодным для языка Я, если любая выводимая в И формула языка Я является верной. Аналогично, исчисление И называется семантически полным в языке Я, если любая верная формула языка Я выводима в И.Математическая логика изучает логические связи и отношения лежащие в основе логического ( дедуктивного ) вывода с использованием языка математики. 
Многие из рассматриваемых в математической логике языков обладают семантически полными и семантически пригодными исчислениями. В частности, известен результат К. Гёделя о том, что так называемое классическое исчисление предикатов является семантически полным и семантически пригодным для языка классической логики предикатов первого порядка. С другой стороны, имеется немало языков, для которых построение семантически полного и семантически пригодного исчисления невозможно. В этой области классическим результатом является теорема Гёделя о неполноте, утверждающая невозможность семантически полного и семантически пригодного исчисления для языка формальной арифметики. 
Стоит отметить, что на практике множество элементарных логических операций является обязательной частью набора инструкций всех современных микропроцессоров и соответственно входит в языки программирования. Это является одним из важнейших практических приложений методов математической логики, изучаемых в современных учебниках информатики.

{|
!<big>Полусумматор</big>
!<big>Полный сумматор</big>
!<big>Тригер</big>
|-
|[[Изображение:Полусумматор.JPG|200px]]
|[[Изображение:Полный сумматор.JPG|300px]]
|[[Изображение:Триггер.JPG|315px]]
|-
|var x,y,Pi,P,S:Boolean;

procedure TForm1.Button1Click(Sender: TObject);

begin

x:=strtobool(edit5.text);

y:=strtobool(edit6.text);

Pi:=strtobool(edit7.text);

P:=(not x and y and Pi)or(x and not y and Pi)or(x and y and not Pi)or(x and y and Pi);

S:=(not x and not y and Pi)or(not x and y and not Pi)or(x and not y and not Pi)or(x and y and Pi);

edit8.text:=booltostr(S,true);

edit9.text:=booltostr(P,true);

end;

end.
|var x,y,s,p,pi :boolean;

procedure TForm1.Button1Click(Sender: TObject);

begin

x:=strtobool(edit5.Text);

y:=strtobool(edit6.Text);

p:=strtobool(edit7.Text);

s:=(not x and not y and p) or (not x and y and not p) or (x and not y and not p) or (x and y and p);

pi:=(not x and y and p) or (x and not y and p) or(x and y and not p) or(x and y and p);

edit8.text:=booltostr(s,true);

edit9.text:=booltostr(pi,true);

end;

end.
|var S,R,Or1Out,Not1out,or2out,not2out:boolean

procedure TForm2.Button1Click(Sender: TObject);

begin

S:=StrToBool(editset.text);

R:=StrToBool(editreset.text);

or1out:=s or not2out;

not1out:=not or1out;

or2out:=not1 out or r;

not2out:=bot or2out;

editor1out.text:=booltostr(or1out,true);

editor2out.text:=booltostr(or2out,true);

editq2.text:=booltostr(not1out,true);

editq1.text:=booltostr(not2out,true);

end;

end.
|}

==Вывод==

==Полезные ресурсы==
[http://ru.wikipedia.org/wiki/Математическая_логика Математическая логика]

[http://ru.wikipedia.org/wiki/Сетунь_(компьютер) Сетунь(компьютер)]

[http://ru.wikipedia.org/wiki/Логика_в_информатике Логика в информатике]

[http://inf1.info/logic Алгебра логики и логические основы компьютера]

[http://ru.wikipedia.org/wiki/Полусумматор Полусумматор]

[http://ru.wikipedia.org/wiki/Сумматор Сумматор]

[http://ru.wikipedia.org/wiki/Триггер Триггер]

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

[[Категория:Проекты]]

Файл:Триггер.JPG

2010-10-19T10:39:44Z

Иван:

Файл:Полный сумматор.JPG

2010-10-19T10:32:47Z

Иван:

Файл:Полусумматор.JPG

2010-10-19T10:31:27Z

Иван:

Участник:Комаров Иван

2010-09-24T18:56:59Z

Иван: Новая: <center>'''Фамилия имя:''' ''Комаров Иван'' '''Институт:''' Институт дизайна '''Группа:''' Группа ИСТ-10 '''Мои ...

<center>'''Фамилия имя:''' ''Комаров Иван''

'''Институт:''' [[Институт дизайна]]

'''Группа:''' [[Группа ИСТ-10]]

'''Мои увлечения:'''
''Танцор :)''

'''Контакты:''' ''http://vkontakte.ru/id21202404''

[[Категория:Студент]]

Участник:Иван

2010-09-24T18:55:32Z

Иван: Новая: <center>'''Фамилия имя:''' ''Комаров Иван'' '''Институт:''' Институт дизайна '''Группа:''' Группа ИСТ-10 '''Мои ...

Группа ИСТ-10

2010-09-24T18:50:08Z

Иван:

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

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

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

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

Обсуждение участника:Katya2040e

2009-07-21T16:53:39Z

Katya2040e: Новая: Приветик! Я Катя. Мне 19, я работаю бухгалтером на двух фирмах, закончила колледж и сейчас учусь в Минск...

Приветик! Я Катя.
Мне 19, я работаю бухгалтером на двух фирмах, закончила колледж и сейчас учусь в
Минском институте управлнения на факультете «Бухгалтерский учет, анализ и контроль»,
квалификация при получении диплома - экономиста.
Учусь на заочном и готовиться к сессии приходиться в основном самой, потому что
за две недели преподаватели не могут успеть подготовить нас к сессии.
Мы изучаем много предметов бухгалтерский учет, статистику, менеджмент, математику,
философию, историю, политологию и множество других.
В свободное время люблю слушать музыку, танцевать, заниматься спортом, ходить в клубы,
кафе, рестораны или просто отдохнуть за городом с друзьями на природе.
Обожаю отдыхать на море, загорать на солнышке.

Интересные сайты: [http://www.kupiall.ru Сайт 1] [http://www.kupiallzdes.ru Сайт 2]
[http://www.kupieasy.ru Сайт 3] [http://www.kupilkinspok.ru Сайт 4][http://www.kupirealteach.ru Сайт 5]