Русская логика – индикатор интеллекта





НазваниеРусская логика – индикатор интеллекта
страница20/21
Дата публикации28.07.2013
Размер3.06 Mb.
ТипДокументы
100-bal.ru > Математика > Документы
1   ...   13   14   15   16   17   18   19   20   21

Перечень сокращений



БИС - большая интегральная схема

БМОК – база минимального обобщённого кода

ДНФ - дизъюнктивная нормальная форма

ДССП – Диалоговая система структурированного программирования

ЗОК - запрещённый обобщённый код

ИИ - искусственный интеллект

ИС - интегральная схема

ИЭИ - Ивановский энергетический институт

КА - конечный автомат

КДУ - контрольно-диагностическое устройство

КК - карта Карно

КС - комбинационная схема

Комета – ФГУП «ЦНИИ «Комета»

ЛЗС - логика здравого смысла

ЛФ - логическая функция

МДНФ – минимальная ДНФ

МОК - минимальный обобщённый код

МПА – микропрограммный автомат

НИИДАР – ОАО НПК «НИИ дальней радиосвязи»

НИИРТА – НИИ радиотехнической аппаратуры

НТР - научно-техническая революция

ОМТ – Осташковский механический техникум

ПК - прямоугольник Карно

ПЛИС - программируемая логическая интегральная схема

ПЛМ - программируемая логическая матрица

ПМЛ - программируемая матричная логика

ППК - предполагаемый прямоугольник Карно

РАЯ - Развиваемый (Русский) адаптивный язык

РВЛ - «Русская вероятностная логика»

Редан – ООО НПП «Редан»

РЛ - Русская логика

РЛИ - «Русская логика в информатике»

РЛИИ – «Русская логика – индикатор интеллекта»

РОК - рабочий обобщённый код

СГА - Современная Гуманитарная Академия

СДНФ – совершенная дизъюнктивная нормальная форма

ТВАТ - Тушинский вечерний авиационный техникум

ТО - теория относительности

ЭВМ - электронная вычислительная машина

