pilifjed

(*LOGIKA
  zadanie 1
*)

structure id291408 :> PART_ONE=
struct
  exception NotImplemented

datatype 'a tree =
    Leaf of 'a

pilifjed

#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#include <math.h>

void Input(int n, float t[n][n], float s[n]){
	for(int i=0;i<n;i++){
		for(int j=0;j<n;j++){
			scanf("%f",&t[i][j]);
		}

pilifjed

#include <stdio.h>
#include <stdlib.h>
#include <time.h>

void Init(int n, int t[n][n]){
    for(int i=0;i<n*n;i++){
        scanf("%d", &t[i/n][i%n]);
    }
}

pilifjed

Require Import ProofWeb.

Section ZadanieOne.

Variables A B C D : Prop. 

Theorem impl_rozdz : (A -> B) -> (A -> C) -> A -> B -> C.
 Proof.
 imp_i H1.
 imp_i H2.

pilifjed

from functools import partial

class FlexiblePartial:
    def __init__(self, func, __varnames=None):
        if not isinstance(func, partial):
            self.__varnames = func.__code__.co_varnames
        else:
            self.__varnames = __varnames
        self.func = partial(func)

pilifjed

pilifjed

pilifjed

class MMF1(FloatProblem):

    def __init__(self):
        super(MMF1, self).__init__()
        self.number_of_variables = 2
        self.number_of_objectives = 2
        self.number_of_constraints = 0
        
        self.obj_directions = [self.MINIMIZE, self.MINIMIZE]
        self.obj_labels = ['x', 'y']

pilifjed