Поиск по:lib.mexmat.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера lib.mexmat.ru ,которые мы индексируем. Показаны документы 187941 - 187960 из 189672.
[ В начало ] Пред. | 9394 |
9395 |
9396 |
9397 |
9398
|
9399 |
9400 |
9401 |
9402 |
9403 | След. [ В конец ]
Упорядочить по:
URL
|
дате изменения
187941. Чупахин И.Я., Бродский И.Н. - Формальная логика :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Чупахин И.Я., Бродский И.Н. - Формальная логика . ... Название: Формальная логика . Авторы: Чупахин И.Я., Бродский И.Н. Аннотация: . В основу учебника положен курс логики, читавшийся на философском факультете Ленинградского университета в течение ряда лет. В нем освещаются вопросы, относящиеся к общей и символической логике. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1378 -- 14.2 Кб -- 09.04.2016
Похожие документы
Похожие документы
187942. Бродский И.Н. - Отрицательные высказывания :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Бродский И.Н. - Отрицательные высказывания . ... Название: Отрицательные высказывания . Автор: Бродский И.Н. Аннотация: . ... В ней рассматривается история вопроса о смысле отрицательных высказываний, роль отрицательных высказываний в структуре научного знания, так называемый , а также . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1377 -- 14.5 Кб -- 09.04.2016
Похожие документы
Похожие документы
187943. Клини С., Весли Р. - Основания интуиционистской математики с точки зрения
Электронная библиотека Попечительского совета . ... Клини С., Весли Р. - Основания интуиционистской математики с точки зрения теории рекурсивных функций . ... Название: Основания интуиционистской математики с точки зрения теории рекурсивных функций . Авторы: Клини С., Весли Р. Аннотация: . ... Функция примитивно рекурсивная (primitive recursive) 20-21 128 . ... Функция частично рекурсивная (partical recursive) 20-21 128 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1376 -- 99.1 Кб -- 09.04.2016
Похожие документы
Похожие документы
187944. Калужнин Л.А - Что такое математическая логика? :: Электронная библиотека
Электронная библиотека Попечительского совета . механико-математического факультета . ... Калужнин Л.А - Что такое математическая логика? ... Название: Что такое математическая логика? Автор: Калужнин Л.А . ... изложением математической логики, . ... В отличие от имеющихся книг по математической логике данная книга не требует для своего понимания знаний, превосходящих школьный курс математики. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1375 -- 14.4 Кб -- 09.04.2016
Похожие документы
Похожие документы
187945. Гильберт Д., Аккерман В. - Основы теоретической логики :: Электронная
Электронная библиотека Попечительского совета . ... Гильберт Д., Аккерман В. - Основы теоретической логики . ... Название: Основы теоретической логики . Авторы: Гильберт Д., Аккерман В. Аннотация: . Теоретическая логика, называемая также математик ческой или символической логикой, есть применение формального метода математики к области логики. ... Рубрика: Математика / Алгебра / Математическая логика / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1373 -- 55.5 Кб -- 09.04.2016
Похожие документы
Похожие документы
187946. Таванец П.В. - Проблемы логики :: Электронная библиотека попечительского совета
Электронная библиотека Попечительского совета . ... Таванец П.В. - Проблемы логики . ... Название: Проблемы логики . Автор: Таванец П.В. Язык: . Рубрика: Математика / Алгебра / Математическая логика / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1372 -- 13.7 Кб -- 09.04.2016
Похожие документы
Похожие документы
187947. Ершов Ю.Л. - Определимость и вычислимость :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Ершов Ю.Л. - Определимость и вычислимость . ... Название: Определимость и вычислимость . Автор: Ершов Ю.Л. Аннотация: . ... Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т.д. Для научных работников - специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1371 -- 66.5 Кб -- 09.04.2016
Похожие документы
Похожие документы
187948. Никольская И.Л. - Математическая логика :: Электронная библиотека
Электронная библиотека Попечительского совета . механико-математического факультета . ... Никольская И.Л. - Математическая логика . ... Название: Математическая логика . Автор: Никольская И.Л. Аннотация: . ... Рубрика: Математика / Алгебра / Математическая логика / . ... Отношение следования между формулами логики высказываний 44 45 . Отношение следования между формулами логики предикатов 108 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1370 -- 52.1 Кб -- 09.04.2016
Похожие документы
Похожие документы
187949. Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств ::
Электронная библиотека Попечительского совета . механико-математического факультета . ... Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств . ... Название: Математический интуиционизм. ... Автор: Драгалин А.Г. Язык: . Рубрика: Математика / Алгебра / Математическая логика / . ... Драгалин, А.Г. 35 45 61 62 75 151 153 162 178 179 188 210 223 242 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1369 -- 127.7 Кб -- 09.04.2016
Похожие документы
Похожие документы
187950. Беркли Э. - Символическая логика и разумные машины :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Беркли Э. - Символическая логика и разумные машины . ... Название: Символическая логика и разумные машины . ... Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1368 -- 14.8 Кб -- 09.04.2016
Похожие документы
Похожие документы
187951. Кондаков Н.И. - Введение в логику :: Электронная библиотека попечительского
Электронная библиотека Попечительского совета . ... Кондаков Н.И. - Введение в логику . ... Название: Введение в логику . Автор: Кондаков Н.И. Аннотация: . В данной книге кратко и доступно для начинающих изучение логики излагаютсн основные законы, правила, методы и термины традиционной логики. ... диалектико-материалистическои теории познания и диалектической логики. ... Лобачевский, Н.И. 460 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1367 -- 195.4 Кб -- 09.04.2016
Похожие документы
Похожие документы
187952. McCall R.J. - Basic logic :: Электронная библиотека попечительского совета
Электронная библиотека Попечительского совета . ... McCall R.J. - Basic logic . ... Название: Basic logic . Автор: McCall R.J. Язык: . ... Formal logic, as distinguished from material logic vii xx-xxii . ... Logic, and philosophy xvii-xviii xx . Logic, and philosophy and the special sciences xviii . ... Major logic xxii 8 26 . ... Material logic vii xx xxii . ... Natural logic xix . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1366 -- 114.7 Кб -- 09.04.2016
Похожие документы
Похожие документы
187953. Молодший В.Н. - Очерки по вопросам обоснования математики :: Электронная
Электронная библиотека Попечительского совета . ... Молодший В.Н. - Очерки по вопросам обоснования математики . ... Название: Очерки по вопросам обоснования математики . Автор: Молодший В.Н. Аннотация: . ... На первом месте стоят те вопросы обоснования математики, знание которых может оказаться полезным преподавателям математики средних школ. ... Рубрика: Математика / Алгебра / Математическая логика / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1364 -- 14.4 Кб -- 09.04.2016
Похожие документы
Похожие документы
187954. Никитин В.В. - Сборник логических упражнений :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Никитин В.В. - Сборник логических упражнений . ... Название: Сборник логических упражнений . Автор: Никитин В.В. Язык: . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1363 -- 13.8 Кб -- 09.04.2016
Похожие документы
Похожие документы
187955. Перетятькин М.Г. - Конечно аксиоматизируемые теории :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Перетятькин М.Г. - Конечно аксиоматизируемые теории . ... Название: Конечно аксиоматизируемые теории . Автор: Перетятькин М.Г. Аннотация: . ... Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более . простому случаю рекурсивно аксиоматизируемых теорий. ... Теории изоморфные 5 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1362 -- 57.5 Кб -- 09.04.2016
Похожие документы
Похожие документы
187956. Ракитов А.И. - Курс лекций по логике науки :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Ракитов А.И. - Курс лекций по логике науки . ... Название: Курс лекций по логике науки . Автор: Ракитов А.И. Аннотация: . Предлагаемый читателю курс лекции по логике науки представляет собой попытку систематического изложения основных идей и проблем, связанных с логическим анализом систем научного знания. ... Рубрика: Математика / Алгебра / Математическая логика / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1361 -- 14.5 Кб -- 09.04.2016
Похожие документы
Похожие документы
187957. Rips J.L. - The psychology of proof: deductive reasoning in human thinking ::
Электронная библиотека Попечительского совета . ... Rips J.L. - The psychology of proof: deductive reasoning in human thinking . ... Название: The psychology of proof: deductive reasoning in human thinking . Автор: Rips J.L. Язык: . ... Algorithm for proofs See Computer theorem proving; PSYCOP/PSYCOP+; Resolution theorem proving; Tree proof . ... Artificial intelligence and deductive problem solving 97-99 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1360 -- 158.4 Кб -- 09.04.2016
Похожие документы
Похожие документы
187958. Robinson A. - Complete theories :: Электронная библиотека попечительского
Электронная библиотека Попечительского совета . ... Robinson A. - Complete theories . ... Название: Complete theories . Автор: Robinson A. Аннотация: . ... Ackermann, W. 126 . ... Bernays, P. 17 126 . Beth, E. W. 126 . ... Completeness 9 72 . Completeness, partial 25 69 . ... Eckmann, B. 90 126 . ... Goedel, K. 7 126 . ... Group, completely divisible 32 77 124 . ... Habicht, W. 91 126 . ... Robinson, A. 126 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1359 -- 44.0 Кб -- 09.04.2016
Похожие документы
Похожие документы
187959. Тарский А. - Введение в логику и методологию дедуктивных наук :: Электронная
Электронная библиотека Попечительского совета . ... Тарский А. - Введение в логику и методологию дедуктивных наук . ... Название: Введение в логику и методологию дедуктивных наук . Автор: Тарский А. Язык: . Рубрика: Математика / Алгебра / Математическая логика / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1357 -- 13.9 Кб -- 09.04.2016
Похожие документы
Похожие документы
187960. Turchin V.F. - A constructive interpretation of the full set theory ::
Электронная библиотека Попечительского совета . ... Turchin V.F. - A constructive interpretation of the full set theory . ... Название: A constructive interpretation of the full set theory . Автор: Turchin V.F. Язык: . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1356 -- 14.0 Кб -- 09.04.2016
Похожие документы
Похожие документы