Mostra i principali dati dell'item
Основы теоретической логики
dc.contributor.author | Гилберт Д., Аккерман В. | |
dc.date.accessioned | 2016-02-21T16:15:36Z | |
dc.date.available | 2016-02-21T16:15:36Z | |
dc.date.issued | 1949 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/32346 | |
dc.description.abstract | Из предисловия Д.Гилберта Настоящая книга излагает теоретическую логику (называемую также математической логикой, логическим исчислением или алгеброй логики) в той форме, которую она приобрела в моих университетских лекциях по принципиальным вопросам математики. (?Принципы математики?—зимний семестр 1917/18 гг.;'Логическое исчисление?—зимний семестр 1920 г.;'Основания математики?—зимний семестр 1921/22 гг.). При подготовке этих лекций я пользовался существенной помощью и советами моего коллеги Бернайса; он же самым тщательным образом обработал лекции. Использовав и дополнив возникший таким образом материал, мой ученик Аккерман, выдвинувшийся тем временем благодаря значительным самостоятельным работам в области оснований математики, дал приводимое ниже расчленение и окончательное изложение всего материала. Другие книги Д.Гилберта: Гилберт Д., Бернайс П. Основания математики Другие книги по данной тематике на сайте: Идельсон А.В. Математическая теория логического вывода. Математическая логика и основания математики Пойа Дж. Математика и правдоподобные рассуждения Мацнев А.П. Математическая логика и теория алгоритмов Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики Кнут Д., Грин Д. Математические методы анализа алгоритмов Кнут Д. Искусство программирования | |
dc.language.iso | Russian | |
dc.publisher | Иностранной литературы | |
dc.subject | Математика\\Математическая логика | |
dc.subject | Mathematics\\Logic | |
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Основы теоретической логики | |
dc.type | other | |
dc.identifier.aich | KRTEGTLQJDH6FJWIXBJ4BXGWVY5VG7TA | |
dc.identifier.crc32 | 7C97E7A5 | |
dc.identifier.doi | ||
dc.identifier.edonkey | 2EE82E24D67A6224628D9CA49B1F14B5 | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 4569 | |
dc.identifier.md5 | 13C666D8AADABCFFE0F23E2C1C1091BB | |
dc.identifier.sha1 | OIUYWL5NOAOXTCWD4NRZ5LAFC2JHDAHR | |
dc.identifier.tth | D72ZICS7STGNU26AWJ4W7GZWIXKUH7M7TKFW4AQ |
Files in questo item
Questo item appare nelle seguenti collezioni
-
Libgen [81666]