|
Сообщения
| |
Zinchenko | Дата: Вторник, 18.02.2014, 14:12 | Сообщение # 16 |
Сержант
Группа: Модераторы
Сообщений: 32
Статус: Offline
| Системы оптического распознавания текста. По моему мнению распознавание различной информации нужно в нашем мире, потому что это нужная вещь,т.к. это необходимо для некоторых организаций нашей страны и не только. На стадии подготовки и обработки информации, особенно при компьютеризации предприятия, автоматизации бух учета, возникает задача ввода большого объема текстовой и графической информации в ПК. Основными устройствами для ввода графической информации являются: сканер, факс-модем и реже цифровая фотокамера. Кроме того, используя программы оптического распознавания текстов, можно вводить в компьютер (оцифровывать) также и текстовую информацию. Современные программно-аппаратные системы позволяют автоматизировать ввод больших объемов информации в компьютер, используя, например, сетевой сканер и параллельное распознавание текстов на нескольких компьютерах одновременно.Большинство программ оптического распознавания текста (OCR Optical Character Recognition) работают с растровым изображением, которое получено через факс-модем, сканер, цифровую фотокамеру или другое устройство. На первом этапе OCR должен разбить страницу на блоки текста, основываясь на особенностях правого и левого выравнивания и наличия нескольких колонок. Затем распознанный блок разбивается на строки. Несмотря на кажущуюся простоту, это не такая очевидная задача, так как на практике неизбежны перекос изображения страницы или фрагментов страницы при сгибах. Даже небольшой наклон приводит к тому, что левый край одной строки становится ниже правого края следующей, особенно при маленьком межстрочном интервале. Врезультате возникает проблема определения строки, к которой относится тот или иной фрагмент изображения. Например, для букв j, Й, ё при небольшом наклоне уже сложно определить, к какой строке относится верхняя (отдельная) часть символа (в некоторых случаях ее можно принять за запятую или точку). Потом строки разбиваются на непрерывные области изображения, которые, как правило, соответствуют отдельным буквам; алгоритм распознавания делает предположения относительно соответствия этих областей символам; а затем делается выбор каждого символа, в результате чего страница восстанавливается в символах текста, причем, как правило, в соответствующем формате. OCR-системы могут достигать наилучшей точности распознавания свыше 99,9% для чистых изображений, составленных из обычных шрифтов. На первый взгляд такая точность распознавания кажется идеальной, но уровень ошибок все же удручает, потому что, если имеется приблизительно 1500 символов на странице, то даже при коэффициенте успешного распознавания 99,9% получается одна или две ошибки на страницу. Втаких случаях на помощь приходит метод проверки по словарю. То есть, если какого-то слова нет в словаре системы, то она по специальным правилам пытается найти похожее. Но это все равно не позволяет исправлять 100% ошибок, что требует человеческого контроля результатов. Встречающиеся в реальной жизни тексты обычно далеки от совершенства, и процент ошибок распознавания для нечистых текстов часто недопустимо велик. Грязные изображения здесь наиболее очевидная проблема, потому что даже небольшие пятна могут затенять определяющие части символа или преобразовывать один в другой. Еще одной проблемой является неаккуратное сканирование, связанное с человеческим фактором, так как оператор, сидящий за сканером, просто не в состоянии разглаживать каждую сканируемую страницу и точно выравнивать ее по краям сканера.
|
|
| |
Zinchenko | Дата: Вторник, 18.02.2014, 14:12 | Сообщение # 17 |
Сержант
Группа: Модераторы
Сообщений: 32
Статус: Offline
| Программное обеспечение OCR обычно работает с большим растровым изображением страницы из сканера. Изображения со стандартной степенью разрешения получаются сканированием с точностью 9600 пикселей на дюйм. Изображение листа формата A4 при этом разрешении занимает около 1МБ памяти. Основное назначение OCR-систем состоит в анализе растровой информации (отсканированного символа) и присвоении фрагменту изображения соответствующего символа. После завершения процесса распознавания OCR-системы должны уметь сохранять форматирование исходных документов, присваивать в нужном месте атрибут абзаца, сохранять таблицы, графику ит.д. Современные программы распознавания поддерживают все известные текстовые и графические форматы и форматы электронных таблиц, а некоторые поддерживают такие форматы, как HTML и PDF. На данный момент существует огромное количество программ, поддерживающих распознавание текста как одну из возможностей.. Начнем обзор с лидера в этой области FineReader. Новая технология Intelligent Background Filtering (интеллектуальной фильтрации фона) позволяет отсеять информацию о текстуре документа и фоновом шуме изображения: иногда для выделения текста в документе используется серый или цветной фон. ABBYY FormReader еще одна распознавалка от ABBYY. Эта программа предназначена для распознавания и обработки форм, которые могут быть заполнены вручную.
OCR CuneiForm выгодно отличается уровнем распознавания, особенно текстов низкого качества; удобным интерфейсом с наличием встроенных мастеров помощников в работе; встроенным текстовым редактором, не уступающим по своей функциональности популярным текстовым процессорам, и многими другими возможностями. способна распознавать любые полиграфические и машинописные гарнитуры всех начертаний и шрифтов, получаемые с принтеров, за исключением декоративных и рукописных. Также программа способна распознавать таблицы различной структуры, в том числе и без линий и границ; редактировать и сохранять результаты в распространенных табличных форматах. Существенно облегчает работу и возможность прямого экспорта результатов в MS Word и MS Excel (для этого теперь не нужно сохранять результат в файл RTF, а затем открывать его с помощью MS Word). Также программа снабжена возможностями массового ввода возможностью пакетного сканирования, включая круглосуточное, сканирования с удаленных компьютеров локальной сети и организации распределенного параллельного сканирования в локальной сети. Readiris Pro7 профессиональная программа распознавания текста. отличается от аналогов высочайшей точностью преобразования обычных (каждодневных) печатных документов, таких как письма, факсы, журнальные статьи, газетные вырезки, в объекты, доступные для редактирования (включая файлы PDF). Основными достоинствами программы являются: возможность более или менее точного распознавания картинок, сжатых по максимуму (с максимальной потерей качества) методом JPEG, поддержка цифровых камер и автоопределения ориентации страницы. OmniPage11 продукт компании ScanSoft.. Разработчики утверждают, что их программа практически со 100% точностью распознает печатные документы, восстанавливая их форматирование, включая столбцы, таблицы, переносы (в том числе переносы частей слов), заголовки, названия глав, подписи, номера страниц, сноски, параграфы, нумерованные списки, красные строки, графики и картинки. Есть возможность сохранения в форматы Microsoft Office, PDF и в 20 других форматов, распознавания из файлов PDF, редактирование прямо в формате PDF. Система искусственного интеллекта позволяет автоматически обнаруживать и исправлять ошибки после первого исправления вручную. Новый специально разработанный модуль Despeckle позволяет распознавать документы с ухудшенным качеством (факсы, копии, копии копий ит.д.). Преимуществами программы являются возможность распознавания цветного текста и возможность корректировки голосом. Теперь версия OmniPage существует и для компьютеров Macintosh. Выполнила: Мединцева Даша 10 класс
|
|
| |
K@ten@ | Дата: Вторник, 18.02.2014, 14:15 | Сообщение # 18 |
 Лейтенант
