Решение логических уравнений методом итерации в исчислении предикатов первого порядка; Исследования по теоретической физике и математике

Решение логических уравнений методом итерации в исчислении предикатов первого порядка; Исследования по теоретической физике и математике

Библиографические подробности
Источник:	Исследования по теоретической физике и математике.— 1964.— С. 17-24
Главный автор:	Таутс А.
Язык:	русский
Опубликовано:	1964
Формат:	Статья
Запись в KOHA:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=212577

Схожие документы

Решение логических уравнений в исчислении одноместных предикатов первого порядка; Исследования по теоретической физике и математике
по: Таутс А.
Опубликовано: (1964)

Волновое уравнение первого порядка для свободного нуклона; Исследования по теоретической физике
по: Ыйглане Х.
Опубликовано: (1959)

Интегрирование дифференциальных уравнений механики. Интегрирование дифференциальных уравнений с частными производными первого порядка.
по: Ермаков В. П. Василий Петрович
Опубликовано: (Киев, Университетская типография, 1877)

Ч. 5: Численное решение алгебраических и трансцендентных уравнений, матричное исчисление, векторный анализ и интегрирование линейных дифференциальных уравнений первого порядка с частными производными; Практические занятия по высшей математике
Опубликовано: (1968)

Об интегрировании уравнений с частными производными первого порядка одной неизвестной функции
по: Салтыков Н. Н. Николай Николаевич
Опубликовано: (Харьков, Паровая тип. и лит. М.Зильберберг, 1899)

Итерации вещественных функций и функциональные уравнения
по: Нечепуренко М. И. Михаил Иванович
Опубликовано: (Новосибирск, Изд-во ИВМиМГ СО РАН, 2005)

Обобщенные решения уравнений в частных производных первого порядка. Перспективы динамической оптимизации: пер. с англ.
по: Субботин А. И. Андрей Измайлович
Опубликовано: (Москва, Институт компьютерных исследований, 2003)

Общие исследования, относящиеся к интегрированию в конечном виде дифференциальных уравнений первого порядка. Статья 2
по: Мордухай-Болтовской Д. Д. Дмитрий Дмитриевич
Опубликовано: (Харьков, Типография и Литография М. Зильберберг и С-вья, 1909)

Решение алгебраических уравнений методом Лобачевского
по: Беланов А. А. Александр Андреевич
Опубликовано: (Москва, Наука, 1989)

Исследования по теоретической физике и математике
Опубликовано: (Тарту, 1964)

Решение логических и игровых задач: Логико-психологические этюды
по: Шапиро Самуил Иосифович
Опубликовано: (Москва, Радио и связь, 1984)

Решение нелинейных уравнений
Опубликовано: (Минск, ИТК, 1980)

Решение линейных дифференциальных уравнений второго порядка генетическим алгоритмом; Перспективы развития фундаментальных наук; Т. 3 : Математика
по: Толстихин И. А.
Опубликовано: (2023)

Решение систем линейных уравнений
по: Годунов С. К. Сергей Константинович
Опубликовано: (Новосибирск, Наука, 1980)

Техника статистических исчислений гидрологических параметров рек: практическое руководство
по: Ивановская К. М. Ксения Михайловна
Опубликовано: (Москва, Госэнергоиздат, 1955)

Итерации резольвент и однородные пространства разделяющих точек; Математические заметки; Т. 98, № 2
по: Шуликина М. С. Мария Сергеевна
Опубликовано: (2015)

Справочник по дифференциальным уравнениям в частных производных первого порядка
по: Камке Э.
Опубликовано: (Москва, Наука, 1966)

Справочник по дифференциальным уравнениям с частными производными первого порядка
по: Зайцев В. Ф. Валентин Федорович
Опубликовано: (Москва, Физматлит, 2003)

Т. 5 : Дифференциальные уравнения в примерах и задачах. Ч. 2 : Дифференциальные уравнения высших порядков. Системы дифференциальных уравнений. Уравнения в частных производных первого порядка; Справочное пособие по высшей математике
по: Боярчук А. К. Алексей Климентьевич
Опубликовано: (ЛКИ, 2014)

