Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизація
Прізвище
Пароль
 

Бази даних


Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку
Електронний каталог ЖОУНБ ім. О. Ольжича
Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича
Андрушівська ЦРБ
Баранівська ЦРБ
Бердичівська МЦБС
Бердичівська ЦРБ
Житомирська МЦБС
Житомирська ЦРБ
Коростенська МЦБС
Коростенська ЦРБ
Народицька ЦРБ
Звягельська бібліотека ЗМР
Малинська ЦРБ
Овруцька ЦРБ
Олевська ЦРБ
Радомишльська ЦРБ
Зона пошуку
Формат представлення знайдених документів:
повнийінформаційний короткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>S=Математична логіка<.>
Загальна кількість знайдених документів : 16
Показані документи с 1 за 16
1.

Лисовик Л. П. Теория трансдьюсеров. Т. 2 кн. 4: Размеченные деревья. - 2006
2.

Лисовик Л.П. Теория трансдьюсеров. Т. 3 кн. 5: Типы функций. Интерполяция. Фрактальность. - 2006
3.

Лисовик Л. П. Теория трансдьюсеров. Т. 1 Кн. 1: Типы языков и машин : главы 1-4. - 2005
4.

Лисовик Л. П. Теория трансдьюсеров. Т. 1:Главы 5-12 кн. 2: Алгебра и автоматы. I . - 2005
5.

Кузичева З.А. Влияние теории релейно-контактных схем на развитие математической логики/З. А. Кузичева // Вестник Московского университета. Сер. 7, Философия. -М.:Изд-во Моск. ун-та, 2009,N N 1.-С.53-62
6.

Середа В. Ю. Вчись мислити логічно/В. Ю. Середа. - 1989
7.

Вейль Г. Математическое мышление/Г. Вейль ; под ред. Б. В. Бирюкова и А. Н. Паршина ; сост. Ю. А. Данилов. - 1989
8.

Колмогоров А. Н. Введение в математическую логику/А. Н. Колмогоров, А. Г. Драгалин. - 1982
9.

Новиков П. С. Элементы математической логики/П. С. Новиков. - 1973
10.

Мендельсон Э. Введение в математическую логику/Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 1976
11.

Ершов Ю. Л. Математическая логика/Ю. Л. Ершов, Е. А. Палютин ; [ред. В. В. Донченко]. - 1987
12.

Смаллиан Р. М. Принцесса или тигр?/Рэймонд М. Смаллиан ; пер. с англ. И. Е. Зино ; под ред. Ю. И. Манина. - 1985
13.

Гжегорчик А. Популярная логика: общедоступный очерк логики предложений/А. Гжегорчик ; пер. с пол. С. П. Беляева. - 1979
14.

Матвієнко М. П. Математична логіка та теорія алгоритмів/М. П. Матвієнко, С. П. Шаповалов. - 2015
15.

Хоар Ч. Э. Р. Взаимодействующие последовательные процессы/Ч. Хоар ; пер. с англ. А. А. Бульонковой ; под. ред. А. П. Ершова. - 1989
16.

Кэрролл Л. Логическая игра/Л. Кэрролл ; пер. с англ. Ю. А. Данилова ; [редкол.: Ю. А. Осипьян (пред.) и др.]. - 1991
 
Стандартний
Розширений
Професійний
За словником
УДК-навігатор
ББК-навігатор
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)