Группа: Модераторы
Сообщений: 70
Статус: Offline
| Современные технологии дошли до того, что современные компьютеры становятся намного сложнее, однако пользоваться ими стало намного проще. Например: Речевые технологии - технологии ХХI ВЕКА благодаря которым появилась возможность управлять компьютером с помощью голоса, диктовать текст, слушать, а не читать книги, а в перспективе общаться с компьютером на интеллектуальном уровне. Основными направлениями исследований в этой области являются: распознавание речи, синтез речи, средства речевого управления,идентификация по образцу речи. Программное обеспечение на основе речевых технологий: программы синтеза речи; программы распознавания голоса и программы распознавания речи; управление компьютером и внешними устройствами, Microsoft Agent, программы для работы с почтой, идентификации по образцу речи, обучающие программы, специализированное програмное обеспечение, программы для незрячих. Также существуют различные системы голосового управления, или системы синтеза речи: Все системы голосового управления компьютером и другим оборудованием можно условно разделить на два класса. К первому классу мы будем относить устройства, назначением которых является облегчение работы с компьютером. Такие устройства используются в качестве дополнительного канала управления наряду с основными и традиционными каналами — клавиатура и мышь, а также экран компьютера (который служит каналом обратной связи). В устройствах второго класса речевой интерфейс является основным и единственным. Эти устройства доступны тем, кто не может работать с клавиатурой и экраном компьютера либо из-за проблем со здоровьем, либо из-за чрезмерной занятости какой-либо работой (например, управлением автомобилем или самолетом).
|
|
| |
K@ten@ | Дата: Вторник, 18.02.2014, 14:15 | Сообщение # 19 |
 Лейтенант
Группа: Модераторы
Сообщений: 70
Статус: Offline
| В этом разделе мы рассмотрим несколько систем голосового управления, созданных в компании «Центр речевых технологий», которую мы упоминали в 3 главе нашей книги. Это программы VoiceNavigator и Truffaldino, библиотека распознавания голосовых команд VoiceKeyKit и система DiVo управления мобильным телефоном в автомобиле без использования рук (hands-free car kit). Все они, кроме последней, относятся к первому классу, т.к. для работы с ними необходимы традиционные средства ввода и вывода информации. Систему DiVo управления мобильным телефоном в автомобиле можно отнести ко второму классу — для работы с этой системой не нужен ни компьютер, ни экран, ни клавиатура. К этому типу можно отнести новую технологию- "умный дом". Совсем недавно мы удивлялись воображению режиссеров и сценаристов, смотря фантастические фильмы и видя героев, которые подавали команды системам голосового управления и искусственному интеллекту. Авторы подобных картин в своих произведениях показывали нам то, что, как мы думали, если и будет когда-нибудь реализовано, то уж точно не в наш век.Но уже сегодня такие разработки появились в нашей бытовой жизни.
|
|
| |
MrFrost | Дата: Вторник, 18.02.2014, 14:16 | Сообщение # 20 |
 Рядовой
Группа: Пользователи
Сообщений: 4
Статус: Offline
| В современном мире , все мы слушаем музыку разных исполнителей, сейчас популярно прослушивать различные песни в соц.сетях ;,таких как. В контакте;Facebook;Twitter.Там принято их называть аудио записи.Случается так, что определенная музы кальная композиция вам запомнилась, понравилась, но ее название и исполнитель неизвестны. При желании приобрести диск или скачать понравившуюся композицию сразу возникает вопрос, как узнать название песни или исполнителя.
Вариантов поиска много. Чтобы узнать песню, можно расспрашивать друзей, задавать вопросы на различных форумах, пытаться определить исполнителя и название с помощью платных сервисов.
Однако самый простой способ узнать песню – это воспользоваться специальными веб-сервисами, которые предоставляют своим пользователь легкое и быстрое распознавание музыки онлайн!
Одним из таких сервисов является AudioTag.info – онлайновый распознаватель музыки.
C его помощью можно узнать название песни и исполнителя и другую информацию почти для любой музыкальной композиции. Онлайн сервис AudioTag.info позволяет распознать музыку по открывку песни (достаточно всего 15 секунд) или загрузив весь аудио трек полностью.
Распознавание музыки в онлайн сервисе AudioTag основано на сравнении так называемого аудио отпечатка, в который будет преобразован загруженный вами трек или его фрагмент, с отпечатками из базы сервиса. Музыкальная база сервиса AudioTag насчитывает более миллиона композиций отечественной и зарубежной музыки разных жанров: хиты популярной и рок-музыки, электронной музыки разных направлений, классики, джаза и др. База аудио-треков в сервисе AudioTag пополняется ежедневно!
Распознаватель музыки онлайн AudioTag работает в три шага: загрузка файла, подтверждение кода и выдача результата.
Онлайн распознаватель музыки AudioTag может проанализировать аудио-файл, загруженный с вашего компьютера, или найденный в интернете по указанной вами ссылке. Вы можете загрузить аудио-файл:
практически всех известных аудио форматов (.WAV, .MP3, .OGG и т.д.). Распознавание музыки может осуществляться также и с видео, в формате MPEG4. любого размера (отдельный отрывок или целый трек). Оптимальная продолжительность фрагмента для AudioTag - от 15-45 секунд. любого качества (в т.ч. низкокачественной и зашумленной записи). Программа позволяет распознать песню даже при очень плохом качестве отрывка, с наличием посторонних шумов, записанный, к примеру, через микрофон мобильника с радио.Я думаю , что благодаря различным программам мы можем облегчить свою жизни , допустим в поиске музыки и.т.д этим самым экономя свое время.
Подготовила: Зинченко.Арина.10класс .
|
|
| |
Docartem | Дата: Вторник, 18.02.2014, 14:18 | Сообщение # 21 |
 Рядовой
Группа: Модераторы
Сообщений: 13
Статус: Offline
| Кудрявцев Артем 10 класс Речевое общение является естественным и удобным для человека. Задача распознавания речи состоит в том, что бы убрать посредника в общении человека и компьютера. Управление машиной голосом в реальном времени, а также ввод информации посредством человеческой речи намного упростит жизнь современного человека. Научить машину понимать без посредника тот язык, на котором говорят между собой люди – задачи распознавания речи.Ученые и инженеры уже много лет решают проблему речевого общения человека и машины. Первое устройство для распознавания речи появилось в 1952 году, оно могло распознавать произнесённые человеком цифры. Коммерческие программы по распознаванию речи появились в начале девяностых годов.Все системы распознавания речи можно разделить на два класса:- Системы, зависимые от диктора - настраиваются на речь диктора в процессе обучения. Для работы с другим диктором такие системы требуют полной перенастройки.
 - Системы, не зависимые от диктора - работа которых не зависит от диктора. Такие системы не требуют предварительного обучения и способны распознавать речь любого диктора.