Литература


  1. Акимов О.Е. Дискретная математика: логика, группы, графы.– М.:ЛБЗ,2003.

  2. Аристотель. Сочинения. В 4-х томах. Т.2- М.: Мысль,1978.

  3. Брусенцов Н.П. Начала информатики. - М: Фонд "Новое тысячелетие",1994.

  4. Брусенцов Н. П. Полная система категорических силлогизмов Аристотеля. - В кн. Вычислительная техника и вопросы кибернетики. Вып.19. - М.: МГУ,1982.

  5. Васильев Н.А.О частных суждениях. - Казань: Университет,1910.

  6. Войтов А. Г. Самоучитель мышления. – М.: 1999.

  7. И.Л.Галинская. Льюис Кэрролл и загадки его текстов – М.: РАН, Институт научной информации по общественным наукам,1995.

  8. Катречко С. Л. Введение в логику. Программа курса. – М.: УРАО, 1997.

  9. Кириллов В.И., Старченко А.А. Логика. - М.: Юрист,1995.

  10. Кузичев А.С. Диаграммы Венна. История и применения. М., Наука, 1968 .

  11. Кэрролл Л. История с узелками. - М.:Мир,1973.

  12. Лейбниц Собрание сочинений в 4 томах. Том 3. – М.:1983.

  13. Лобанов В.И. Инженерные методы разработки цифровых устройств. - М.: НИИРТА,1977.

  14. Лобанов В.И. Метод минимизации булевых функций от большого числа переменных с помощью карт Карно. - Инф. листок N54-87,М: МособлЦНТИ,1987.

  15. Лобанов В.И. Отказоустойчивый микроконтроллерный регулятор с программируемой структурой обработки данных. Диссертация на соискание ученой степени канд. техн. наук. - Харьков, ХПИ,1989.

  16. Лобанов В.И. Кризис логики суждений и некоторые пути выхода из него.//Современная логика: проблемы теории, истории и применения в науке (Материалы V Общероссийской научной конференции) - СПб: 1998.

  17. Лобанов В.И. Решение логических уравнений. //Научно-техническая информация. Сер. 2. N%9, 1998, с. 40 - 46.

  18. Лобанов В.И. Силлогистика Аристотеля-Жергонна. //НТИ, сер.2, Информационные процессы и системы, N9, 1999, с. 11 - 27.

  19. Лобанов В.И. Базовые проблемы классической логики.//Современная логика: Проблемы теории, истории и применения в науке (Материалы VI Общероссийской научной конференции), СПбГУ, 2000 — с.499 — 504.

  20. Лобанов В.И. Синтез и минимизация комбинационных схем//Информатика и образование,N5,2000, стр. 60 – 63.

  21. V. I. Lobanov. The solution of logical equations. // Documentation and Mathematical Linguistics, vol. 32, №5,1998, p. 16 – 27 .

  22. V. I. Lobanov. Many-valued quantifier-free syllogism (second basis). // Documentation and Mathematical Linguistics, vol. 32, №5,1998, p. 40 – 60 (гонорар выплачен 4.11.2000).

  23. Лобанов В.И. Практикум по логике суждений. //Информатика и образование, №2,2001, с. 47-52.

  24. Лобанов В.И. Практикум по силлогистике. //Информатика и образование, №5,2001.

  25. Лобанов В.И. Решебник по Русской логике. – М.: Компания Спутник+, 2002 – 133с.

  26. Лобанов В.И. Азбука разработчика цифровых устройств. – М.: Горячая линия – Телеком, 2001 – 192с.

  27. Лобанов В.И. Русская логика против классической (азбука математической логики) - М.: Компания Спутник+, 2002 – 126с.

  28. Лобанов В.И. Русская логика против классической. //Рационализм и культура на пороге третьего тысячелетия (материалы Третьего Российского философского конгресса), том 1, стр.278, г. Ростов-на-Дону, 2002.

  29. Лобанов В.И. Русская логика для школьников (и академиков). – М.:»Эндемик»,2004 – 110с.

  30. Лобанов В.И. Русская логика и дисциплина мышления. // Созидание. Материалы IV Всероссийской научно-практической конференции. – М.:2004, с.237 – 245.

  31. Лобанов В.И. Русская логика для «физиков» и «лириков». – М.: Спутник+, 2005 – 427с.

  32. Лобанов В.И. Преподавание логики в естественнонаучных вузах. // Учебник философии. Материалы Всероссийской научно-методической конференции. – Казань, 2006, с.108 – 111.

  33. Лобанов В.И. Ликбез по логике в России как проблема национальной безопасности.//Общечеловеческое и национальное в философии (материалы выступлений на IV международной научно-практической конференции КРСУ 25-26 мая 2006 г.) – Бишкек, 2006; с. 210 – 213.

  34. Лобанов В.И. Логика в информатике.//Применение новых технологий в образовании (Материалы 18-й Международной конференции) – Троицк: 27-28 июня 2007г., с.35-38.

  35. Лобанов В.И. Курс лекций «Математика в логике» для спутникового образовательного телевидения. – М.: СГА, Спутниковое телевидение, канал СГУ-ТВ – телестудия Современной Гуманитарной Академии, 2007

  36. Лобанов В.И. Русская вероятностная логика для школьников и умных академиков. – М.: 2008 – 33с.

  37. Лобанов В.И. Русская вероятностная логика. – М.: «Русская Правда», 2009 – 320с.

  38. Лобанов В.И. Современная логика как пример интеграции учебных дисциплин.// Общеобразовательная и профессиональная подготовка специалиста в вузе: проблемы интеграции. Материалы межвузовской научно-практической конференции (16-17 апреля 2009г.) – Владимир: 2009.

  39. Лобанов В.И. Силлогистика для искусственного интеллекта.//Современная логика: проблемы и истории (Материалы XI Международной конференции 24 – 26 июня 2010г.)- Санкт-Петербург, 2010, с. 295 - 297.

  40. Лобанов В.И. Порецкий – гордость России.// Теоретическое наследие казанской научной, философской, богословской мысли в контексте мировоззренческого диалога (сборник статей Всероссийских научных семинаров). – Казань, 2010, с.124 – 125.

  41. Лобанов В.И. Русская логика в информатике. – М.: Русская Правда, 2010 – 48с.

  42. Лобанов В.И. Конспект по Русской вероятностной логике. – М.: - ЛЕНАНД, 2012 - 80с.

  43. Непейвода Н.Н. Прикладная логика. - Ижевск: Удмурт. университет,1997.

  44. Платон. Диалоги. – М.: Мысль, 2000.

  45. Порецкий П.С. О способах решения логических равенств и об одном обратном способе математической логики.// Собрание протоколов заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете, т. 2, Казань, 1884.

  46. Сайты в Internet: http://logicrus.ru , http://matema.narod.ru/newpage113.htm, http://www.mirit.narod.ru/zerkalo.htm , http://ito.edu.ru/, http://www.trinitas.ru, http://lord-n.narod.ru/walla.html/Книги и софт с Walla.com, http://naztech.org/lobanov , http://www.rsl.ru и др.

  47. Светлов В.А. Практическая логика. - СПб: Изд. Дом «МиМ»,1997.

  48. Смаллиан Р.М. Как же называется эта книга? – М.: 2008 – 272 с.

  49. Стяжкин Н.И. Формирование математической логики. - М: 1967.

  50. Тейчман Д. , Эванс К. Философия. - М.: Весь Мир,1997.

  51. Шачнев В.А. Математическая логика. - М: 1991



