e a python function (sat) that solves the satisfiability of the clause set by running through all truth assignments. In case the clause set is satisfiable it should output a satisfying assignment. A full (truth) assignment should be represented by a list of literals.

5. a. Write a lambda expression for a Comparator that compares strings in increasing order of their length. Comparator c = b. Write a lambda expression for a Comparator that compares strings in increasing order of their last characters. Comparator c =

Complete the given CPP function definition and run it for a test case. void swapString(string &str, int i, int j) { //check whether i and j are in the range //0 to str.length ()-1 and i is less than j. //if the conditions are true then swap the //characters at index i and j in the string. }

1. I Complete the Python function MySpline that reads in a set of x and y values (each as arrays or lists), and outputs a piecewise-cubic function with natural boundary conditions. The function prototype is cs MySpline (x, y) The returned function can be called using cs (2.4) or cs ([2.4, 3.7]), for example. You will have to find the parameter values for the as, bs, and cs so that the cubic spline can be evaluated using Pi(x)= ai-11 + ai + bk (x1+1-x)+ ci(x − x1), 6h1 where hi=i+1; and i = 1,2,..., n - 1. Note that all Python indexing starts at 0, so all the indices can be decremented by 1. However, some care is needed to handle ao,..., an-1. See the documentation for MySpline for some guidance on this issue. (x+1-x)3 6h1 The function MySpline is already set up to return a cubic spline function. But it's not a very interesting one, and it does not pass through the points (x, y). The notebook has a small sample set of points to interpolate. Feel free to choose your own set of points....

The point P has coordinates x = -3 m and y = 4 m relative to the origin O. The vector v is v = -4î + 4î m/s. Matlab Mathematica Python SymPy from sympy import * Px = -3 Py = 4 v = Matrix([-4, 4, 0]) copy this text What is the orthogonal projection of v onto the vector û = -ếg associated with the polar coordinates for point P? Proj(t, й) — e î+ e jm/s

Complete the functional program given below to return the longest palindromic substring of the string passed as a parameter. class Solution { public: string longestpalindrome(string s) { //write your code here } //write code here for any extra functions needed }; Allowed Time Complexity: O(n^2) Use constant space. Language: C++

Program Assignment07implicit noneinteger, parameter :: n = 1000 ! maximum iterationreal(kind=8), parameter :: EPSILON = 1.d-3real(kind=8):: x0,xinteger:: iterationx0=3.0d0call solve(f(x),fp(x),x0,n,x,iteration) contains real (kind=8) function f(x) ! this is f(x)implicit nonereal (kind=8), intent(in)::xf=x**2.0d0-1.0d0end function f real (kind=8) function fp(x) ! This is f'(x)implicit nonereal (kind=8), intent(in)::xfp=2.0d0*xend function fp end program Assignment07 modify this program in fortran byy adding a module (called Newton) which contains subroutinesolve. You should develop subroutine solve based on the aforementioned Newton's method. ▪ Function f(x) is x2-1 whose zero is known. Set the input argument EPSILON to 1.E-3 and inputargument n to 1000 when you call subroutine solve and run the program Modify the function to one that is known not to have zeros; e.g. (x2+1)

The MATLAB function arg supports variable arguments, returns the sum of the number of arguments and all arguments, and has a help function. Write the arg so that the next execution results. >> help argIt supports variable arguments. >> [n,m] = arg(5,6)n = 2m = 11>> [n, m] = arg(3,4,5)n = 3m = 12

Write a recursive Racket function "update-if" that takes two functions, f and g, and a list xs as parameters and evaluates to a list. f will be a function that takes one parameter and evaluates true or false. g will be a function that takes one parameter and evaluates to some output. The result of update-if should be a list of items such that if x is in xs and (f x) is true, then (g x) is in the list. The output list's elements should keep the input list's items in the same relative order. For example (update-if even? add1 '(1 2 3 4)) should evaluate to '(3 5) because 2 and 4 make even? true and add1 turns 2 and 4 into 3 and 5.

Write a python function format prop that allows to print a proposition in Propositional Logic using theindicated list representation. Consider the connectives: ∨, ∧, =⇒, ⇐⇒, ¬. and ⊕ (XOR). In the code,they will be written, respectively, as: or, and, if, iff, not, xor.

Modify the piglatin program. Pig Latin is a made-up "language" formed from English by transferring the initial consonant or consonant cluster of each word to the end of the word and adding a vocalic syllable (‘ay) so "chicken soup" would be translated to "ickenchay oupsay." Consider what the piglatin program does with words that begin with the letter "y" such as "yellow." Modify the the function piglatin() to also work correctly for these inputs. Do not modify firstvowelindex(). (both before and after) Enter a word: magenta In Pig Latin, that word is: agentamay (before) Enter a word: yellow In Pig Latin, that word is: yellowyay (after) Enter a word: yellow In Pig Latin, that word is: ellowyay