Изначально на рынке появились системы первого вида. В них звуковой образ команды хранился в виде целостного эталона. Для сравнения неизвестного произнесения и эталона команды использовались методы динамического программирования. Эти системы хорошо работали при распознавании небольших наборов из 10-30 команд и понимали только одного диктора. Для работы с другим диктором эти системы требовали полной перенастройки.Для того чтобы понимать слитную речь, необходимо было перейти к словарям гораздо больших размеров, от нескольких десятков до сотен тысяч слов. Методы, использовавшиеся в системах первого вида, не подходили для решения этой задачи, так как просто невозможно создать эталоны для такого количества слов.Кроме этого, существовало желание сделать систему, не зависящую от диктора. Это весьма сложная задача, поскольку у каждого человека индивидуальная манера произнесения: темп речи, тембр голоса, особенности произношения. Такие различия называются вариативностью речи. Чтобы ее учесть, были предложены новые статистические методы, опирающиеся в основном на математические аппараты Скрытых Марковских Моделей (СММ) или Искусственных Нейронных сетей. Вместо создания эталонов для каждого слова, создаются эталоны отдельных звуков, из которых состоят слова, так называемые акустические модели. Акустические модели формируются путём статистической обработки больших речевых баз данных, содержащих записи речи сотен людей.В существующих системах распознавания речи используются два принципиально разных подхода:- Распознавание голосовых меток - распознавание фрагментов речи по заранее записанному образцу. Этот подход широко используется в относительно простых системах, предназначенных для исполнения заранее записанных речевых команд.
- Распознавание лексических элементов - предполагает распознавание фрагментов речи по заранее записанному образцу. Этот подход широко используется в относительно простых системах, предназначенных для исполнения заранее записанных речевых команд.
Отметим, что создание систем распознавания речи представляет собой чрезвычайно сложную задачу. Специалисты компании Речевые Технологии обладают многолетним опытом в практическом применении речевых технологий.
|
|
| |
Dashka | Дата: Пятница, 21.02.2014, 21:06 | Сообщение # 22 |
Рядовой
Группа: Модераторы
Сообщений: 2
Статус: Offline
| Классификация текстовых редакторовТекстовой редактор - средство для набора и оформления текстовых документов.Текстовой редактор используют как для изготовления готовых документов, так и для подготовки текста для передачи в другие программы (например, издательскую систему или в интерпретатор языка программирования).Оформление документа включает в себя форматирование текста, вставку и форматирование внешних объектов (к примеру, математических формул, графиков, иллюстраций), задание свойств страницы.Под форматированием текста понимают задание его параметров (таких как размер, шрифт, выравнивание и т.д.). Под форматированием внешних объектов понимают задание размера внешнего объекта, его расположения. Форматирование внешних объектов осуществляется при помощи других программ, с помощью которых эти объекты были созданы.Примечание. В некоторых случаях данные программы могут быть встроены в текстовой редактор, и чисто внешне, восприниматься, как один из элементов текстового редактора, что, в общем, неверно.Текстовые редакторы различаются по возможностям форматирования текста и внешних объектов. Грубо, текстовые редакторы, можно разделить на четыре группы: простейшие редакторы, редакторы со средними возможностями форматирования текста, мощные редакторы, специализированные редакторы.Простейшие редакторы позволяют осуществлять набор текста, но не позволяют его форматировать. Это бывает удобно для подготовки текстов программ на языках программирования и языках разметки, текстов для последующей передачи в издательские системы с развитыми средствами форматирования текста.Примеры: NotePad (Блокнот) под MS Windows, SimpleText (ПростоТекст) под MacOS, Edit под MS DOS.Редакторы со средними возможностями позволяют осуществить набор текста и задание его основных (но не всех) свойств, таких как размер текста, его начертание и шрифт, абзацные отступы и выравнивание. Также редакторы со средними возможностями иногда позволяют вставлять внешние объекты, но это, как правило, только иллюстрации.Примеры: WordPad под MS Windows, ClarisWorks под MacOS, Lexicon (Лексикон) под MS DOS.Мощные редакторы представляют весь спектр возможностей по оформлению текстовых документов. Многие редакторы этого класса содержат в себе множество других программ позволяющих вставлять в текст такие внешние объекты как рисунки, математические формулы, графики, геометрические фигуры и т.д. Практически все редакторы этого класса имеют удобный графический интерфейс и основные команды форматирования представлены кнопками на панелях управления.Примеры: MS Word под MS Windows и MacOS, Tex-Edit под MacOS, "Слово и Дело" под MS DOS.Специализированные редакторы предназначенные для сугубо узкой направленности: оформление программ на языке программирования, подготовка текста для помещения в графический редактор или издательскую систему. Как правило, редакторы этого класса не являются отдельными программами, а входят в состав других программ и определяющих их специфичность.Примеры.Текстовой редактор, входящий в состав Turbo Pascal автоматически форматирует слова команд языка в зависимости от их типа (комментарии выделены одним цветом, команды другим, параметры команд третьим и т.д.).Текстовой редактор, входящий в состав в графический редактор CorelDraw помимо основных характеристик текста позволяет указывать привязку текста к графическим объектам, а также тип привязки.
|
|
| |
Zinchenko | Дата: Суббота, 01.03.2014, 11:40 | Сообщение # 23 |
Сержант
Группа: Модераторы
Сообщений: 32
Статус: Offline
| Электронные калькуляторыЭлектронные калькуляторы являются специализированными программными приложениями, предназначенными для произведения вычислений. Электронные калькуляторы по своим функциональным возможностям соответствуют аппаратным микрокалькуляторам.Аппаратные микрокалькуляторы могут существенно различаться по своим возможностям и областям применения. Простые микрокалькуляторы позволяют осуществлять только арифметические операции над числами и используются в быту. Инженерные микрокалькуляторы позволяют также вычислять значения различных функций (sin, cos и др.) и используются в процессе обучения и для инженерных расчетов; программистские микрокалькуляторы позволяют проводить вычисления в различных системах счисления и другие операции. Электронные калькуляторы гораздо удобнее, так как могут обладать возможностями всех вышеперечисленных типов аппаратных микрокалькуляторов. Электронный Калькулятор является стандартным приложением операционной системы Windows. Также кроме стандартной программы Калькулятор существует не мало других удобных калькуляторов.
|
|
| |
Zinchenko | Дата: Суббота, 01.03.2014, 11:41 | Сообщение # 24 |
Сержант
Группа: Модераторы
Сообщений: 32
Статус: Offline
| Электронные таблицыЭлектронная таблица — это программа обработки числовых данных, хранящая и обрабатывающая данные в прямоугольных таблицах.Электронная таблица состоит из столбцов и строк. Заголовки столбцов обозначаются буквами или сочетаниями букв (A, G, АВ и т. п.), заголовки строк — числами (1, 16, 278 и т. п.). Ячейка — место пересечения столбца и строки.Каждая ячейка таблицы имеет свой собственный адрес. Адрес ячейки электронной таблицы составляется из заголовка столбца и заголовка строки, например: Al, B5, E7. Ячейка, с которой производятся какие-то действия, выделяется рамкой и называется активной. Электронные таблицы, с которыми работает пользователь в приложении, называются рабочими листами. Можно вводить и изменять данные одновременно на нескольких рабочих листах, а также выполнять вычисления на основе данных из нескольких листов. Документы электронных таблиц могут включать несколько рабочих листов и называются рабочими книгами.Типы данных. Электронные таблицы позволяют работать с тремя основными типами данных: число, текст и формула.Числа в электронных таблицах Excel могут быть записаны в обычном числовом или экспоненциальном формате, например: 195,2 или 1.952Ё + 02. По умолчанию числа выравниваются в ячейке по правому краю. Это объясняется тем, что при размещении чисел друг под другом (в столбце таблицы) удобно иметь выравнивание по разрядам (единицы под единицами, десятки под десятками и т. д.).Текстом в электронных таблицах Excel является последовательность символов, состоящая из букв, цифр и пробелов, например запись «32 Мбайт» является текстовой. По умолчанию текст выравнивается в ячейке по левому краю. Это объясняется традиционным способом письма (слева направо).Формула должна начинаться со знака равенства и может включать в себя числа, Имена ячеек, функции (Математические, Статистические, Финансовые, Дата и время и т.д.) и знаки математических операций. Например, формула «=А1+В2» обеспечивает сложение чисел, хранящихся в ячейках А1 и В2, а формула «=А1*5» — умножение числа, хранящегося в ячейке А1, на 5. При вводе формулы в ячейке отображается не сама формула, а результат вычислений по этой формуле. При изменении исходных значений, входящих в формулу, результат пересчитывается немедленно.
|
|
| |
K@ten@ | Дата: Суббота, 01.03.2014, 11:46 | Сообщение # 25 |
 Лейтенант
