Простий пошук
|
Розширений пошук
|
Алфавітні покажчики
|
Бази даних
Наукова електронна бібліотека - результати пошуку
Віртуальна довідкаТематичний інтернет-навігаторНаукова електронна бібліотекаАвтореферати дисертаційРеферативна база данихКнижкові видання та компакт-дискиЖурнали та продовжувані видання
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Сортувати знайдені документи за: | ||
| автором | назвою | роком видання |
| Формат представлення знайдених документів: | ||
| повний | стислий | |
| Знайдено в інших БД: | Автореферати дисертацій (3) | Реферативна база даних (71) | Книжкові видання та компакт-диски (3) |
Пошуковий запит: (<.>K=КВАНТОР$<.>) | |||||||||||||||||||||||||||||||||||
|
Загальна кількість знайдених документів : 4 Представлено документи з 1 до 4 |
|||||||||||||||||||||||||||||||||||
| Тип видання: наукове видання | Категорія: Математика | ||||||||||||||||||||||||||||||||||
| 1. | Рубрики:
Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т. д. Для научных работников — специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов. Кл.слова: теорема Геделя -- гамма-функція | Тип видання: навчальний посібник | Категорія: Математика 2. | Рубрики:
Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений. Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики. Кл.слова: формальна система -- теорія імплікації | Тип видання: навчальний посібник | Категорія: Філософські науки. Психологія 3. |  Рубрики:
Книга представляет собой учебное пособие, в котором начала логики впервые в отечественной учебной литературе излагаются на современном научном уровне и при этом в форме, доступной студентам гуманитарных факультетов высших учебных заведений. Наряду с формальной логикой излагаются элементы логики научного познания. Отдельно рассмотрены особенности рассуждений, используемых в гуманитарных областях знания. Книга может служить также пособием для гимназий и лицеев. Эта книга возникла из лекций, которые я читал в Российском государственном гуманитарном университете будущим историкам, филологам и психологам. До сих пор, за редкими исключениями, логику у нас все еще излагают в «традиционном» стиле, то есть так, как будто ее развитие остановилось в середине XIX столетия как раз тогда, когда ее лицо начало быстро изменяться. (Небольшой довесок об истинностных таблицах и кванторах, выглядящий в таком курсе чужеродным, не в счет. ) Когда я в первый раз взялся прочесть курс логики на историко-филологическом факультете, мне было очевидно, что в конце XX столетия так читать его нет смысла. Поэтому я, рассказав в начале курса об основных логических законах и о том, что такое понятие и что такое предложение, перешел к символическому языку современной логики и элементам логики предложений и логики предикатов, затем изложил (на языке логики предикатов) основы аристотелевской силлогистики и закончил элементами логики научного познания (включая представление о гипотетико-дедуктивном методе и особый раздел о рассуждениях, используемых в гуманитарных областях знания). Кл.слова: філософія -- сучасна філософія -- пізнання -- математична логіка | Тип видання: навчальний посібник | Категорія: Математика 4. | Рубрики:
Учебное пособие представляет запись лекций по курсу "Теория алгоритмов и математическая логика" для механико-математического факультета, обучающихся по специальности "Математика". Кл.слова: математика -- предикат -- квантор | |||||||||||||||||||||||||
Повний текст доступний у читальних залах НБУВВсі права захищені © Національна бібліотека України імені В. І. Вернадського