Find Jobs
Hire Freelancers

Design a Haskell data type for representing formulas in propositional logic.

$30-250 USD

Zamknięte
Opublikowano ponad 4 lata temu

$30-250 USD

Płatne przy odbiorze
The program is to read in a formula of propositional logic and determine if the formula is a tautology and write the formula out in conjunctive normal form.
Identyfikator projektu: 22694499

Informację o projekcie

3 ofert
Zdalny projekt
Aktywny 4 lata temu

Szukasz sposobu na zarobienie pieniędzy?

Korzyści ze składania ofert na Freelancer.com

Ustal budżet i ramy czasowe
Otrzymuj wynagrodzenie za swoją pracę
Przedstaw swoją propozycję
Rejestracja i składanie ofert jest bezpłatne
3 freelancerzy składają oferty o średniej wysokości $167 USD dla tej pracy
Awatar Użytkownika
Hi I have carefully read your job posting and am very interested in. Actually I have been a backend lead developer and am skilled in python, perl, django, scrapy, etc. I built many python/django websites and python/perl server backend scripts. I have more than 8 years of experience in Algorithm, Haskell, Programming. I can start work soon and will work with full time. Thanks. Ilya
$220 USD w 290 dni
0,0 (0 opinii)
0,0
0,0
Awatar Użytkownika
Hi I'm a developer with moderate knowledge of functional programming with a good understanding of lambda calculus and its applications to human thought - like logic. I can start from scratch and deliver what you need in the said time. You may consider me with confidence Regards, Muthu
$250 USD w 20 dni
0,0 (0 opinii)
0,0
0,0

O kliencie

Flaga UNITED STATES
Melbourne, United States
5,0
4
Zweryfikowana metoda płatności
Członek od kwi 24, 2017

Weryfikacja Klienta

Dziękujemy! Przesłaliśmy Ci e-mailem link do odebrania darmowego bonusu.
Coś poszło nie tak podczas wysyłania wiadomości e-mail. Proszę spróbować ponownie.
Zarejestrowani Użytkownicy Całkowita Liczba Opublikowanych Projektów
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Wczytywanie podglądu
Udzielono pozwolenia na Geolokalizację.
Twoja sesja logowania wygasła i zostałeś wylogowany. Proszę, zalogować się ponownie.