Группа: Модераторы
Сообщений: 70
Статус: Offline
| 7. Электронные калькуляторыВо второй половине 1970-х гг. внимание ученых-методистов было привлечено к широко распространенным портативным микропроцессорным приборам - микрокалькуляторам, обещавшим немало привлекательных перспектив от внедрения их в учебный процесс школы: ускорение процессов счета и высвобождение солидной части учебного времени на решение прикладных задач, формирование полезных навыков работы с автоматическим устройством, ряд новых возможностей методики преподавания школьных дисциплин и прежде всего дисциплин естественнонаучного цикла - математики, физики, химии. Проведенная экспериментальная проверка [32 и др.] повлекла решение Министерства просвещения СССР о введении калькуляторов в учебный процесс массовой школы [58]. С распространением дешевых программируемых калькуляторов тут же появились методические разработки по использованию этих моделей как технического средства для обеспечения обучения школьников программированию и даже для управления учебным процессом [18, 25, 32, 69]. Тенденции эти, однако, вскоре должны были уступить натиску персональных компьютеров, обладающих куда более привлекательными потребительскими свойствами и несравнимой широтой функциональных и дидактических возможностей.
|
|
| |
K@ten@ | Дата: Суббота, 01.03.2014, 11:49 | Сообщение # 26 |
 Лейтенант
Группа: Модераторы
Сообщений: 70
Статус: Offline
| Калькулятор — устройство для арифметических вычислений. Мы пользуемся простыми калькуляторами для математических вычислений в школе и для подсчета денег в магазине. Ученые, инженеры и статистики пользуются другими калькуляторами, способными выполнять сложные операции. Современные калькуляторы — это электронные приборы с маленькими силиконовыми микросхемами, производящими любые вычисления. Разновидность калькулятора — кассовый аппарат. Он суммирует цены и делает распечатку чека. Большинство кассовых аппаратов автоматически считывают цены по бар- коду, указанному на каждом товаре. «Мозг» калькулятора может только складывать и вычитать. Умножение и деление он выполняет путем многократного сложения или вычитания. Элементы некоторых карманных калькуляторов настолько малы, что умещаются в футляре для визиток и даже в корпусе наручных часов.Обычный калькулятор выполняет сложение и вычитание, умножение и деление, а также вычисляет проценты. В его электронном «мозге» цифры представлены крошечными электрическими схемами, которые включаются и выключаются. «Мозг» работает с помощью бинарной (двоичной) системы счисления, использующей только две цифры (О и 1) вместо цифр 0, 1... 9, применяемых в десятичной системе. Любое число, которое вы вводите в калькулятор, преобразуется в бинарный код, а результаты в бинарном коде переводятся обратно в десятичную систему и отображаются на дисплее.Типы калькуляторов:Обычные карманные калькуляторы могут выполнять простейшие вычисления. Большинство имеют дисплей на восемь знаков и память для хранения промежуточных результатов. Работают они на гальванических или солнечных батарейках. Настольные калькуляторы значительно крупнее карманных. Некоторые из них работают от сети, делают распечатку на бумажной ленте и выводят данные на дисплей. Лабораторные калькуляторы — очень сложные устройства для вычисления математических функций или обработки статистических данных.Как устроен калькулятор:Когда вы набираете числа на клавиатуре, в регистры памяти калькулятора вводятся бинарные коды для операндов и арифметических действий (сложения, вычитания, умножения и деления). Арифметический блок выполняет действие и сохраняет результат в одном из регистров. Затем результат пересылается в память дисплея и отображается в десятичной форме на дисплее.ИЗ ИСТОРИИ:Первым простейшим калькулятором был абак (счеты). Счеты, изобретенные более 5000 лет назад, до сих пор используют в некоторых странах. Подсчеты ведутся с помощью деревянных костяшек, перемещаемых по проволоке в деревянной рамке. Костяшки означают разные разряды — например, единицы, десятки, сотни и т.д.Первые механические калькуляторы были созданы в XVII в. Расчеты на них выполнялись при помощи рычажков и шестерен. До XIX в. эти устройства не получили распространения. В 1830 г. англичанин Чарльз Бэббэдж изобрел так называемую аналитическую машину, представлявшую собой программируемый механический калькулятор. К сожалению, машина оказалась слишком сложной для своего времени. В 30-е и 40-е гг. XX в. ученые в США разработали большие электронно- вычислительные машины. Первый настольный электронный калькулятор появился в 1963 г., а в конце 1970-х гг. начался массовый выпуск карманных калькуляторов.
|
|
| |
K@ten@ | Дата: Суббота, 01.03.2014, 11:49 | Сообщение # 27 |
 Лейтенант
