Поисковый запрос: <.>K=логика<.> |
Общее количество найденных документов : 634
Показаны документы с 1 по 10 |
|
1. 
|
Клинова, М.
Логика и рациональные пределы приватизации: современный евроконтекст / М. Клинова // Мировая экономика и международные отношения. - 2005. - N 10. - С. . 113-123. - Библиогр. в сносках
ББК 65.5
Рубрики: Экономика--Мировая экономика, 20-21 вв.
Европа
Кл.слова (ненормированные):
европейская экономика -- европейская интеграция -- госпредприятия -- типы госпредприятий -- формы собственности -- собственность -- приватизация -- приватизация госпредприятий -- интеграция -- рецензии
Найти похожие
|
2.
|
Пахомов, Сергей.
ДНК-логика как основа биокомпьютера / Сергей Пахомов // КомпьютерПресс. - 2007. - N 1. - С. . 93-98
ББК 32.973.26-04
Рубрики: Вычислительная техника--Элементы и узлы микро-ЭВМ
Кл.слова (ненормированные):
ДНК-логика -- ДНК-вычисления -- нанотехнологии -- биокомпьютеры
Найти похожие
|
3.
|
Бирюков, Б. В.
У истоков отечественных исследований по поиску логического вывода : о двух симпозиумах 60-х годов ХХ века, состоявшихся в г. Тракае (Литовская ССР) / Б. В. Бирюков // Вопросы философии. - 2006. - N 12. - С. . 99-119. - Библиогр. в сносках. - 0; Первый тракайский симпозиум. - 0; Проблема поиска вывода исчислении предикатов. - 0; Второй тракайский симпозиум. - 0; Научно-технический контекст 60-х годов и последующее развитие проблемы "Искусственный интеллект"
ББК 87.252 + 32.813 + 32.81
Рубрики: Философия--Философские вопросы и методология отдельных наук
Радиоэлектроника--Искусственный интеллект. Экспертные системы--Кибернетика, 20 в. 60-е гг.
Кл.слова (ненормированные):
симпозиумы -- всесоюзные симпозиумы -- тракайские симпозиумы -- логика -- логические выводы -- алгебро-логические исследования -- философия математики -- математика (философия) -- предикаты -- машинный поиск (кибернетика) -- математическая логика
Найти похожие
|
4.
|
Прохоренко, И.
Москва: идеоконтекст, логика и "механика" внешнеполитических решений / И. Прохоренко // Мировая экономика и международные отношения. - 2006. - N 10. - С. . 124-128. - Библиогр. в сносках
ББК 66.4
Рубрики: Политика--Внешняя политика. Международные отношения, 21 в.
Россия
Кл.слова (ненормированные):
рецензии -- российская внешняя политика -- политические процессы -- национальная идентичность -- внешнеполитические решения
Найти похожие
|
5.
|
Смирнов, А. В. (член-корр. РАН).
Культура и рациональность : интервью с А. В. Смирновым / А. В. Смирнов ; беседовал Н. Н. Шульгин // Вопросы философии. - 2007. - N 1. - С. . 16-25
ББК 87.252 + 71.0
Рубрики: Философия--Философские вопросы и методология отдельных наук
Культура--Теоретическая культурология
Кл.слова (ненормированные):
рациональность (философия) -- философия культуры -- методология философского исследования -- логика -- основания культуры
Доп.точки доступа:
Шульгин, Н. Н. \.\
Найти похожие
|
6.
|
Тараканов, Георгий Иванович (экономист).
Методическая разработка курса по макроэкономике продвинутого уровня / Г. И. Тараканов // Вестник Московского университета. Сер. 20, Педагогическое образование. - 2006. - N 2. - С. . 106-112. - Библиогр.: с. 12
ББК 74.202
Рубрики: Образование. Педагогика--Теория и методика обучения
Кл.слова (ненормированные):
макроэкономика -- разработка курса -- экономическое образование -- учебные курсы -- контроль знаний -- логика курса -- программы курса -- план занятий -- школьники
Найти похожие
|
7.
|
Целищев, В. В.
Эпистемические критерии доказательства / В. В. Целищев // Философия науки. - 2006. - N 4. - С. . 20-44. - Библиогр.: с. 43-44 (22 назв. )
ББК 87.4
Рубрики: Наука. Науковедение--Общие вопросы науки
Логика--Общие вопросы логики
Кл.слова (ненормированные):
априоризм -- априорные знания -- доказательства (логика) -- компьютерные доказательства -- математические доказательства -- эмпирические знания -- эпистемология
Найти похожие
|
8.
|
Самохвалов, К. Ф.
Обзор аргументов против тезиса Черча / К. Ф. Самохвалов // Философия науки. - 2006. - N 4. - С. . 62-85. - Библиогр.: с. 83-85 (18 назв. )
ББК 87.4 + 22.12
Рубрики: Логика--Общие вопросы логики
Математика--Математическая логика
Кл.слова (ненормированные):
алгоритмы (понятие) -- вычислимость (понятие) -- вычислимые функции -- Тезис Черча -- функциональное представление -- Черча Тезис
Найти похожие
|
9.
|
Головко, Н. В.
К вопросу о построении эффективного вычислимого представления для простого абдуктивного вывода / Н. В. Головко // Философия науки. - 2006. - N 4. - С. . 115-133. - Библиогр.: с. 129-133 (17 назв. )
ББК 87 + 87.4
Рубрики: Философия--Общие вопросы философии
Логика--Общие вопросы логики
Кл.слова (ненормированные):
абдуктивные выводы -- вычислимые функции -- дедукция (логика) -- индукция (логика) -- искусственный интеллект -- методы семантических таблиц -- способы познания -- эмпирические исследования -- язык логического программирования
Найти похожие
|
10.
|
Ладов, В. А.
Проблема следования правилу: поиски прямого решения / В. А. Ладов // Философия науки. - 2006. - N 4. - С. . 115-133. - Библиогр.: с. 151-152 (29 назв. )
ББК 87.252 + 87.4
Рубрики: Философия--Философские вопросы и методология отдельных наук
Логика--Общие вопросы логики
Кл.слова (ненормированные):
аналитическая философия -- дефект-правила Крипке -- значения выражений -- индивидуальный язык -- Крипке дефект-правила -- функции языка -- язык (логика)
Найти похожие
|
|
|
|
Каталог книг
Стандартный
Главная
Описание