1   ...   13   14   15   16   17   18   19   20   21

Похожие:

Русская логика – индикатор интеллекта iconУчебно-методический комплекс дисциплины логика федеральное агентство...
Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась в рамках теории познания, и в настоящее...
Русская логика – индикатор интеллекта iconКурс лекций дисциплины «логика»
Рабочая программа составлена в соответствии с государственными образовательными стандартами, направления "Логика " специальности...
Русская логика – индикатор интеллекта iconВ. К. Финн к структурной когнитологии: феноменология сознания с точки...
Ки и искусственного интеллекта – полигона экспериментальной проверки научных средств имитации рациональности и продуктивного мышления....
Русская логика – индикатор интеллекта iconРабочая программа учебной дисциплины логика и теория аргументации...
Рабочая программа составлена в соответствии с государственными образовательными стандартами, направления "Логика " специальности...
Русская логика – индикатор интеллекта iconСамостоятельная работа: 76 час. Итоговый контроль: экзамен I. Организационно-методический...
Цель дисциплины – познакомить студентов с основными задачами искусственного интеллекта, как области человеческой деятельности
Русская логика – индикатор интеллекта iconРабочая программа дисциплины логика степень выпускника бакалавр Форма...
...
Русская логика – индикатор интеллекта iconЛогика и теория аргументации
Рабочая программа определяет содержание и структуру учебной дисциплины "Логика" и предназначена для обучения студентов образовательных...
Русская логика – индикатор интеллекта iconЛогика сценической речи москва «просвещение» Запорожец Т. И. Логика...
Логика сценической речи. Учеб пособие для те­атр и культ просвет учеб заведений. М., «Просве­щение», 2010
Русская логика – индикатор интеллекта icon1. Мировоззрение, его структура. Исторические типы м- мифология, религия, философия
Рабочая программа составлена в соответствии с государственными образовательными стандартами, направления "Логика " специальности...
Русская логика – индикатор интеллекта iconУмк дисциплины Логика для специальности 080102. 65 “Мировая экономика
Требования к обязательному минимуму содержания и уровню подготовки выпускника вуза, предъявляемые Государственным образовательным...
Русская логика – индикатор интеллекта iconРеферат по информатике на тему История и тенденции развития искусственного интеллекта
На сегодняшний день проблема исследования ai занимает актуальное место в системе информационных наук. В своем реферате я попытаюсь...
Русская логика – индикатор интеллекта iconРеферат с чего начинается логика
Целью моей работы является выяснить, что изучает логика. Какими основными понятиями она оперирует. Что такое «истина» и«ложь» с точки...
Русская логика – индикатор интеллекта iconИгра как способ развития социального интеллекта учащихся на уроке иностранного языка
Проблема развития социального интеллекта продолжает демонстрировать актуальность, а также прочно утверждает свои позиции как неотъемлемый...
Русская логика – индикатор интеллекта iconЫх классах (Обобщение опыта работы) Учитель второй квалификационной...
Рабочая программа составлена в соответствии с государственными образовательными стандартами, направления "Логика " специальности...
Русская логика – индикатор интеллекта iconИзмерение коэффициента интеллекта и рисуночное тестирование детей...
Авторами проведено измерение коэффициента интеллекта детей с помощью пяти тестов [3], разработанных для детей от 5 до 11 лет, и с...
Русская логика – индикатор интеллекта iconУчебно-методический комплекс дисциплины «логика»
Учебно-методический комплекс «Логика» предназначен для студентов I курса специальности 030900. 62 Юриспруденция, составлен в соответствии...


Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
100-bal.ru
Поиск