First order logic vs propositional logicработы

Фильтр

Мои последние поисковые запросы
Фильтровать по:
Бюджет
по
по
по
Тип
Навыки
Языки
    Статус работы
    384,271 first order logic vs propositional logic работ(-а,-ы) найдено, цены указаны в USD

    I am looking for an animator who will create a video for my music (12 min). Deadline: until the end of June 2021. Payment: 750 Euro. The music, the plot and the whole project were invented by me. More about the project: In the beginning there was nothing. Then chaos came. A new planet was born out of chaos. To describe "nothing" I used the techniques of modern music in the Penderecki...

    $908 (Avg Bid)
    Гарантированный

    Vide materials in Russian language. In order to complete this project, you have to be Russian native speaker. Собрать 2 фаила 1. Фото колаж с мелодией (все есть) 2. Собрать видео из отдельных фаилов. Макет и файлы есть Влад

    $21 (Avg Bid)
    $21 Ср. заявка
    17 заявок(-ки)

    сканирование реальных сложных объектов (бриллианты, серебро и золото) + перенос их в дополненную реальность (инстаграм маски или отдельное приложение, здесь необходимо и приложение). Good afternoon! I need to create a very simple but effective logic for superimposing 3D objects on real objects using the camera on my phone. If such work looks good through the mask on Instagram, it will significant...

    $4000 (Avg Bid)
    $4000 Ср. заявка
    2 заявок(-ки)
    Задача в Excel Завершено left

    Нужно выполнить несколько задач в excel связанных с таблицей. Задание есть, есть основа с которой нужно работать, цена с вас. 1. Создать совдную таблицу с детализацией по CIC Agent Territory по количеству клиентов не прокупленных только TS и не прокуплены тотал (TS+BD) 2. На данной странице находится выгруженная информация о не прокупленных клиентах TelSell и BD (или одним из них). 3. Цель по дан...

    $196 (Avg Bid)
    $196 Ср. заявка
    5 заявок(-ки)

    Good day to all! We need a creative, modern, recognizable, memorable and professional Logo and Corporate Identity. - The type and scope of activity is related to trade automation, implementation of CRM systems and complex IT solutions - Trademark - company name <<HABIB>> - Logotype - company graphic symbol - Tree with twinkling dots - Tagline (slogan) - status bar, word or phrases - T...

    $216 (Avg Bid)
    $216 Ср. заявка
    6 заявок(-ки)

    Create an album of working drawings of a children's game complex with a calculation of loads (design according to GOST 2.109-73 ESKD). There are files in max, there are in stl. The order is not single, there is a lot of work. Выполнить альбом рабочих чертежей детского игрового комплекса с расчетом нагрузки (оформление по ГОСТ 2.109-73 ЕСКД). Есть файлы в max, есть в stl. Заказ неединичный, ра...

    $931 (Avg Bid)
    $931 Ср. заявка
    12 заявок(-ки)
    Project for Diane G. Завершено left

    Техническое задание После старта приложения, должно предложить - мужское или женское. Секция одежда в нижнем таб баре должна быть основной. 1. Должен быть список товаров по категориям. 2. Возможность добавление товаров в корзину/Избранные. Должны храниться в локалхосте(избранные и корзина). 3. Возможность оформлять заказ. И админ будет уведомлён о заказе, должно составиться письмо на почту.(На ...

    $100 - $100
    $100 - $100
    0 заявок(-ки)

    Построить эконометрическую модель на основе эмпирической базы Тема Влияние сделок слияний и поглощений на последующую финансовую эффективность деятельности компаний в секторе розничной торговли. 1. Обзор сделок слияний и поглощений на развивающихся рынках капитала. Обзор основных трендов 2. Факторы влияние сделок M&A на финансовые результаты компаний.  3. Эконометрическое моделирован...

    $250 - $750
    $250 - $750
    0 заявок(-ки)
    Project for The SEO Doctor Завершено left

    Hi, this is Darya. I would like to make a SEO order for this website [войдите, чтобы посмотреть URL] Login darina_hs@[войдите, чтобы посмотреть URL] Pass Coworking2017 For the following keywords лечение в германии, лечение в мюнхене, диагностика в мюнхене лечение рака в германии, клиники в мюнхене, лечение мюнхен, медицинский переводчик в мюнхене организация лечения в германии I am looking fo...

    $75 (Avg Bid)
    $75 Ср. заявка
    1 заявок(-ки)

    Программа для исследования волос, надо добавить новый тип исследования, который является упрощенной версией уже работающего. Также надо доделать многопользовательский режим (есть старая версия программы, где это работает, надо сделать так же в новой, интерфейс разработан, нодо добавить проверки в коде и работу с БД). Есть небольшие доработки в существующем функционале. В завершении надо доделать ...

    $553 (Avg Bid)
    $553 Ср. заявка
    5 заявок(-ки)
    Wordpres site Marketplace Завершено left

    to finish a site on wordpress [войдите, чтобы посмотреть URL] or to make it anew from scratch This is not an online store and the marketplays on the output should be a full-fledged marketplace. (the module dokan was specially installed) the function of the buyer's chat with the seller. edit the salesperson's office. make the possibility of a mass addition of goods. Edit categories. Edit ...

    $349 (Avg Bid)
    $349 Ср. заявка
    11 заявок(-ки)

    Предоставляю услуги по разработке систем автоматизации и диспетчеризации любой сложности. Опыт в сфере более 12 лет. (Множество выполненных объектов и положительных отзывов). Проектирование любых систем автоматизации. (ИТП, ЦТП, вентиляции, холодоснабжения, насосных станций, офисных зданий, гостиниц, заводов, производств, ТРК, коттеджей, квартир, систем «Умный дом», и т.д.). Сборка щ...

    $1500 - $3000
    Местный
    $1500 - $3000
    0 заявок(-ки)

    Сервис авторизации клиентов Wi-Fi сетей через соц.сети и смс на платформе WNAM. [войдите, чтобы посмотреть URL] [войдите, чтобы посмотреть URL] [войдите, чтобы посмотреть URL] Сostumer need to use the 'Social Login' aspects of the WiFi system ‘Like’ or ‘Follow’ these pages in order to gain access to free WiFi. Настроить приложения в соцсетях, получить разрешени...

    $1221 (Avg Bid)
    $1221 Ср. заявка
    4 заявок(-ки)

    1. объединить страницу Order Confirmation со страницеи Invoice 2. закончить интеграцию модуля ShippinigEasy для расчета стоимости пересылки 3. внести изменения в функцию регистрации клиентов 4. внести изменения в модуль " подтверждение заказа" (order confirmatione mail) 5. внести изменения в функцию инвойс (invoice)

    $20 / hr (Avg Bid)
    $20 / hr Ср. заявка
    10 заявок(-ки)
    fotovideonazakaz.ru Завершено left

    Need forms-based - [войдите, чтобы посмотреть URL] to be the same and Privat plato system - SINGLE CASS. ([войдите, чтобы посмотреть URL]) That is, after filling in the order forms, the client will be located on the Board system.

    $25 (Avg Bid)
    $25 Ср. заявка
    9 заявок(-ки)
    Разработчик С# Завершено left

    Компания Ingate Development приглашает разработчика C# на удалённой основе. О нас: Ingate Development – технологическое направление, ведет разработку высоконагруженных интернет-сервисов для продвижения в поиске: Rookee, Cubo, Uniplace, Babkee, Rooletka. Холдинг Ingate входит в тройку российских лидеров в сфере интернет-маркетинга и информационных технологий. Уже более 17 лет наша компан...

    $2660 (Avg Bid)
    $2660 Ср. заявка
    7 заявок(-ки)

    Здравствуйте, хочу заказать мобильную игру на android , ios. Аналог игры 2048, snake vs Block.

    $170 (Avg Bid)
    $170 Ср. заявка
    9 заявок(-ки)
    Mobile VPN Завершено left

    Примерно такой функционал должен быть у мобильного приложения. Требования будут меняться со временем, но изменения будут в основном касаться доп функций. Основная и главная функция – дать клиенту возможность с легкостью подключаться к ВПН серверам без необходимости вручную настраивать ВПН соединение. Запускается главный экран. Там должно быть поле для ввода логин/пароля, если же таковых не...

    $1239 (Avg Bid)
    $1239 Ср. заявка
    9 заявок(-ки)
    Magento V. 2.1.5 и M2EPRO Завершено left

    Задачи 1. Необходимо на сервере клиента установить последнюю версию Magento V. 2.1.5 2. Необходимо установить M2EPRO модуль и настраить его под еВау (данныедля обоих эккаунтов предоставлены) 3. Конфигурация еВау: А) импорт продуктов из еВау-эккаунта в Магенто (Mapped Products List) - нужно учесть синхронизацию покнопке Sync From eBayButton: Import Order From eBay, Run eBay Ordne...

    $83 (Avg Bid)
    $83 Ср. заявка
    5 заявок(-ки)

    Задача есть такая - у нас есть Cisco в Германии и есть Lync 2013 (клиент обмена мгновенными сообщениями от Microsoft). Один офис в Киеве, второй в Германии. Сейчас мы используем для приема канала решение Ferrari Media Gateway, но есть желание принимать телефонию в Cisco. Попытки принимать телефонию Cisco предпринимались и оно даже работает, но не совсем корректно, например не высвечивается корре...

    $37 / hr (Avg Bid)
    $37 / hr Ср. заявка
    3 заявок(-ки)
    Web development -- 2 Завершено left

    Внутренний портал. Проект на C# и asp.net проект на visual studio. Задача: вносить правки по вёрстке и верстка макетов по месту в visual studio. Знание: html, css, javаscripts, bootstrap, jQuery, VS. c# будет плюсом. Общение на русском языке. Начинать нужно сегодня.

    $21 (Avg Bid)
    $21 Ср. заявка
    18 заявок(-ки)
    Web development Завершено left

    I need some changes to an existing website. Внутренний портал. Проект на C# и asp.net проект на visual studio. Задача: вносить правки по вёрстке и верстка макетов по месту в visual studio. Знание: html, css, javаscripts, bootstrap, jQuery, VS. c# будет плюсом. Общение на русском языке. Начинать нужно сегодня.

    $43 (Avg Bid)
    $43 Ср. заявка
    18 заявок(-ки)

    You need to automate actions on a particular website, using a simple database. A detailed order will receive a real freelancer. It is advisable to do it on imacros, but will consider your option. The timing is not more than 3 days. Payment after the demonstration in real time via (removed by admin)/[войдите, чтобы посмотреть URL] payment 30-40$ (Sorry for english) ------------- Необходимо автомат...

    $51 (Avg Bid)
    $51 Ср. заявка
    3 заявок(-ки)

    We need to do a mobile application. The prototype is available. Backend server with an API available. Work under the contract for the development. What is on the mobile application: 1. There prototype axure 2. There is a documented API 3. There is a test version of the application without the source code, which contains: a. Member Login b. View order c. View payments d. Execution o...

    $609 (Avg Bid)
    $609 Ср. заявка
    35 заявок(-ки)

    Нужно перевести с английского 5 статей по фотографии, фактически удобнее всего перевести транслятором на [войдите, чтобы посмотреть URL] или другим, и отредактировать результат. Очень желательно знать терминологию по теме фотографии. Ссылки на статьи ниже. Постоянные подобные заказы в случае хорошего результата. [войдите, чтобы посмотреть URL] [войдите, чтобы посмотреть URL] [войдите, ...

    $24 (Avg Bid)
    $24 Ср. заявка
    7 заявок(-ки)
    VPS Creator Завершено left

    Написать программу, позволяющую автоматизировать процесс заказа VPS в [войдите, чтобы посмотреть URL] по заданным параметрам (конфигурационный файл): Страна Тарифный план(номер ТП) Доменное имя(может отсутствовать) Операционная система(краткое название: Ubuntu,Centos,Debian и др.) Идентификатор доступа(логин, пароль, id-пользователя) Email, логин, пароль для получения информации из почтовика...

    $483 (Avg Bid)
    $483 Ср. заявка
    4 заявок(-ки)
    Walmart vs Amazon vs Laravel Завершено left

    1. Знания языков программирования - PHP, HTML5, CSS3, JavaScript. 2. Знание SQL, MySQL и базы данных. 3. Знания любого PHP Framework. Приветствуется знание PHP Framework «Laravel». 4. Знание любого PHP Template. 5. Умение обрабатывать JSON и XML форматов посредством встроенных функций в PHP. Нет регулярным выражением. [войдите, чтобы посмотреть URL] [войдите, чтобы посмотреть U...

    $1028 (Avg Bid)
    $1028 Ср. заявка
    2 заявок(-ки)

    1. Знания языков программирования - PHP, HTML5, CSS3, JavaScript. 2. Знание SQL, MySQL и базы данных. 3. Знания любого PHP Framework. Приветствуется знание PHP Framework «Laravel». 4. Знание любого PHP Template. 5. Умение обрабатывать JSON и XML форматов посредством встроенных функций в PHP. Нет регулярным выражением. [войдите, чтобы посмотреть URL] [войдите, чтобы посмотреть U...

    $823 (Avg Bid)
    $823 Ср. заявка
    6 заявок(-ки)
    Already existing website Завершено left

    Я ищу системного администратора или веб программиста. Есть один сайт который переодически блокируют администраторы из за большого потока и нападения вирусов, надо расчистить сайт и поставить фильтры что бы вирусы не попадали на сайт. Так же потребуется создать соц портал для сайта и нужен корректор для wordpress. Ищу творчески открытого человека который так же хочет и сможет внести часть своих тво...

    $252 (Avg Bid)
    $252 Ср. заявка
    19 заявок(-ки)
    Build a Website Завершено left

    Hello everyone! I am looking for a system administrator or web programmer to improve already existing website. It is an esoteric website. The main issue has been the big amount of viruses that have attacted the website. Due to that the administrators had to close the website down. The website need to have a certain protection system, filters in order to protect the website for these viruses. Th...

    $625 (Avg Bid)
    $625 Ср. заявка
    26 заявок(-ки)

    1. Knowledge of programming languages - PHP, HTML5, CSS3, JavaScript. 2. Knowledge of SQL, MySQL and databases. 3. Knowledge of any PHP Framework. welcome knowledge of PHP Framework «Laravel». 4. Knowledge of any PHP Template. 5. Умение обрабатывать JSON и XML форматов посредством встроенных функций в PHP. Нет регулярным выражением. [войдите, чтобы посмотреть URL] [войдите, что...

    $861 (Avg Bid)
    $861 Ср. заявка
    15 заявок(-ки)

    Система должна вести перечень товаров, заказов, данных об отправки (трекинг номеров) Порядок работы системы: 1. При получении сообщения о продаже (из eBay, Amazon, интернет-магазина и т.д.) система создает заказ (запись в БД) с определенным набором полей 2. Система отправляет подтверждение получателю о том, что его заказ принят в обработку (идет автоматическая отправка е-мейла на адрес ...

    $626 (Avg Bid)
    $626 Ср. заявка
    13 заявок(-ки)

    Нужно подключить библиотеку в проект на C++ и продемонстрировать ее работу. Библиотека работает с com. Исходный код библиотеки есть, сайт с документацией тоже. Сделать нужно под VS. У кого есть опыт работы с com стучите в скайп myskype_8787

    $15 (Avg Bid)
    $15 Ср. заявка
    1 заявок(-ки)

    Сайт дистанционного обучения для людей с ограниченными возможностями зрения. Есть 2 анкетирования и 1 решающий тест. Необходимо через 1 и 2 анкетирование используя SPSS Статистику провести факторный анализ на базе нечеткой логики (fuzzy logic) и определить пользователя проходящий статистику по уровню: начинающий, продолжающий и продвинутый. Затем идет тест, в результатах которого через Matlab и уж...

    $153 (Avg Bid)
    $153 Ср. заявка
    5 заявок(-ки)

    Hello, so lets start. The main idea of our project is cryptocurrency depository for all, where anyone can put cryptocurrency or conventional currency (dollars) on savings at interest for a specified period. The second function is the insurance of deposits from our customers, that is, need a mechanism that tracks the course in real time,and in the event of a sharp fall of the course, we will re...

    $2515 (Avg Bid)
    $2515 Ср. заявка
    10 заявок(-ки)
    Создание видео Завершено left

    Я Фрилансер по скуба дайвингу. Мне нужен качественный ролик, составленный из кучи моих видео. - 11ГБ. Мой проект называется АХЛА. Логотип я вышлю. Хотелось бы чтобы появлялись различные надписи и лозунги на английском языке. Вот список тех, которые можно использовать: AHLA DIVE - название проекта и будующего дайвинг центра TAKE ORDER FOR SCUBA DIVING COURSES SCUBA DIVING IN ISRAEL ENJOY Y...

    $218 (Avg Bid)
    $218 Ср. заявка
    3 заявок(-ки)

    Добрый день! Книжный Интернет-магазин Язык сайта - русский Дизайн с шаблона: [войдите, чтобы посмотреть URL] [войдите, чтобы посмотреть URL] PHP, Drupal, Ecommerce, Membership, Административная панель Bonus for partners для продвижения, Личный кабинет покупателя (покупки, статус покупки, статус отправки и доставки. Все возможные этапы заказа и доставки), Личный кабинет а...

    $644 (Avg Bid)
    $644 Ср. заявка
    12 заявок(-ки)

    Given: a database with tables that belong to various schemas (eg [войдите, чтобы посмотреть URL] [войдите, чтобы посмотреть URL]). The number and the structure of tables in each schema are identical. Objective: map to one database schema and provide with the ability to switch to another one at runtime. All this stuff is hosted on Windows Azure. /// Создать переключение между схемами од...

    $83 (Avg Bid)
    $83 Ср. заявка
    10 заявок(-ки)

    На странице оформления заказа ([войдите, чтобы посмотреть URL]) при сохранении адреса доставки, если осуществлять покупку как гость, выскакивает ошибка TECHNICAL ERROR: Unable to save addresses Ее нужно устранить. Называйте свои расценки и сроки/реальность исполнения. Интернет-магазин на Prestashop Обязательное требование: наличие тимвьювера, заказчик не хочет давать доступ к фтп

    $24 (Avg Bid)
    $24 Ср. заявка
    5 заявок(-ки)

    Самый простой вариант меню ресторана для составления заказа. То есть заходим, видим список: категория 1 блюдо 1 + цена блюдо 2+ цена категория 2 блюдо 1 + цена и тд. нажимаем нужные и тем самым добавляем их в корзину, одно нажатие = одно добавлено в корзину Далее можем удалить из корзины ненужные. И кнопка заказать. Для разработки использовать [войдите, чтобы посмотреть URL] ...

    $1295 (Avg Bid)
    $1295 Ср. заявка
    9 заявок(-ки)

    Исходные данные: [войдите, чтобы посмотреть URL] установленный Drupal Commerce + Product Pricing Attributes модули. никакого кода не было написано, только building через веб-интерфейс. Что необходимо сделать: 1. При выборе цвета товара, изменять цену товара (текущий line item, который упадет в корзину покупателя) 2. В корзине показывать детали товара (базовую цену или измененную), выбранн...

    $57 (Avg Bid)
    $57 Ср. заявка
    2 заявок(-ки)

    Информация о проекте - прикладное приложение с GUI для работы со структурами данных, объединённых в древовидную модель; - программа написана на MFC, проект в MS VS 2003 (7.10), требует Windows XP; - язык программирования C++, но без соблюдения элементарных принципов ООП (ближе к C); - программа компилируется со статическими библиотеками. - не используются dll, ActivX, FrameWork. - не и...

    $203 (Avg Bid)
    $203 Ср. заявка
    1 заявок(-ки)

    Привет! Есть такая интересная задача, которую надо решить (см. анимированный GIF рабочей версии в приложении к задаче): Есть список документов, которые лежат в базе данных. Каждый документ из этого списка имеет ссылки на ключевые слова, на теги, на тех, кто его создал, изменял и т.д. И хотелось бы иметь возможность отображать только какую-то часть из всех имеющихся документов. Поэтому нужен...

    $166 (Avg Bid)
    $166 Ср. заявка
    6 заявок(-ки)

    Android-application within according mockup (attached). The main logic of application is summation of filtered data and then comperison them. Design can be change. If you have ready skin and it can make project more faster and cheaper then I can check it. Написать приложение для Android по макету (в приложении). Основная логика приложения - формирование сумм по фильтрам с дальнейшим их сравн...

    $107 (Avg Bid)
    $107 Ср. заявка
    4 заявок(-ки)
    Helicopter limiting parameters Завершено left

    Folding coaxial helicopter limiting parameters is adapted for transportation in the trunk of the car, the power reserve of the order of 70-100 km.

    $29000 (Avg Bid)
    $29000 Ср. заявка
    4 заявок(-ки)

    [войдите, чтобы посмотреть URL] Would like to bring this site to the first page of google, for keywords Massage for women in goa sensual massage for women in goa erotic massage for women in goa erotic massage for women tourists in goa In Russian Массаж для женщин в Гоа чувственный массаж для женщин в Гоа эротический массаж для женщин в Гоа эротический массаж для женщин туристов в Г...

    $569 (Avg Bid)
    $569 Ср. заявка
    1 заявок(-ки)

    хули тут описывать? Все понятно! Ладно, добью до 100 символов.

    $150 (Avg Bid)
    $150 Ср. заявка
    1 заявок(-ки)

    Add functionality to existing website at localhost and provide suitable environment for it. Need to finish existing website (repair punctuation checking service), which provides basic english spell checking service. It is also needed to provide environment for windows 7 to use this site on localhost, virtualbox image of linux distro with installed and configured apache would fit, also machine sh...

    $140 (Avg Bid)
    $140 Ср. заявка
    3 заявок(-ки)