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

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

書誌詳細
Parent link:	Исследования по теоретической физике и математике.— 1964.— С. 3-16
第一著者:	Таутс А.
言語:	ロシア語
出版事項:	1964
フォーマット:	図書の章
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=212576

類似資料

Решение логических уравнений методом итерации в исчислении предикатов первого порядка; Исследования по теоретической физике и математике
著者:: Таутс А.
出版事項: (1964)

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

Решение дифференциальных уравнений 1 порядка и некоторых видов дифференциальных уравнений старшего порядка учебно-методическое пособие
著者:: Ледовская Е. В.
出版事項: (Москва, РУТ (МИИТ), 2007)

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

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

Численные методы интегрирования дифференциальных уравнений и систем первого порядка: практикум
著者:: Баринова Е. В.
出版事項: (Самара, Самарский университет, 2024)

Решение обыкновенных дифференциальных уравнений первого и высших порядков
著者:: Ендуткина Е. А.
出版事項: (Самара, Самарский университет, 2021)

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

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

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

Дифференциальные уравнения первого порядка: практикум
著者:: Федюков А. А.
出版事項: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)

Дифференциальные уравнения первого порядка учебно-методическое пособие
著者:: Дорофеева С. И.
出版事項: (Казань, КНИТУ-КАИ, 2018)

Дифференциальные уравнения первого порядка учебно-методическое пособие
著者:: Голованева Ф. В.
出版事項: (Воронеж, ВГУ, 2020)

Формальные аксиоматические теории. Исчисление предикатов. Часть 2
著者:: Леденева Т. М.
出版事項: (Воронеж, ВГУ, 2020)

Оптимальное управление в классическом вариационном исчислении
著者:: Деменков Н. П.
出版事項: (Москва, МГТУ им. Н.Э. Баумана, 2017)

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

Дифференциальные уравнения первого порядка учебно-методическое пособие по дисциплине «дифференциальные уравнения»
著者:: Шестакова Е. Г.
出版事項: (Тверь, ТвГУ, 2021)

Решение нелинейных уравнений
出版事項: (Минск, ИТК, 1980)

Алгебра логики. Решение логических задач учебно-методическое пособие к выполнению самостоятельной работы
著者:: Ерошенко А. В.
出版事項: (Омск, ОмГУПС, 2022)

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

Педагогическое конструирование логических конспектов по физике учебное пособие
著者:: Шаповалов А. А.
出版事項: (Барнаул, АлтГПУ, 2018)

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

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

Решение линейных дифференциальных уравнений
著者:: Степучев В. Г.
出版事項: (Санкт-Петербург, Лань, 2021)

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

Решение дифференциальных уравнений учебно-методическое пособие
著者:: Ледовская Е. В.
出版事項: (Москва, РТУ МИРЭА, 2019)

Дифференциальные уравнения с частными производными первого порядка учебник для вузов
著者:: Зайцев В. Ф. Валентин Федорович
出版事項: (Москва, Юрайт, 2025)

Дифференциальные уравнения с частными производными первого порядка учебник для вузов
著者:: Зайцев В. Ф. Валентин Федорович
出版事項: (Москва, Юрайт, 2026)

Дифференциальные уравнения с частными производными первого порядка учебное пособие для вузов
著者:: Зайцев В. Ф. Валентин Федорович
出版事項: (Москва, Юрайт, 2023)

Дифференциальные уравнения с частными производными первого порядка учебное пособие для вузов
著者:: Зайцев В. Ф. Валентин Федорович
出版事項: (Москва, Юрайт, 2024)

Дифференциальные уравнения с частными производными первого порядка учебное пособие для вузов
著者:: Зайцев В. Ф. Валентин Федорович
出版事項: (Москва, Юрайт, 2022)

Решение систем линейных уравнений учебное пособие
著者:: Калиновская Л. В.
出版事項: (Дубна, Государственный университет «Дубна», 2017)

Качественное исследование поведения нелинейных систем биологической кинетики первого порядка
著者:: Муравьева Е. С.
出版事項: (Москва, РНИМУ им. Н.И. Пирогова, 2023)

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

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

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

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

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

Методы оптимизации и решение уравнений
著者:: Ганшин Г. С. Герман Сергеевич
出版事項: (Москва, Наука, 1987)

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