ЦГНТБ ГМК
ГЛАВНАЯ
О БИБЛИОТЕКЕ
ПАРТНЕРЫ
ССЫЛКИ
КОНТАКТЫ
в нашем каталоге
266520
записей


Задать вопрос

Реклама

Авторские книги Стасовский Ю.Н. Хотим предложить Вам на нашем сайте книгу Стасовский Ю.Н. "Проектирование современных производств обработки металлов давлением: Учебник."
Купить здесь.


Мироненко М.А. "Менеджмент ощадливого виробництва"
Купить здесь.



Научно-технический и производственный журнал «Металлургическая и горнорудная промышленность» Единственное в Украине специализированное издание, освящающее все проблемы ГМК. Журнал имеет государственную и зарубежную сферу распространения. Главная задача журнала – рекламная поддержка передовых технологий, публикация информации о новейших научно-технических достижениях.


Интернет магазин бытовой техники и электроники. Доставка по Украине

Интернет магазин бытовой техники и электроники Mega-Mart

Профсоюз металлургов и горняков Украины

Металлургический государственный музей Украины
Инновационный центр СЛАЛЕН. Помощь изобретателям.






 
 
 


По запросу Расширенный запрос (подборка - Математическая логика) было найдено 21 записей.

Период изданий c: по


Каталог библиотеки

Вы можете заказать электронную доставку документа из фондов нашей библиотеки. Стоимость электронной доставки зависит от объема и формата запрашиваемого материала. Ознакомится с формами оплаты и стоимость можна здесь Общие вопросы.



1.[165921]

Книга
УДК 51
Т76     Трохимчук Р.М. Збірник задач і вправ з математичної логіки: навчальний посібник: ЭБ.-К: ДП "Видавничий дім "Персонал",2008.-116 c.

Математическая логика
51:1(07)
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


2.[56469]

Книга
УДК 510
Л13     Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов.-2-е изд.-М: Наука,1984.-224 c.

Математическая логика
510(07)+510.6(07)+510.5(07)
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


3.[68890]

Книга
УДК 510
М26     Марков А. А. Элементы математической логики.-М: МГУ,1984.-78 c.

Математическая логика
510.6
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


4.[74826]

Книга
УДК 510
М50     Мендельсон Э. Введение в математическую логику / Под ред. С.И.Адяна.-3-е изд..-М: Наука,1984.-320 c.

Математическая логика
510.6
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


5.[155298]

Книга
УДК 517
Ч-43     Чень Ч. Математическая логика и автоматическое доказательство теорем / Чень Ч., Ли Р.-М: Наука,1983.-358 c.

Математическая логика
510.6
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


6.[149539]

Книга
УДК 517
У-77     Успенский В.А. Теорема Геделя о неполноте.-М.: Наука,1982.-111 c.-( Попул.лекции по мат.; Вып.57 )

Математическая логика
510.6
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


7.[140590]

Книга
УДК 519
С78      Статистические модели и многокритериальные задачи принятия решений: Сборник статей / Науч. ред. И.Ф. Шахнов.-М: Статистика,1979.-184 c.

Математическая логика
519.24
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


8.[2539]

Книга [Фонд библиотеки Гипромез]
УДК 517 Г47
Бернайс П., Гильберт Д. Основания математики: лог.исчисления и формализация арифметики..-М.: Наука,1979.-557 c.

Математическая логика
517 Г47
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


9.[69837]

Книга
УДК 51
М34      Математика 19 века. Математическая логика. Алгебра. Теория чисел. Теория вероятностей / Ред. А. Н. Колмогоров, А. П. Юшкевич.-М: Наука,1978.-255 c.

Математическая логика
51(09)
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


10.[2650]

Книга [Фонд библиотеки Гипромез]
УДК 517 Б59
Бизам Д., Герцег Я. Многоцветная логика: 175 логич.задач..-М.: Мир,1978.-435 c.

Математическая логика
517.1
______________________________
Инв.N :
75348
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


11.[95114]

Книга
УДК 517
Н73     Новиков П.С. Конструктивная математическая логика с точки зрения классической.-М: Наука,1977.-328 c.

Математическая логика
510.6+16
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


12.[10409]

Книга [Фонд библиотеки Гипромез]
УДК 518
Л13     Лавров И.А., Максимова Л.Л. Задачи по теории множеств математической логике и теории алгоритмов..-М.: Наука,1975.-240 c.

Математическая логика
518
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


13.[9613]

Книга
УДК 517
Ф56      Философия в современном мире. Философия и логика / Отв. ред. П.В. Таванец.-М: Наука,1974.-480 c.

Математическая логика
510.6+1М
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


14.[120846]

Книга
УДК 517
П30     Петров Ю.А. Математическая логика и материалистическая диалектика (Проблемы логико-философ. оснований и обоснования теории).-М: Изд-во Моск. ун-та,1974.-191 c.

Математическая логика
510.6(07)+101.8(07)
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


15.[95115]

Книга
УДК 517
Н73     Новиков П.С. Элементы математической логики.-2-е изд., испр.-М: Наука,1973.-399 c.

Математическая логика
510.6
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


16.[93024]

Книга
УДК 518
Б46     Бенерджи Р. Теория решения задач. Подход к созданию искусств. интеллекта / пер. с англ. С.П. Чеботарева.-М.: Мир,1972.-224 c.

Математическая логика
519.6+519.7+681.5.01
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


17.[74829]

Книга
УДК 517
М50     Мендельсон Э. Введение в математическую логику / Под ред. С.И.Адяна.-М: Наука,1971.-320 c.

Математическая логика
510.6
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


18.[122031]

Книга
УДК 517
П78      Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: Сборник переводов / Под ред. В.А. Козмидиади, А.А. Мучника.-М: Мир,1970.-432 c.

Математическая логика
510.6+681.3.068
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


19.[42809]

Книга
УДК 517
К17     Калужнин Л. А. Что такое математическая логика.-М: Наука,1964.-151 c.

Математическая логика
510.6
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


20.[155635]

Книга
УДК 517
Ч-50     Чёрч А. Введение в математическую логику. Т.1 / Чёрч А.; Пер. с англ. В.С. Чернявского; Под ред. В.А. Успенского.-М.: Изд-во иностр. лит,1960.-484 c.

Математическая логика
510.6+16
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод


21.[95117]

Книга
УДК 517
Н73     Новиков П.С. Элементы математической логики.-М: Физматгиз,1959.-400 c.

Математическая логика
510.6
______________________________
Заявка на электронную доставкуЗаказать электронную доставку документа | Заказать перевод



Расширенный поиск РАСШИРЕННЫЙ ПОИСК

Переводы ПЕРЕВОДЫ

Подборки ПОДБОРКИ

Фонд книг ЦГНТБ ГМК Украины КНИГИ

Фонд аналитических описаний ЦГНТБ ГМК Украины АНАЛИТИЧЕСКИЕ ОПИСАНИЯ

Фонд стандартов ЦГНТБ ГМК Украины СТАНДАРТЫ

Фонд патентов ЦГНТБ ГМК Украины ПАТЕНТЫ



Реклама

ГЛАВНАЯ    О БИБЛИОТЕКЕ    ПАРТНЕРЫ    ССЫЛКИ    КОНТАКТЫ   
Copyrights © ЦГНТБ ГМК Украины 2000-2019
Design and programming by Lemaryn