Коммутативные подалгебры трех операторов симметрии первого порядка и разделение переменных в волновом уравнении; Известия вузов. Физика; Т. 33, № 5
Опубликовано: (1990)

Решение числовых уравнений высших степеней
по: Перевощиков В.
Опубликовано: (Санкт-Петербург, Типография Эттингера, 1881)

Теория и решение высших уравнений
по: Дингер И. Иосиф
Опубликовано: (Санкт-Петербург, Издание книгопродавца-типографа М. О. Вольфа, 1871)

Методы оптимизации и решение уравнений
по: Ганшин Г. С. Герман Сергеевич
Опубликовано: (Москва, Наука, 1987)

Глагол "верить" в ряду эпистемических предикатов; Теоретические и прикладные аспекты филологии
по: Ефанова Л. Г. Лариса Георгиевна
Опубликовано: (2004)

Т. 5 : Дифференциальные уравнения в примерах и задачах. Ч. 1 : Дифференциальные уравнения первого порядка; Справочное пособие по высшей математике
по: Боярчук А. К. Алексей Климентьевич
Опубликовано: (Либроком, 2012)

Т. 5 : Дифференциальные уравнения в примерах и задачах. Ч. 1 : Дифференциальные уравнения первого порядка; Справочное пособие по высшей математике
по: Боярчук А. К. Алексей Климентьевич
Опубликовано: (ЛЕНАНД, 2015)

Решение обыкновенных дифференциальных уравнений характеристического типа
по: Курицкес Я. М. Яков Моисеевич
Опубликовано: (Москва, Изд-во ВВИА им. Н. Е. Жуковского, 1960)

Численное решение матричных уравнений: Ортогональные методы
по: Икрамов Х. Д. Хаким Дододжанович
Опубликовано: (Москва, Наука, 1984)

Уравнения с частными производными первого порядка и их приложения: учебное пособие
по: Клюев В. А. Владимир Алексеевич
Опубликовано: (Москва, [Б. и.], 1979)

Решение некоторых задач для параболических уравнений методом последовательных приближений
по: Голичев И. И.
Опубликовано: (Уфа, 1989)

Решение задач по физике
по: Парфентьева Н. А. Наталья Андреевна
Опубликовано: (Москва, Мир, 1995-)

Решение задач по физике
по: Парфентьева Н. А. Наталья Андреевна
Опубликовано: (Москва, Мир, 1993-)

Краевые задачи для уравнений математической физики нечетного порядка: учебное пособие
по: Кожанов А. И. Александр Иванович
Опубликовано: (Новосибирск, Изд-во НГУ, 1990)

Руководство по приближенным вычислениям. Счетная линейка. Решение уравнений. Интегрирование дифференциальных уравнений
по: Ветчинкин В. П.
Опубликовано: (Москва, Издание Центрального аэро-гидродинамического института, 1935)

Приближенное решение линейных функциональных уравнений: учебное пособие
по: Даугавет И. К. Игорь Карлович
Опубликовано: (Ленинград, Изд-во ЛГУ, 1985)

Численное решение обыкновенных дифференциальных уравнений на фортране
по: Арушанян О. Б. Олег Богратович
Опубликовано: (Москва, Изд-во МГУ, 1990)

Численное решение дифференциальных уравнений: пер. с англ.
по: Милн В. Э.
Опубликовано: (Москва, Изд-во иностранной литературы, 1955)

О точности метода конечных разностей; Исследования по теоретической физике и математике
по: Юргенсон Р.
Опубликовано: (1964)

Некоторые вопросы параметрического линейного программирования; Исследования по теоретической физике и математике
по: Ягель А.
Опубликовано: (1964)

Высшая математика. Ч. 3: Дифференциальные уравнения первого порядка. Дифференциальные уравнения высших порядков
Опубликовано: (Томск, Изд-во ТПУ, 2004)