Группа: Модераторы
Сообщений: 70
Статус: Offline
|
|
|
| |
19АРСЕНИЙ19 | Дата: Среда, 19.03.2014, 20:00 | Сообщение # 28 |
 Рядовой
Группа: Пользователи
Сообщений: 12
Статус: Offline
| Оптическое распознавание символов (англ. optical character recognition, OCR) — механический или электронный перевод изображений рукописного, машинописного или печатного текста в текстовые данные — последовательность кодов, использующихся для представления символов в компьютере (например, в текстовом редакторе). Распознавание широко используется для конвертации книг и документов в электронный вид, для автоматизации систем учёта в бизнесе или для публикации текста на веб-странице. Оптическое распознавание текста позволяет редактировать текст, осуществлять поиск слова или фразы, хранить его в более компактной форме, демонстрировать или распечатывать материал, не теряя качества, анализировать информацию, а также применять к тексту электронный перевод, форматирование или преобразование в речь. Оптическое распознавание текста является исследуемой проблемой в областях распознавания образов, искусственного интеллекта и компьютерного зрения.
Системы оптического распознавания текста требуют калибровки для работы с конкретным шрифтом; в ранних версиях для программирования было необходимо изображение каждого символа, программа одновременно могла работать только с одним шрифтом. В настоящее время больше всего распространены так называемые «интеллектуальные» системы, с высокой степенью точности распознающие большинство шрифтов. Некоторые системы оптического распознавания текста способны восстанавливать исходное форматирование текста, включая изображения, колонки и другие нетекстовые компоненты.Добавлено (19.03.2014, 20:00) --------------------------------------------- Калькулятор — устройство для арифметических вычислений. Мы пользуемся простыми калькуляторами для математических вычислений в школе и для подсчета денег в магазине. Ученые, инженеры и статистики пользуются другими калькуляторами, способными выполнять сложные операции. Современные калькуляторы — это электронные приборы с маленькими силиконовыми микросхемами, производящими любые вычисления. Разновидность калькулятора — кассовый аппарат. Он суммирует цены и делает распечатку чека. Большинство кассовых аппаратов автоматически считывают цены по бар- коду, указанному на каждом товаре. «Мозг» калькулятора может только складывать и вычитать. Умножение и деление он выполняет путем многократного сложения или вычитания. Элементы некоторых карманных калькуляторов настолько малы, что умещаются в футляре для визиток и даже в корпусе наручных часов.Обычный калькулятор выполняет сложение и вычитание, умножение и деление, а также вычисляет проценты. В его электронном «мозге» цифры представлены крошечными электрическими схемами, которые включаются и выключаются. «Мозг» работает с помощью бинарной (двоичной) системы счисления, использующей только две цифры (О и 1) вместо цифр 0, 1... 9, применяемых в десятичной системе. Любое число, которое вы вводите в калькулятор, преобразуется в бинарный код, а результаты в бинарном коде переводятся обратно в десятичную систему и отображаются на дисплее.Типы калькуляторов:Обычные карманные калькуляторы могут выполнять простейшие вычисления. Большинство имеют дисплей на восемь знаков и память для хранения промежуточных результатов. Работают они на гальванических или солнечных батарейках. Настольные калькуляторы значительно крупнее карманных. Некоторые из них работают от сети, делают распечатку на бумажной ленте и выводят данные на дисплей. Лабораторные калькуляторы — очень сложные устройства для вычисления математических функций или обработки статистических данных.Как устроен калькулятор:Когда вы набираете числа на клавиатуре, в регистры памяти калькулятора вводятся бинарные коды для операндов и арифметических действий (сложения, вычитания, умножения и деления). Арифметический блок выполняет действие и сохраняет результат в одном из регистров. Затем результат пересылается в память дисплея и отображается в десятичной форме на дисплее.ИЗ ИСТОРИИ:Первым простейшим калькулятором был абак (счеты). Счеты, изобретенные более 5000 лет назад, до сих пор используют в некоторых странах. Подсчеты ведутся с помощью деревянных костяшек, перемещаемых по проволоке в деревянной рамке. Костяшки означают разные разряды — например, единицы, десятки, сотни и т.д.Первые механические калькуляторы были созданы в XVII в. Расчеты на них выполнялись при помощи рычажков и шестерен. До XIX в. эти устройства не получили распространения. В 1830 г. англичанин Чарльз Бэббэдж изобрел так называемую аналитическую машину, представлявшую собой программируемый механический калькулятор. К сожалению, машина оказалась слишком сложной для своего времени. В 30-е и 40-е гг. XX в. ученые в США разработали большие электронно- вычислительные машины. Первый настольный электронный калькулятор появился в 1963 г., а в конце 1970-х гг. начался массовый выпуск карманных калькуляторов.
|
|
| |
Dashka | Дата: Понедельник, 14.04.2014, 16:22 | Сообщение # 29 |
Рядовой
Группа: Модераторы
Сообщений: 2
Статус: Offline
| При рассмотрении темы: “Арифметические и логические основы ЭВМ"можно предложить рассмотреть применение алгебры высказываний в релейно-контактных схемах. №4. Комитет из трех человек решил применить электрическую схему для регистрации тайного голосования простым большинством голосов. Построить такую схему, при использовании которой голосующий нажимал бы на кнопку, причем в случае принятия решения загоралась бы сигнальная лампочка. Используя операции конъюнкции и дизъюнкции получим сложное высказывание удовлетворяющее условию задачи. Х= (A and OR (A and C) OR (Band C) (4. bas) CLS FOR A=-1 TO 0 FOR B=-1 TO 0 FOR C=-1 TO 0 X= (A AND OR (A AND C) OR (BAND C) PRINT - A; - B; - C,-X NEXT NEXT NEXT Решение задачи на Паскале: (4. pas) uses crt; var a,b,c,x: boolean; Begin clrscr; WRITELN ('a': 10,'b': 10,'c': 10,'x': 10); writeln; for a: =false to true do begin for b: =false to true do begin x: = (A and or (A and c) or (Band C); writeln (a: 10,b: 10,c: 10,x: 10); end; end; readkey; end. ------ A ---- B ------ Схемавыглядиттак ------ A ---- C------ ------ B ---- C ------ Рассмотренныевышерешения задачспомощьюкомпьютера, призваныпомочьучащимсяиспользовать компьютер, припрохождениитемы, связаннойсрассмотрениемосновалгебры логики.Добавлено (14.04.2014, 16:22) --------------------------------------------- . Цель, которая преследуется при использовании компьютера для рассмотрения основных понятий логики, правил построения логических выражений и логических схем, теорем алгебры логики и приемам упрощения логического выражения следующая - учащийся представляет себе компьютер как инструмент, который помогает ему решать задачи логического плана, таким образом, расширяется поле применения компьютера. При этом компьютер выступает теперь не только как объект изучения, но и как средство, которое может помочь при решении ряда задач. Развивая вышесказанное, хотелось бы рассмотреть еще одно применение компьютера при решении логических задач. Но сначала следует ознакомиться с действиями, которые необходимо предпринять для решения логической задачи на компьютере: Изучить условие задачи. Обозначить используемые высказывания символами. Используя логические связи составить логическое выражение для всех требований задачи. Вычислить все значения этого логического выражения. Проверить полученное решение по условию задачи. №5: в соревнованиях по гимнастике участвуют Алла, Валя, Сима, Даша. Болельщики высказали предположения о возможных победителях. 1) первой будет Сима, Валя второй, 2) второй будет Сима, Даша - третьей, 3) Алла будет второй, Даша - четвертой. По окончании соревнований оказалось, что в каждом из предположений только одно из высказываний истинно, другое ложно. Какое место на соревнованиях заняла каждая из девушек, если все они оказались на разных местах? Решение. Обозначим высказывания буквами соответственно A, B, C, D, E, F. Так как только одно из высказываний истинно, то имеем исключающую дизъюнкцию, которая будет истинна: A XORB, C XOR D, E XOR F Кроме того, ложными будут высказывания: A AND C, B AND C, D AND F, B AND E, C AND E а, следовательно, истинными NOT (A AND C) NOT (B AND C) NOT (D AND F) NOT (B AND E) NOT (C AND E) Соединяя первую группу истинных высказываний в Х1, а вторую в Х2 получим Х=Х1*Х2. Получив таблицу истинности, решим Решение задачи на Паскале: (5. pas) Uses crt; Var a,b,c,d,e,f: boolean; x1,x2,x: boolean; Begin clrscr; writeln ('a': 10,'b': 10,'c': 10,'d': 10,'e': 10,'f': 10); for a: =false to true do begin for b: =false to true do begin for c: =false to true do begin for d: =false to true do begin for e: =false to true do begin for f: =false to true do begin x1: = (a xor b) and (c xor d) and (e xor f); x2: = (not (a and c)) and (not (b and c)) and (not (d and f)) and (not (b and e)) and (not (c and e)); x: =x1 and x2; if x<>false then begin writeln; write (a: 10,b: 10,c: 10,d: 10,e: 10,f: 10); end; end; end; end; end; end; end; readkey; end. Ответ: 1 0 0 1 1 0 (0 - false,1 - true) Добавлено (14.04.2014, 16:22) --------------------------------------------- Как видно из таблиц истинности, многиевыражения достаточно легко сводятся к более простым. Обладая всего лишь начальными навыками алгоритмического языка можно также использовать компьютер для решения логических уравнений: Найти X,Y из следующих уравнений: (1 IMP X) IMP Y=0 Отв: (x=1 y=0) X OR Y = NOT X (x=0, y=1) Решение: (3. bas, 3. pas) CLS PRINT " x y" PRINT FOR x = 0 TO - 1 STEP - 1 FOR y = 0 TO - 1 STEP - 1 IF (x OR y) = (NOT (x)) THEN PRINT - x; - y NEXT NEXT Замечание: в языке Паскаль для решения задач сначала следует выразить операции следования и эквивалентности через операции OR и AND. Так операция следования может быть записана следующим образом a IMP b = NOT (a) OR b), а операция эквивалентности как a EQV b = (a OR (NOT b)) AND ( (NOT a) OR b) или следующим образом a EQV b = (a AND b) OR ( (NOT a) AND (NOT b)). Решение на Паскале: uses crt; var y,x, imp,a: boolean; Begin clrscr; WRITELN ('x': 10,'y': 10); writeln; for x: =false to true do begin for y: =false to true do begin if not (not (true) or x) or y = false then writeln (x: 10,y: 10); end; end; readkey; end. Следует отметить то, что прирешении на компьютере у учащихся постоянно присутствует таблица истинности основных логических операций на компьютере, и, к примеру, проверка формул на тавтологии, а также проверка основных логических законов превращается в некоторое самостоятельное “исследование" основных операций логики. Учитывая то, что доказательства законов явно не приводятся, представляется возможным говорить о том, что учащимися познан новый метод доказательства, которое приводится с помощью компьютера.0� ie�� ��� 15%;font-family:"Verdana","sans-serif"; color:black'>решим Решение задачи на Паскале: (5. pas) Uses crt; Var a,b,c,d,e,f: boolean; x1,x2,x: boolean; Begin clrscr; writeln ('a': 10,'b': 10,'c': 10,'d': 10,'e': 10,'f': 10); for a: =false to true do begin for b: =false to true do begin for c: =false to true do begin for d: =false to true do begin for e: =false to true do begin for f: =false to true do begin x1: = (a xor b) and (c xor d) and (e xor f); x2: = (not (a and c)) and (not (b and c)) and (not (d and f)) and (not (b and e)) and (not (c and e)); x: =x1 and x2; if x<>false then begin writeln; write (a: 10,b: 10,c: 10,d: 10,e: 10,f: 10); end; end; end; end; end; end; end; readkey; end. Ответ: 1 0 0 1 1 0 (0 - false,1 - true)
|
|
| |
19АРСЕНИЙ19 | Дата: Понедельник, 14.04.2014, 19:36 | Сообщение # 30 |
 Рядовой
Группа: Пользователи
Сообщений: 12
Статус: Offline
| Алгебра высказываний и операции над высказываниями
Высказывание — первый важнейший объект изучения математической логики. Алгебра высказываний изучает способы построения высказываний из уже имеющихся высказываний, закономерности таких способов сочетания высказываний. Алгебра высказываний является фундаментом математической логики.
Понятие высказывания
Предметом исследования алгебры высказываний являются высказывания. Но алгебра высказываний не ставит целью их всестороннее изучение. Из многочисленных свойств высказывания алгебру высказываний интересует лишь одно: истинно оно или ложно. Именно это и является определяющим свойством высказывания. Итак, под высказыванием понимается такое предложение, которое либо истинно, либо ложно. Высказывание не может быть одновременно и истинным, и ложным.
В дальнейшем будем считать, что имеется первоначальная совокупность некоторых простейших высказываний, называемых элементарными или исходными, о каждом из которых точно известно, истинно оно или ложно. Причем в этой совокупности имеются как истинные высказывания, так и ложные.
Договоримся обозначать конкретные высказывания начальными заглавными буквами латинского алфавита или теми же буквами с индексами внизу.
Приведем примеры высказываний, которые будут использованы в дальнейшем:
"Москва — столица России"; "Саратов находится на берегу Невы"; "Все люди смертны"; "Сократ — человек"; "7 < 4"; "Волга впадает в Каспийское море"; "А.С.Пушкин — великий русский математик"; "Снег белый".
Обозначив истинное высказывание символом 1, а ложное — 0, введем функцию , заданную на совокупности всех высказываний и принимающую значения в двухэлементном множестве , по следующему правилу:
Функция называется функцией истинности, а значение — логическим значением или значением истинности высказывания . Для приведенных высказываний имеем логические значения:
Отметим, что в литературе имеются следующие обозначения для истинных высказываний: 1, И, t (от англ. true — истинный) и для ложных высказываний: 0, Л, f (от англ. false — ложный). Из этих обозначений будем использовать 1 и 0. Это обусловлено рядом причин. Во-первых, таблицы истинности для формул алгебры высказываний принимают более лаконичный и стандартизированный вид, так как в этом случае наборы значений пропозициональных переменных можно расположить в порядке возрастания чисел, которые этими наборами закодированы в двоичной системе счисления. Например, для случая трех пропозициональных переменных набор значений этих переменных 000 означает двоичную запись десятичного числа 0, набор 001 — двоичную запись десятичного числа 1, набор 010 — двоичную запись десятичного числа 2, 011 — 3, 100 — 4, 101 — 5, 110 —6, 111 — 7. Во-вторых, более удобный и математически строгий вид принимают многие формулы и алгоритмы алгебры высказываний. В-третьих, обозначение 0 и 1 принято и более целесообразно в приложениях математической логики к компьютерам и информатике. Из элементарных высказываний с помощью операций над высказываниями или логических связок строят сложные высказывания. Перейдем к точному описанию таких построений.Добавлено (14.04.2014, 19:33) --------------------------------------------- Отрицание высказывания
Определение 1.1. Отрицанием высказывания называется новое высказывание, обозначаемое (читается: "не " или "не верно, что "), которое истинно, если высказывание ложно, и ложно, если высказывание истинно. Другими словами, логическое значение высказывания связано с логическим значением высказывания , как указано в следующей таблице, называемой таблицей истинности операции отрицания:
Здесь может возникнуть вопрос, почему приписывание истинности или ложности высказыванию осуществляется именно на основании приведенной таблицы. Конечно, можно ответить, что об определениях не спорят. Но ведь мы желаем построить математическую теорию (алгебру высказываний), которая в какой-то мере отражала бы реально существующий в природе человеческого мышления процесс построения составных высказываний из элементарных и имела бы реальный смысл. Затем мы должны будем развить нашу математическую теорию, а полученные выводы применить в практике мышления и при этом не войти в противоречие с общеизвестными законами мышления. Определение отрицания с помощью приведенной таблицы (как, впрочем, и других логических связок с помощью соответствующих таблиц, о чем речь пойдет далее) появилось как результат длительного опыта, и оно полностью оправдало себя на практике.
Пример 1.2. Применим операцию отрицания к высказыванию "Волга впадает в Каспийское море". Данное отрицание можно читать так: "Неверно, что " т.е. "Неверно, что Волга впадает в Каспийское море". Или же частицу "не" переносят на такое место (чаще всего ставят перед сказуемым), чтобы получилось правильно составленное предложение: "Волга не впадает в Каспийское море". Таблица из определения 1.1 дает для данного высказывания следующее логическое значение: , т.е. высказывание ложно. Ложность высказывания обусловлена только истинностью исходного высказывания и определением 1.1, но никак не соображениями смысла (содержания) высказывания . Другое дело, что само определение 1.1 потому и имеет такую формулировку, что оно правильно (или, как говорят, адекватно) отражает факты, известные нам из практики. Добавлено (14.04.2014, 19:34) --------------------------------------------- Конъюнкция двух высказываний
Определение 1.3. Конъюнкцией тух. высказываний и называется новое высказывание, обозначаемое или (читается: " и "), которое истинно лишь в единственном случае, когда истинны оба исходных высказывания и , и ложно во всех остальных случаях. Другими словами, логическое значение высказывания связано с логическими значениями высказываний и , как указано в следующей таблице, называемой таблицей истинности операции конъюнкции:
Практика полностью подтвердила, что именно такое распределение значений истинности наиболее соответствует тому смыслу, который придается в процессе мыслительной деятельности связующему союзу "и".
Пример 1.4. Применим операцию конъюнкции к высказываниям и . Получим высказывание л Л3: "Саратов находится на берегу Невы, и все люди смертны". Конечно, мы не воспринимаем это высказывание как истинное из-за первой, ложной, его части. К выводу о ложности полученного высказывания также придем, исходя из логических значений исходных высказываний и и определения 1.3 конъюнкции на основании приведенной там таблицы. В самом деле,
Дизъюнкция двух высказываний
Определение 1.5. Дизъюнкцией двух высказываний и называется новое высказывание, обозначаемое (читается " или "), которое истинно в тех случаях, когда хотя бы одно из высказываний или истинно, и ложно в единственном случае, когда оба высказывания и ложны. Другими словами, — такое высказывание, логическое значение которого связано с логическими значениями исходных высказываний и так, как указано в следующей таблице, называемой таблицей истинности операции дизъюнкции:
Пример 1.6. Применим операцию дизъюнкцию к высказываниям и . Получим составное высказывание "Все люди смертны, или ". Несмотря на первоначально кажущуюся странность этого высказывания, нет сомнений в его истинности. К аналогичному заключению приводит также формальное вычисление логического значения данного высказывания по таблице из определения 1.5, исходя из логических значений высказываний и
В то же время высказывание "Саратов находится на берегу Невы, или А. С. Пушкин — великий русский математик", являющееся дизъюнкцией высказываний и , безусловно, ложно, что полностью согласуется с формальным вычислением его логического значения по таблице из определения 1.5:
Импликация двух высказываний Добавлено (14.04.2014, 19:35) --------------------------------------------- Импликация двух высказываний
Определение 1.7. Импликацией двух высказываний и называется новое высказывание, обозначаемое (читается: "если , то ", или "из следует ", или " влечет ", или " достаточно для ", или " необходимо для "), которое ложно в единственном случае, когда высказывание истинно, а — ложно, а во всех остальных случаях — истинно. Другими словами, логическое значение высказывания связано с логическими значениями высказываний и , как указано в следующей таблице, называемой таблицей истинности операции импликации:
В высказывании высказывание называется посылкой или антецедентом, а высказывание — следствием или консеквентом.
При определении импликации с еще большей силой встает вопрос, почему именно такое распределение принято в ее таблице истинности. Последние две строки в ней достаточно хорошо согласуются с нашим пониманием выражения "если..., то...". Их обоснованием могут служить следующие соображения. Импликация призвана отразить процесс рассуждения, умозаключения. Общая характеристика этого процесса следующая. Если мы исходим из истинной посылки и правильно (верно) рассуждаем, то мы приходим к истинному заключению (следствию, выводу). Другими словами, если мы исходили из истинной посылки и пришли к ложному выводу, значит, мы неверно рассуждали. В импликации имеется посылка , следствие и процесс рассуждения . Процесс рассуждения как раз и моделируется результатом операции . Приведенное соображение служит обоснованием результата , а также результата .
Определенные сомнения возникают при оценке адекватности первых двух строк в таблице, определяющей импликацию. В первой строке при ложной посылке и ложном следствии импликация признается истинной. Следующие два примера добавляют аргументы в пользу такого определения логического значения импликации в этом случае. Рассмотрим такое высказывание: "Если число делится на 5, то и его квадрат делится на 5". Его истинность не вызывает сомнения. В частности, мы могли бы сказать: "Если 10 делится на 5, то делится на 5" или "Если 11 делится на 5, то и делится на 5". В первом из этих высказываний и посылка, и следствие истинны, во втором — и посылка, и следствие ложны. Тем не менее оба этих высказывания истинны. Для большей убедительности второе высказывание можно сформулировать в сослагательной форме: "Если бы 11 делилось на 5, то и делилось бы на 5". Есть утверждения такого типа и в житейской речи, которые признаются вполне нормальными. Например, "Если ты можешь переплыть Черное море, то я — турецкий султан".
В пользу второй строки таблицы, когда импликация остается истинной при ложной посылке и истинном следствии, говорит такой пример. Высказывание "Если первое слагаемое делится на 5 и второе слагаемое делится на 5, то и сумма делится на 5", несомненно, истинно. Но, в частности, мы могли бы сказать: "Если 10 делится на 5 и 20 делится на 5, то 30 делится на 5" или "Если 12 делится на 5 и 13 делится на 5, то 25 делится на 5". В первом из этих высказываний и посылка истинна (как конъюнкция двух истинных выражений), и следствие истинно. Во втором же высказывании посылка ложна (как конъюнкция двух ложных высказываний), а следствие истинно. Тем не менее, как мы уже отметили, оба этих высказывания признаются истинными.
Пример 1.8. Высказывание "Если Волга впадает в Каспийское море, то " ложно, так как
Высказывание "Если Саратов находится на берегу Невы, то А. С. Пушкин — великий русский математик", являющееся импликацией высказываний и , истинно, так как
Эквивалентность двух высказываний
Определение 1.9. Эквивалентностью двух высказываний и называется новое высказывание, обозначаемое (читается: " эквивалентно ", или " необходимо и достаточно для ", или " тогда и только тогда, когда ", или ", если и только если "), которое истинно в том и только в том случае, когда одновременно оба высказывания и либо истинны, либо ложны, а во всех остальных случаях — ложно. Другими словами, логическое значение высказывания связано с логическими значениями высказываний и , как указано в следующей таблице, называемой таблицей истинности операции эквивалентности:
Пример 1.10. Высказывание " тогда и только тогда, когда снег белый", являющееся эквивалентностью высказываний и , ложно, так как
Напротив, высказывание "Саратов находится на берегу Невы, если и только если А.С.Пушкин — великий русский математик" истинно, так как оно является эквивалентностью двух ложных высказываний. Добавлено (14.04.2014, 19:36) --------------------------------------------- Союзы языка и логические операции (язык и логика)
Итак, каждая из введенных логических операций является неким математическим образом, моделью соответствующего логического союза нашего языка. Эти понятия призваны отразить на языке нулей и единиц соответствующие союзы нашего мышления, которыми человечество пользуется в течение тысячелетий. Вне всякого сомнения, язык нулей и единиц значительно беднее человеческого языка, и это отражение достаточно грубо и несовершенно. Тем не менее какие-то основные черты (существенные аспекты процессов мышления) понятия логических операций все же отражают. Так, отрицание, конъюнкция и эквивалентность достаточно точно передают суть логических союзов "не", "и", "тогда и только тогда, когда" соответственно. Хуже обстоит дело с дизъюнкцией, призванной отразить языковый союз "или". Следует отметить, что кроме рассматриваемой так называемой дизъюнкции в не исключающем смысле (она истинна тогда и только тогда, когда по меньшей мере один ее член истинен) некоторые авторы рассматривают дизъюнкцию в исключающем смысле (или строгую дизъюнкцию): она истинна тогда и только тогда, когда истинен точно один ее член.
Наименее адекватным соответствующему союзу языка является понятие импликации, которое призвано отразить логический союз "если..., то...". Это и понятно: на этом союзе основан один из сложнейших умственных процессов — процесс построения выводов, умозаключений. Импликация остается все же самой "коварной" из всех логических операций, и ее определение при всех приведенных доводах оставляет в нас чувство незавершенности. И это неспроста. Наиболее наглядно эта неадекватность определения языку проявится в ходе развития алгебры высказываний, когда мы, например, придем к тому, что тавтологией окажется следующая формула: . Это означает, что какие бы ни были высказывания и , по меньшей мере одно из высказываний или непременно будет истинным. Этот факт уже не согласуется с общепринятой практикой, и он еще раз подтверждает, что понятие импликации лишь весьма условно и приблизительно переводит на язык нулей и единиц тот смысл, который имеется в виду при построении фразы типа "если..., то...".
Из приведенного следует вывод о том, что тонкое и многообразное человеческое мышление не так легко поддается научному осмыслению и изучению и что алгебра высказываний — всего лишь одно из приближений, всего лишь шаг на пути к познанию человеческого мышления.
По поводу происхождениия терминов отметим, что "конъюнкция" происходит от лат. conjunctio — соединение, дизъюнкция — от лат. dusjunctio — разъединение, импликация от лат. implicatio — сплетение и itnplico — тесно связываю.
Общий взгляд на логические операции
Еще раз отметим, что только логические значения или значения истинности, а не их содержание интересуют нас в развиваемой теории. Поэтому каждое из введенных определений (1.1, 1.3, 1.5, 1.7, 1.9) операций над высказываниями можно рассматривать как определение некоторого действия над символами 0 и 1, т. е. как определение некоторой операции на двухэлементном множестве . Например, отрицание задает следующие правила действия с этими символами: , конъюнкция — следующие: , импликация — следующие:
и т.д.
Учитывая два правила действия с символами 0 и 1, определяемые отрицанием, можно записать равенство для вычисления логического значения высказывания
(1.1)
Указанные четыре правила действия с символами 0 и 1, определяемые конъюнкцией, позволяют записать равенство для вычисления логического значения высказывания
(1.2)
Аналогично, правила действия с символами 0 и 1, сформулированные в определениях 1.5, 1.7, 1.9, дают возможность записать равенства для вычисления логических значений высказываний и соответственно:
(1.3)
(1.4)
(1.5)
Равенства (1.2) ... (1.5) можно записать в виде одного соотношения: , где значок "" обозначает один из символов логических операций . Равенства (1.1)–(1.5) фактически использовались при вычислениях логических значений высказываний
которые были проделаны выше в качестве примеров применения операций над высказываниями. Добавлено (14.04.2014, 19:36) --------------------------------------------- Выполнила: Горбикова Екатерина, 10 класс
|
|
| |
|